You are on page 1of 1

EJEMPLOS DE LÓGICA PROPOSICIONAL

Andrés es padre de Bernardo y éste es padre de Cecilia.

La relación “<” se define como “descendiente de”

Proposiciones:

p: Andrés < Bernardo

q: Bernardo < Andrés

r: Cecilia < Bernardo

s: Cecilia < Andrés

La proposición: es: porque:
p F por definición de “<”
q V por definición de “<”
r V por definición de “<”
s V por definición de “<”
p’ V p es F
q’ F q es V
p ∧ q F p es F
p’ ∧ q V p ’ es V y q es V
p ∨ q V q es V
p ∨ q’ F p es F y q ’ es F
r → s V s es V
s → r V r es V
r → p F r es V y p es F
q’ → s V q ’ es F
s ↔ r V s es V y r es V
p’ ↔ r V p ’ es V y r es V
p ↔ s F p es F y s es V

Autor: NELSON LILLO TERÁN
http://www.eneayudas.cl