O está lloviendo y nevando, o está soplando el viento.
p=Está lloviendo; q=Está nevando; r=Está soplando el viento (p ∧ q) ∨ r
O los hombres han nacido iguales o no son libres.
p=Los hombres han nacido iguales; q= Los hombres son libres p ∨ ¬q
O bien Moriarty y Crumm son ambos culpables, o Crumm es inocente.
P = Moriarty es inocente; q= Crumm es inocente (¬p ∧ ¬q) ∨ r
O Crumm es culpable, o él y Moriarty lo son conjuntamente.
p= Crumm es inocente; q= Moriarty es inocente ¬p ∨ (¬p Seguir leyendo “Lógica proposicional” »