SEMANA 6 - EQUIVALENCIAS NOTABLES Flashcards
1
Q
p ˄ (p v q), por ley de absorción es equivalente a
A
p
2
Q
Dos fórmulas son equivalentes entre||
sí cuando al ser unidas a través de
una bicondicional su matriz
principal resulta
A
Tautológica
3
Q
(A ˄ A) ↔ A
A
Idempotencia
4
Q
~ ~ A ↔ A
A
Doble negación
5
Q
(A ˄ B) ↔ (B ˄ A)
A v B) ↔ (B v A
A
Conmutativa
6
Q
(A ˄ B ˄ C) ↔ (A ˄ B) ˄ C
(A v B v C) ↔ (A v B) v C
A
Asociativa
7
Q
(~ A ˄ ~ B) ↔ ~ ( A v B)
~ A v ~ B) ↔ ~ ( A ˄ B
A
Ley de Morgan, cambian de signo
8
Q
( A → B) ↔ (~A v B)
A
Definición condicional
9
Q
[A ˄ (A v B)] ↔ A
[A ˄ (~A v B)] ↔ (A ˄ B)
A
Absorción