PROPOSICION: Es un enunciado del cual se puede

establecer de que es falsa o verdad pero, no ambas cosas y

sin ambigüedad.
Se notan con letras minúscula… p , q, t ….
Simples o compuestas
P: el perro es cuadrúpedo (simple)
Q: el perro es cuadrúpedo y es un animal mamífero
(compuestas)

Una tabla de verdad es un diagrama que permite

determinar claramente cuando una proposición compuesta
es verdadera, falsa o variada.
Si todos los valores de verdad de una proposición
compuesta son verdaderos se denomina una tautología, si
son falsos una contradicción, de lo contrario se llama
indeterminada o contingencia.
El proceso de construcción de una tabla de verdad inicia por
determinar el número de combinaciones posibles de los
valores de verdad de las proposiciones simples
constituyentes. Si la proposición consta de n proposiciones
simples diferentes, puesto que cada una de ellas tiene dos
valores posibles (verdadero o falso) habrá 2n (2 elevado a
‘n’) combinaciones posibles de valores.
Existe una tabla de verdad para cada tipo de relación
proposicional, siendo:

La disyuncion:

La conjunción.

Condicional
 p = antecedente y q
=consecuent

Bicondicional.

Ejemplo de tautologías.
Propiedades.
Demostrar:
[ ( p v q) ۸(‫ך‬p v q)] ↔q
[ ( p v q) ۸(‫ך‬p v q)]
( p ۸ ‫ך‬p) v q p.distributiva
F v q p: contradicción
q: p identidad
( p v ‫ך‬q) ۸ ( q v r ) ۸ ( q v ‫ך‬r) ↔ p ۸ q
( p v ‫ך‬q) ۸ ( q v r ) ۸ ( q v ‫ך‬r)
( p v ‫ך‬q) ۸ [ ( qv(r ۸ ‫ך‬r)] p: distributiva
( p v ‫ך‬q ) ۸ (q v f) p: contradicción
( p v ‫ך‬q) ۸ q p: identidad
( p ۸ q) v ( ‫ך‬q ۸ q) p: distributiva
( p ۸ q) v f p: contradicción
p۸q p: identidad

Ejercicios para su casa:

1. (p ۸ ‫ך‬q) v ( p ۸ r) v ( p ۸ q) ↔ p
2. ( p ۸ q ۸ r) v ( ‫ך‬p v ‫ך‬q v ‫ ך‬r) ↔ v una tautolo
p λ ( ‫ך‬q v q v r) p. distri
pλv=p
Métodos de inferencia lógica.
Modus ponendo ponens: [ ( p →q)] ۸ p] → q

Modus tollendo tollens: [ ( p →q)] ۸ ‫ך‬q] → ‫ך‬p

Modus tollendo tollens: [( p v q) ۸ ‫ך‬p) → q

Silogismo hipotético: [ ( p → q) ۸ ( q → r )] → (p → r)