Paso 1: Identifica las proposiciones simples que se encuentran en el razonamiento lógico:
p, q
Paso 2: De acuerdo al número total de proposiciones simples se determina la cantidad de
combinaciones posibles entre los valores de verdad de las proposiciones simples.
en el caso de tener dos (2) proposiciones simples, sólo hay cuatro
(4) casos posibles por ejemplo:
|
p
|
q
|
|
V
|
V
|
|
V
|
F
|
|
F
|
V
|
|
f
|
f
|
¿Cuántos casos posibles tendremos para la proposición
compuesta: ( p ˄q) ˅ r ?
El primer paso será identificar el número de proposiciones simples:
p, q, r
Si lo analizamos detenidamente, hay dos posibilidades para la p (V, F), también
hay dos posibilidades para la q (V, F) y dos posibilidades para la r (V, F):
Luego, el número de combinaciones posibles será de: 2 x 2 x 2 = 23 = 8
|
p
|
q
|
r
|
|
V
|
v
|
V
|
|
V
|
V
|
F
|
|
v
|
F
|
V
|
|
v
|
F
|
f
|
|
F
|
V
|
V
|
|
F
|
V
|
F
|
|
F
|
F
|
V
|
|
f
|
F
|
f
|
Paso 3: Se hace un recorrido desde adentro hacia afuera de acuerdo a los signos de
agrupación:
.
Los signos de agrupación que encontraremos en una fórmula proposicional
sigue el orden:
{ ( { (....) } ) }..
Paso 4: Se identifica el conectivo que aparece dentro del paréntesis, en el ejemplo
propuesto ( p ˄q) ˅ r
,
este conectivo es la conjunción y disyunción
Paso 5: Se precisa el término de enlace que precede al paréntesis, en ciertos casos la
negación.
Paso 6: Se elabora la tabla con el número de columnas determinado por:
Proposiciones que intervienen
Conectivos utilizados dentro del paréntesis
Conectivo utilizado fuera del paréntesis
|
p
|
q
|
r
|
( p ˄q)
|
( p ˄q)˅ r
|
|
V
|
v
|
V
|
V
|
V
|
|
V
|
V
|
F
|
V
|
V
|
|
v
|
F
|
V
|
F
|
V
|
|
v
|
F
|
f
|
F
|
F
|
|
F
|
V
|
V
|
F
|
V
|
|
F
|
V
|
F
|
F
|
F
|
|
F
|
F
|
V
|
F
|
V
|
|
f
|
F
|
f
|
f
|
f
|
