UNIVERSIDAD DE CARABOBO

FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGA

DEPARTAMENTO DE COMPUTACIN
GRUPO DE MATEMTICAS DE LA COMPUTACIN

ELEMENTOS DISCRETOS
Noviembre de 2007

GUA DE LGICA
CONECTIVOS LGICOS
Negacin ()
Tabla
p
v
f
Conjuncin ()
Tabla
p
v
v
f
f
Disyuncin ()
Tabla
p
v
v
f
f

Palabras clave
p
f
v

Es falso que
No es el caso que

Palabras clave
pq
v
f
f
f

q
v
f
v
f

Y
Pero
Sin embargo
No obstante

Aunque
Adems
Mas aun

Palabras clave
pq
v
v
v
f

q
v
f
v
f

Condicional ()
Tabla
p
q
v
v
v
f
f
v
f
f

O bien

Palabras clave
pq
v
f
v
v

Bicondicional ()
Tabla
p
q
v
v
v
f
f
v
f
f
Precedencia

No
No es cierto que

Si p, entonces q
Siempre que p, entonces q
p es suficiente para que q
p solo si q
p implica q

q si p
q siempre que p
q es necesario para que p
q es implicada por p

Palabras clave
pq
v
f
f
v

Si p, entonces q y si q,
entonces p

p si y solo si q

Hecho Por: Kiara A. Ottogalli F.