Implicación Y Equivalencia De Proposiciones

Implicación de proposiciones: Una proposición A 7) La negación de B implica a la disyunción

implica a otra proposición B, cuando unidas por el fuerte de A y C
condicional () resulta una tautológica.
Se simboliza: ABy se lee “A implica a B”
8) La negación de A implica la negación de D
Equivalencia de proposiciones: Dos
proposiciones compuestas A y B son equivalentes
si unidas por el bicondicional () el resultado es 9) La disyunción débil de A y D implica la
una tautológica. bicondicional de B y C.

10) Determinar si las proposiciones siguientes

son equivalentes:
A = Si Juan aprobó los exámenes de
admisión, ingreso a la universidad.
1) Sean los esquemas moleculares: B = No es el caso que Juan apruebe los
exámenes de admisión y no ingrese a la
A = (-p)  (-r) universidad.
B = -(p  q) v -r
Comprobar que A implica a B

2) Dados los esquemas moleculares:

11) Determinar si los esquemas:
A = p  -q A = (p  q) v (r  p)
B = q -r B = -q  (-r  -p); son equivalentes:
C = -p  (q  r)
Para las siguientes proporciones:
Determinar si C es una condición
necesaria para la conjunción de A y B A = -p / -q
B = -p  -q
C = -(-p  -q)
Si se tienen los siguientes datos:
D = -(-p  -q)
A = -(p  q)
B = -p  -q Demuestre del 12 al 15 mediante tabla de
verdad; si:
C = -(p  q)
D = -p / -q
12) A es equivalente a C
Demuestre del 3 al 9 mediante tabla de verdad;
si: 13) B es equivalente a D
3) A implica a B
14) La negación de B es equivalente a la
bicondicional de C y A
4) A implica a C

15) La negación de C es equivalente a la

5) B implica a D disyunción débil de A y C.

6) C implica a D

II Bimestre Mar- Dic - 08