LEYES DE LA LÓGICA DE PROPOSICIONES

p→p I-52a
Ley de identidad
p↔p I-52b
Ley de la doble negación p ↔ ¬¬p I-53
Ley del tercio excluso p ∨ ¬p I-54
Ley de contradicción ¬( p ∧ ¬p ) I-55
¬( p ∧ q ) ↔ (¬p ∨ ¬q ) I-56a
Leyes de de Morgan
¬( p ∨ q ) ↔ (¬p ∧ ¬q ) I-56b
Ley de reducción al absurdo ( ¬p → ( q ∧ ¬q ) ) ↔ p I-57
(p∧q)↔(q∧p) I-58a
Leyes de conmutación (p∨q)↔(q∨p) I-58b
(p↔q)↔(q↔p) I-58c
((p∧q)∧r)↔(p∧(q∧r)) I-59a
Leyes de asociación ((p∨q)∨r)↔(p∨(q∨r)) I-59b
((p↔q)↔r)↔(p↔(q↔r)) I-59c
( p → q ) ↔ ( ¬q → ¬p) I-60a
Leyes de trasposición
( p ↔ q ) ↔ ( ¬q ↔ ¬p) I-60b
(p∧(q∨r))↔((p∧q)∨(p∧r)) I-61a
(p∨(q∧r))↔((p∨q)∧(p∨r)) I-61b
Leyes distributivas
(p→(q∧r))↔((p→q)∧(p→r)) I-61c
(p→(q∨r))↔((p→q)∨(p→r)) I-61d
Ley de permutación (p→(q→r))↔(q→(p→r)) I-62
Ley del silogismo ( ( p → q ) → ( ( q → r) → ( p → r ) ) I-63
((p→q)∧(q→r))→(p→r) I-64a
Silogismo hipotético o transitividad
((p↔q)∧(q↔r))→(p↔r) I-64b
Leyes de inferencia de la alternativa o de [ ¬p ∧ ( p ∨ q) ] → q I-65a
los silogismos disyuntivos [ p ∧ (¬p ∨ ¬q) ] → ¬q I-65b
Ley del dilema constructivo [(p∨q)∧(p→r)∧(q→r)]→r I-66a
Segunda ley del dilema constructivo [((p→q)∧(r→s))∧(p∨r)]→(q∨s) I-66b
Ley del dilema destructivo [ ( ¬p ∨ ¬q ) ∧ ( r → p ) ∧ ( s → q ) ] → ( ¬r ∨ ¬s ) I-66c
Ley de exportación [(p∧q)→r]↔[p→(q→r)] I-67
Ley de resolución [ ( ¬p ∨ q ) ∧ ( p ∨ r ) ] → ( q ∨ r ) I-68
Ley del bicondicional (p↔q)↔[(p→q)∧(q→p)] I-69
Condicional-disyunción ( p → q ) ↔ ( ¬p ∨ q ) I-70
Condicional-conjunción ( p → q ) ↔ ¬( p ∧ ¬q ) I-71
(p∧q)→p I-72a
Leyes de simplificación
p→(p∨q) I-72b
(p→q)↔[p↔(p∧q)] I-73a
Leyes de expansión
(p→q)↔[q↔(p∨q)] I-73b
Modus ponendo ponens [(p→q)∧p]→q I-74
Modus tollendo tollens [ ( p → q ) ∧ ¬q ] → ¬p I-75

1b Lógica de Proposiciones - leyes.docx (2017-11-02T10:18:00) 1