Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Estudiante
Sandy Julieth Villamizar
Grupo N° 200611_361
Tutor
Ramdhar Hadit Yusseff
OBJETIVOS
Comprender los conceptos fundamentales de la teoría de conjuntos
y los métodos para probar la validez de un argumento.
Determinar:
Expresión simbólica:
[ ( p → q ) ∧ ( q → r ) ∧ ( r ) ]⟶ p
Premisas:
P1: ( p →q )
P2: ( q → r )
P3:( r )
Conclusión: p
(q→r
p q r ~P ~r (~p→q) (~p→q)∧(q→r) (~p→q)∧(q→r)∧(~r) [(~p→q)∧(q→r)∧(~r)]⟶p
)
V V V F F V V V F V
V V F F V V F F F V
V F V F F V V V F V
V F F F V V V V V V
F V V V F V V V F V
F V F V V V F F F V
F F V V F F V F F V
F F F V V F V F F V
P1: (~p→q)
P2: (q→r)
P3: (~r)
Conclusión p