OPERACIONES CON PROPOSICIONES

NEGACIÓN ~p CONJUNCIÓN p ^ q DISYUNCIÓN p ˅q

No p
No es verdad que p
Es falso que p poq
pyq
No es cierto que p o p o q o ambas cosas
p pero q
como mínimo p o q
p sin embargo q
p no obstante q
p a pesar de q La tabla de verdad de la
disyunción es falsa solamente
cuando los dos
La tabla de verdad de la enunciados son falsos.
conjunción es verdadera,
solamente cuando los
dos enunciados son verdaderos.

DISYUNCIÓN EXCLUSIVA CONDICIONAL BICONDICIONAL (DOBLE

pṿq (IMPLICACIÓN) p→q IMPLICACIÓN) p↔q

p implica a q p si y sólo si q
Su tabla de verdad es
Si p entonces q p necesario y suficiente para q
verdadera cuando un enunciado es
p es suficiente para q
verdadero
q es necesario para p Su tabla de verdad exige que
y el otro falso o viceversa.
q si p ambos enunciados
sean verdaderos o ambos falsos
La tabla de verdad del condicional para ser verdadera.
tiene valor falso cuando el primer
enunciado es verdadero y el
segundo falso.

NEGACIÓN CONJUNTA O CONJUNCIÓN NEGATIVA p↓q

ni p ni q Se debe saber que es verdadero cuando p es falso y q es falso

LEYES DEL ALGEBRA DE PROPOSICIONES
 LEYES DE ALGEBRA DE CONJUNTO

1. Asociatividad:
C C)
(AC = AC)

2. Conmutatividad:

AB = BA

3. Distributividad:
ACC)
AC) = (C)

4. Absorción:
A
AA

5. Idempotencia:
A
B

6. Identidad:

Ø U  A
7. Dominación
AUU A Ø = Ø

8. Complemento:

Ac U Ac = Ø

9. Ley de Morgan:
(AB)c = Acc (Ac= Acc

A – B = A c

10. Leyes de Complementación

( Ac )c = A Uc = Ø
Øc = U