Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Definición del condicional: Consiste en negar el antecedente, se cambia el condicional por el disyuntor
débil y el consecuente permanece inalterable.
A B A B A B A B
A B A B A B A B
A B A B A B A B
3. Definición del biimplicador: Son equivalencias entre bicondicional y esquemas conjuntivos o disyuntivos
débiles.
A B (A B) (B A) A B (A B) (B A)
A B (A B) (B A)
4. Definición del disyuntor excluyente: Son equivalencias entre bicondicional y esquemas conjuntivos o
disyuntivos débiles.
A v B (A B) (B A) A B (A B) (B A)
A v B (A B) (B A)
El bicondicional se cambia por el disyuntor excluyente (o viceversa) y se niega sólo una de las variables
A B A B A B A B
A B A B A B A B
Ejercicios
1. El esquema: p q; es equivalente a:
A) p q B) –q p C) –q –p D) p q E) –(–p –q)
4. El esquema: –p / q; equivale a:
A) q p C) –q p C) q –p D) –q –p E) –(–p –q)
7. El esquema: –p q; es equivalente a:
A) –p / q B) –q / –p C) –(q / –p) D) –(q –p) E) –(p q)