Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Matemática
Leyes de la inferencia lógica
Razonamientos Lógicos
REGLAS DE INFERENCIA
a. Expresión simbólica: [ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p
Premisas:
P1: p →¬ q
P2:q ∨ ¬r
P3:r
Conclusión: ¬ p
P: juan toca batería
r: juan va al concierto
p q r ¬p ¬q ¬r p →¬ q q ∨ ¬r [ ( p →¬ q ) ∧ ( q ∨¬ r ) ][ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ][ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p
V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F F F F F V
V F F F V V F V F F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V
F F F V V V V V f F V
El resultado de la tabla es una: TAUTOLOGÍA