1 LÓGICA PROPOSICIONAL 11th FORMAS LÓGICAS: Luego de

1
LÓGICA PROPOSICIONAL 11th
FORMAS LÓGICAS:
Luego de evaluar los esquemas moleculares, hemos podido observar que:
dependiendo del resultado obtenido por medio de la tabla de valores,
estos puede ser:
 TAUTOLOGÍA: Si en la tabla de datos los valores de verdad
correspondientes al conectivo principal son todos
VERDADEROS.
 CONTRADICCIÓN: Si en la tabla de datos los valores de
verdad correspondientes al conectivo principal son todos
FALSOS.
 CONTINGENCIA: Si en la tabla los valores de verdad son
unos verdaderos y otros falsos.
Ejemplos: Determinar el valor de verdad de las siguientes
proposiciones:
a) p ~( q p)
1. Se calcula el número de filas:
n = 2 22 = 4 filas
2. Se elabora el cuadro de cuatro filas dándole valores a “p” y a
“q”
p
q
V
V
V
F
F
V
F
F
p ~( q p)
2
3. Se completan los valores conocidos en la tercera columna
p
q
p ~( q p)
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
F
F
F
F
F
4. Se resuelve primero el paréntesis. Recuerda que “La
Disyunción débil es FALSA cuando las dos componentes
son falsas, en los demás casos es verdadera”
p
q
p ~( q p)
V
V
V
V V V
V
F
V
F
F
V
F
V V F
F
F
F
F
V V
F F
5. Se niega el resultado de dicho paréntesis
p
q
p ~( q p)
V
V
V
F
V
V V
V
F
V
F
F
V V
F
V
F
F
V
V F
F
F
F
V
F
F F
3
6. Se resuelve el conectivo principal que en este caso es
resulta de operar p y la negación del paréntesis.
p
q
p ~( q p)
V
V
V F
F
V V V
V
F
V F
F
F
F
V
F
F
F
V V F
F
F
F
F
V
F
que
V V
F F
Es una contradicción porque todos los valores del conectivo principal son
falsos
TAREA
1) Evaluar las siguientes fórmulas lógicas y establecer si se trata de una
tautología, contradicción o contingencia.
1.
2.
3.
4.
5.
6.