Tautología: Es una forma de enunciado que sólo tiene ejemplos de sustitución verdaderos.
Contradicción: Es una forma de enunciado que sólo tiene ejemplos de sustitución falsos.
Las formas de enunciado que cuentan con eje
mplos de sustitución verdaderos y falsos se llaman Contingentes.
Forma específica de un enunciado: Es la forma de enunciado de la cual resulta el enunciado en cuestión mediante el reemplazo de cada variable distinta por un enunciado simple diferente. (Enunciado <--> Proposición)
(A --> B) . ( C --> D)
P . Q (Forma de enunciado)
(P --> Q) . (R --> S) (Forma específica)

- Determinar la validez de los siguientes razonamientos por medio del condicional asociado.
1) 1_ A --> B
2_ B
____________
3_ A
2) 1_ [A --> (A . B)]
2_ A
___________________
3_ B
3) 1_ p v q
2_ ~p
___________
3_ q v r
4) 1_ ~r --> (~p v ~q)
2_ r
____________________
3_ ~(~p v ~q)
No hay comentarios:
Publicar un comentario