Elementos de Lógica: Declaraciones y su valor lógico Declaración

Elementos de Lógica: Declaraciones y su valor lógico
Declaración
Tabla de valores o tabla de verdad
a
v
v
f
f
b
v
f
v
f
a
y
v
f
f
f
b
1. Conjunción de declaraciones a, b :
Se lee: < declaración a > y < declaración b >:
Se denota por: “a ∧ b” o también por “ a y b ”
a
v
v
f
f
b
v
f
v
f
a
o
v
v
v
f
b
2. Disjunción de declaraciones a, b :
< declaración a > o < declaración b >
Se denota por: “a ∨ b” o también por “ a o b ”
3. Negación de una declaración a:
Se lee: No es < declaración a > ;
Se denota por: �a
a
v
f
4. Implicación de declaraciones a, b :
Se lee: < declaración a > implica < declaración b >:
Se denota por: a ⇒ b
Toma el valor falso sólo cuando
a es verdadero y b es falso,
en los demas casos la declaración
a ⇒ b toma el valor verdadero.
a
v
v
f
f
b
v
f
v
f
a⇒b
v
f
v
v
a
v
v
f
f
b
v
f
v
f
a⇔b
v
f
f
v
5. Equivalencia de declaraciones a, b :
Se lee: < declaración a > es equivalente a la < declaración b >:
Se denota por: a ⇔ b
Toma el valor falso sólo cuando
a ⇒ b o b ⇒ a es falso,
en los demas casos la declaración
a ⇔ b toma el valor verdadero.
Es decir a ⇔ b toma el valor verdadero
Solo cuando tanto a como b tienen el mismo
valor lógico falso o verdadero
1
�a
f
v