Resumen Análisis Veritativo-Funcional. Dicotomías De W. V. Quinne

Análisis veritativo-funcional. Dicotomías de W. V. Quinne
Reglas de reducción [RR] de las funciones sea una de las cláusulas de una función,

1.- RR para la función & [conjunción]F & =F & F = F V & = & V = | 2.- RR para la función V [disyunción]V V = V V V = VF V = V F = |
3.- RR para [condicionalidad] V = VF = VV = F = | 4.- RR para la función<-> [bicondicionalidad]V <-> = <-> V = F <-> = ~ <-> F = ~ |
5.- RR para la función W [disyunción fuerte]F W = W F = V W = ~ W = ~ | 6.- RR para la función /[incompatibilidad]F / = V / F = VV / = ~ / V = ~ |
7.- RR para la función [falsedad conjunta]V = F V = FF = ~ F = ~ |

Procedimiento
a) Se sustituye una variable por el “V” en todas lasinstancias donde esta aparece (es recomendable sustituir la variable que más se repite).

b) Se aplican las reglas de reducción. Si la expresión se reduce a un valor de verdad final (V ó F),entonces se sustituye la misma variable original por el F ó V (según sea el caso) y se aplican las reglas de reducción. Si la expresión finalmente se reduce a un valor final V ó F, entonces elprocedimiento habrá concluido, pero si la expresión no se reduce a una expresión menos, entonces se debe proceder a una dicotomía de esta nueva expresión siguiendo los pasos señalados.

P (p V q)
SVp = enla Sentencia (“S”) se reemplaza la variable “p” por el valor “V” [como el caso a)1.-]. El valor en sobreíndice indica la variable, el valor en subíndice indica el valor por el que se reemplaza.p , q | |
V, - | V |
V, - | V |
F, - | V |
F, - | V |
a)1.-[SVp] v (v V q) 2.- [Sfp] f (f V q)
v v f q
vv

p , q | |
-, V | V |
-, V | V |
-, F | V |
-, F | V |

b)1.-[ SVq] p (p V v) 2.- [Sfq] p (p V f)
p v p p
v
2.1.- [Sfp] p p
f f...