Anlisis veritativo-funcional. Dicotomas de W. V.

Quinne Reglas de reduccin [RR] de las funciones sea una de las clusulas de una funcin, 1.- RR para la funcin & [conjuncin] F&=F &F=F V&= &V= 3.- RR para [condicionalidad] V=V F=V V= F= 5.- RR para la funcin W [disyuncin fuerte] FW= WF= V W = ~ W = ~ 7.- RR para la funcin [falsedad conjunta] V=F V=F F = ~ F = ~ 2.- RR para la funcin V [disyuncin] VV=V VV=V F V= VF= 4.- RR para la funcin <-> [bicondicionalidad] V <-> = <-> V = F <-> = ~ <-> F = ~ 6.- RR para la funcin / [incompatibilidad] F/=V /F=V V / = ~ / V = ~

Procedimiento a) Se sustituye una variable por el V en todas las instancias donde esta aparece (es recomendable sustituir la variable que ms se repite). b) Se aplican las reglas de reduccin. Si la expresin se reduce a un valor de verdad final (V F), entonces se sustituye la misma variable original por el F V (segn sea el caso) y se aplican las reglas de reduccin. Si la expresin finalmente se reduce a un valor final V F, entonces el procedimiento habr concluido, pero si la expresin no se reduce a una expresin menos, entonces se debe proceder a una dicotoma de esta nueva expresin siguiendo los pasos sealados.

P (p V q) SVp = en la Sentencia (S) se reemplaza la variable p por el valor V [como el caso a)1.-]. El valor en sobrendice indica la variable, el valor en subndice indica el valor por el que se reemplaza. a)1.-[SVp] v (v V q) vv v 2.- [Sfp] f (f V q) fq v p,q V, V, F, F, V V V V

b)1.-[ SVq] p (p V v) pv v

2.- [Sfq] p (p V f) p p 2.1.- [Sfp] p p ff v 2.2.- [Svp] p p vv v

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

V V V V