Cálculo Proposicional e Inferencia Lógica

* Estudia métodos de razonamiento.

Razonamiento que a partir de
un conjunto de proposiciones
se llega a un resultado.
* Trata principios válidos de argumentos

Que son

p, q, r, s, t, ..., cada una de estas Expresiones que tiene un significado

letras recibe el nombre de átomo. Se representan con determinado sea verdadero o falso.

Se niegan Pueden ser

Simples Compuestas
Anteponiendo: ¬, ~

Donde no se encuentran Conformadas de varias

otras proposiciones. proposiciones.

Unidas por

Conectivos lógicos

Que permiten

Unir más proposiciones

Valores analizados por medio de

Equivalencias

Tablas de verdad

Se asigna valores de F y V para

Fórmulas proposicionales Interpretaciones

Tautología

No validez
Contradicción