Page 9 - Lógica Proposicional
P. 9
TRADUCCIÓN DE LENGUAJE NORMAL A SIMBÓLICO:
Ejemplo
“Siempre que tengo hambre y no tengo tiempo para comer no me siento bien y no
puedo estudiar”
Preposiciones:
a siempre que tengo hambre
b tengo tiempo para comer
c me siento bien
d puedo estudiar
La traducción simbólica es {a ꓥ ┐b} → {┐c ꓥ ┐d) ,
la contrarrecíproca seria : ┐{a ꓥ ┐b} → ┐{┐c ꓥ ┐d)
FORMAS PROPOSICIONALES:
Son estructuras construidas por variables proporcionales y operadores lógicos. Se
representan con letras mayúsculas. A: (pvq)→(┐p→q)
p v
p q ┐p ┐q q ┐p→q →
0 0 1 1 0 0 1
0 1 1 0 1 1 1
1 0 0 1 1 1 1
1 1 0 0 1 1 1
Mediante la tabla de verdad podemos concluir que la forma proporcional es
tautología.
TAUTOLOGIA:
Es cuando todos los valores finales de la tabla de la verdad son verdaderos (1).
CONTRADICCIÓN:
Es cuando todos los valores finales de la tabla de verdad son falsos(o).
CONTINGENCIA:
Es cuando los valores finales de la tabla de verdad son alternados entre verdaderos
(1) y falsos (0).
8
