Nombre de la ley

Lgica

Conjuntos

Doble negacin o
doble complemento

pp

( AC )C = A

Conmutatividad

pq qp
p q qp

AB=BA
A B =B A

pq r p qr
p q r p qr
p qr pq pr
p qr pq pr

A (B C) = (A B) C
A (B C) = (A B) C
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)

pq pq

( A B )C = AC BC
( A B )C = AC BC

Idempotencia

pp p
pp p

AA= A
AA= A

Implica o Diferencia

p q pq

A B = A BC

Doble Implicancia

p q p q qp

A= B (A B B A)

Asociatividad
Distributividad
Morgan

Identidad
Del Complemento
Absorcin

pq pq

p F F
pF p

pp V
V F

pV p
pV V

pp F
FV

p pq p
p pq p

A=
A=A
( A AC ) = U
( U )C =

A U =A
A U = U
( A AC ) =
( ) C = U

A (A B ) = A
A (A B ) = A

TABLAS DE VERDAD PARA OPERADORES LOGICOS

Formalmente, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos
a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras (p, q, r, .....).
Con la combinacin de variables proposicionales y conjunciones se obtienen frmulas sentenciales o sentencias. Estas
pueden ser:

Tautologa: es la sentencia que es verdadera.

Contradiccin: es la sentencia que es falsa.
Contingencia o Indeterminacin: es la sentencia que ni es verdadera ni falsa.

La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las
variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin.
Si las proposiciones son n , su tabla de verdad est compuesta de 2n posibilidades
p
V
V
F
F

q
V
F
V
F

~p
F
F
V
V

pq
V
V
V
F

pq
V
F
F
F

pq
V
F
V
V

pq
V
F
F
V

pq
F
V
V
F

CUANTIFICADORES

Una proposicin abierta es un enunciado declarativo que depende de una o ms variables dentro de un universo de
discurso, de modo que se convierte en una proposicin para cada valor o reemplazo de la variable.

Ejemplos:
Supongamos que el universo de discurso est formado por los nmeros naturales. Son proposiciones abiertas:
a) P(X): X es un divisor de 8 Observa P(2) es cierta, P(5) es falsa, P(32) es falsa.

b) Q(X,Y): X es un divisor de Y.
Q(2,5) es falsa pero Q(5, 100) es verdadera.
c) Las siguientes proposiciones son abiertas
(2n+3)2 es un nmero impar. (proposicin abierta)
1+3=5
(proposicin)
Existe un x tal que x < .
(proposicin)
x es un nmero real.
(proposicin abierta)

Las expresiones:
Existe un x, Para algn x, Para cualquier x, Para todo x, cuantifican las proposiciones abiertas, lo que hace
posible asignarles un valor de verdad, convirtindolas en proposiciones.
Son proposiciones cuantificadas: Para alguna x se cumple P(x) , Para algunos x y algunos y, se verifica Q(x,y)
, Para todo x se satisface R(x).

Como se observa en las proposiciones anteriores hay dos tipos de cuantificadores.

a) El cuantificador existencial,
Para algn x se verifica p(x) , Existe x tal que se cumple p(x) , Para al menos un x se satisface p(x)
son proposiciones que se escriben como :x p(x)
b) El cuantificador universal,
Para todo x se verifica p(x) , Para cualquier x tal que se cumple p(x) , Para cada x se satisface p(x)
son proposiciones que se escriben como :x p(x)
Ejemplo:
Escribir simblicamente las proposiciones:
r: Para cada entero n, si n es par entonces n 2 + 19 es primo
s: Existe un nmero real x tal que x/(x 2 + 1) = 2/5

a) Universo: los nmeros enteros,

p(n): n es par
y
q(n): n2 + 19 es primo
r : n : [p(n) q(n)]
b) Universo: los nmeros reales,
t(x): x/(x2 + 1) = 2/5
s: x : t(x)
Observa: Es importante especificar el Universo de discurso.

Veracidad y falsedad
a) Con cuantificador existencial: x : p(x)
Existe un nmero real con cuadrado mayor a 12
- Es verdadera pues se verifica para al menos un ejemplar del universo.
Existen nmeros reales con cuadrado negativo
- Es falsa pues todo ejemplar del universo no la satisface
b) Con cuantificador universal: x : p(x)
Para cualquier nmero real x, x2 0
-Es verdadera, pues se verifica para todos y cada uno de los ejemplares del universo
Cualquier nmero natural mayor a 1, divide a 8
-Es falsa, pues no se satisface para al menos un ejemplar del universo.

Negacin de proposiciones cuantificadas

a) Con cuantificador existencial:
La negacin de x p(x) : Existe x que satisface p(x) es
[ x : p(x)] No es cierto que exista x, que verifique p(x)

 Ningn x satisface p(x)

Todo x satisface p(x)
x : p(x)
Por lo tanto: [ x : p(x)] x : p(x)
b) Con cuantificador universal:
La negacin de x p(x) : Para todo x se satisface p(x) es
[x : p(x)] NO es cierto que todo x verifique p(x)
Algn x satisface p(x)
x : p(x)
Por lo tanto: [x : p(x)] x : p(x)