Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Preposiciones simples
Lenguaje simbolico
[ ( p ʌ q ) ʌ ( p → r)]→ ( r ʌ q)
Lenguaje natural
Tabla natural
p q r (p ʌ q) (p → r) ( r ʌ q) [ ( p ʌ q ) ʌ ( p → r)]→ ( r ʌ q)
V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V F V V V
F V F F V F V
F F V F V F V
F F F F V F V
Tabla de verdad de simulador
B. Expresion simbolica
pʌq
_________
q
Ley de inferencia de la expresion: simplificacion
Preposiciones:
p : Cristina es abogada
q: Pablo es ingeniero
Premisas: Cristina es abogada y pablo es ingeniero
Conslusion: Pablo es ingeniero
pvq
~q
_________
p
Ley de inferencia de la expresion: Modus Tollendo Ponens
Preposiciones:
p : El numero cero es par
q: El numero cero es impar
Premisas:
premisa 1: El numero cero es par o el numero cero es impar
premisa 2: El numero cero no es impar
Conslusion: El numero cero es par
p→q
~q
_________
~p
Preposiciones:
p : Si Juan se gana la loteria
q: Juan se ira de viaje
Premisas:
premisa 1: Si Juan se ana la loteria entonces Juan se ira de viaje
premisa 2: Juan no se ira de viaje
Conslusion: Juan no se ganara la loteria
pvq
p→r
q→r
________
؞r
Ejercicio 4: Problemas de aplicación
A continuacion, encontrara la expresion simbolica, las premisas y la conclusion de un
argumento para el desarrollodel ejercicio 4 - B.
B. Expresion simbólica :
[ ( p v q) ʌ ( p→ r) ʌ~ q] → r
Premisas:
P1: p v q
P2 : p → r
P3 : ~ q
Conclusion: r
Preposiciones :
p q r (p v q) (p → r) ~q [ ( p v q) ʌ ( p→ r) ʌ~ q] → r
V V V V V F V
V V F V F F V
V F V V V V V
V F F V F V V
F V V V V F V
F V F V V F V
F F V F V V V
F F F F V V V