UNIVERSIDAD DE CHILE

FACULTAD DE FILOSOFA Y HUMANIDADES.

JOS DAZ FERNNDEZ.

Anlisis veritativo-funcional o dicotmico (BORRADOR)

Un segundo mtodo para determinar el valor veritativo de un esquema proposicional
es el llamado anlisis dicotmico. Este mtodo consiste en la aplicacin sistemtica de un
grupo de reglas de reduccin aplicadas a las distintas conectivas. Las reglas son las
siguientes:
Conjuncin:
1) Si una de las clusulas de la conjuncin es verdadera, el valor de la conjuncin se
reduce a la otra clusula (o estn en funcin del valor de la otra clusula)
S11 = V
( S1S2 )

S2

2) Si una de las clusulas de la conjuncin es falsa, la conjuncin como tal es tambin

falsa.
S1 = F
( S1S2 )

Alternacin:
1) Si una de las clusulas de la alternacin es verdadera, la alternacin como tal,
tambin lo es.
S1 = V
( S1 v S2 )

2) Si una de las clusulas de la alternacin es falsa, el valor de la alternacin se

reduce a la otra clusula (o est en funcin del valor de la otra clusula).
S1 = F
( S1 v S2 )

S2

Condicional:
1) Si el antecedente de un condicional es verdadero, el valor del condicional se
reduce al consecuente (o est en funcin del valor del consecuente).

Ver: Libro I, Cap. I, Parte II, Variable de Esquema.

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

S1 = V
( S1 S2 )

S2

2) Si el antecedente de un condicional es falso, el condicional como tal es verdadero.

S1 = F
( S1 S2 )

3) Si el consecuente de un condicional es verdadero, el condicional como tal es

verdadero.
S2 = V
( S1 S2 )

4) Si el consecuente del condicional es falso, el valor del condicional se reduce a la

negacin del antecedente (o est en funcin del valor de la negacin del
antecedente).
S2 = F
( S1 S2 )

-S1

Bicondicional:
1) Si una clusula del Bicondicional es verdadera, el valor del Bicondicional se
reduce a la otra clusula (o depende o est en funcin del valor de la otra clusula)
S1 = V
( S1 S2 )

S2

2) Si una clusula del Bicondicional es falsa, el valor del Bicondicional se reduce a

la negacin de la otra clusula (o est en funcin del valor de la negacin de la
otra clusula).
S1 = F
( S1 S2 )

-S2

Procedimiento [P]:
1) Se practica una dicotoma general del esquema, reemplazando la variable que ms
se repita (a) por el valor verdadero en una primera rama de dicha dicotoma, y
(b) por el valor falso en la segunda rama de la dicotoma.
2) A las dos ramas de la dicotoma se le aplican las reglas de reduccin.

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

3) Si lo que resulta DESPUES DE HACER TODAS las reducciones posibles es un

nuevo esquema, se desarrolla bajo este nuevo esquema un nuevo anlisis
dicotmico.(P1)
4) Se contina con el mismo procedimiento de anlisis bipartito y reduccin hasta
que el resultado final sea V o F
5) A travs de todo proceso se requiere respetar estrictamente el alcance de cada
conectiva dentro del esquema.

EJEMPLO.
Determinacin del valor veritativo y el carcter del esquema.
( p v q ) ( ( -q p ) ( -p q ) )
( V v q ) ( ( -q V ) ( F q ) )
V ( ( -q ) ( V ))
-q

p=V

[P1.a]
[P2]

q=V

-q
F

[P3.a]
[P4]

q=F

-q
V

[P3.b]
[P4]

( p v q ) ( ( -q p ) ( -p q ) )
( F v q ) ( ( -q F ) ( V q ) )
q ((q)(q))
q q

p=F

q=V

q=F

[P1.b]
[P2]
q

V V

V V

q q
VV
V

[P3.a]
[P4]

q q
FF
V

[P3.b]
[P4]

Valor veritativo
Consistencia

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

EJERCICIOS

1.8. - Si A y B son proposiciones verdaderas y X e Y son proposiciones falsas Cules de las

siguientes proposiciones compuestas son verdaderas?
- ( AB ) ( -A v -B )
(BY)(XvB)
( X B ) ( -A -X )
- ( - ( -B-X ) - ( -A v -B) - ( X -Y ) - ( -A -Y ) )

18.1
18.6
18.10
18.14

29.- Determine el valor veritativo y el carcter de los siguientes esquemas. Use tablas de
verdad y Anlisis Dicotmico
( p v q ) ( ( -q p ) ( -p q ) )
( ( p v q ) -r ) ( ( -p v -r ) ( p q ) )
( p v qr ) ( p v q ) (p v r )

29.1
29.4
29.6

EJERCICIOS RESUELTOS
1.8. - Si A y B son proposiciones verdaderas y X e Y son proposiciones falsas Cules de las
siguientes proposiciones compuestas son verdaderas?
18.1

- ( AB ) ( -A v -B )
- ( VV ) ( F v F )
-( V ) ( F )
FF
V

18.6

(BY)(XvB)
(VF)(FvV)
FV
V

18.10

( X B ) ( -A -X )
(FV)(FV)
V F
F

18.14

- ( - ( -B-X ) - ( -A v -B) - ( X -Y ) - ( -A -Y ) )
- ( - ( FV ) - ( F v F ) - ( F V ) - ( F V ) )
-(-(F)-(F)-(V)-(V))

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

- ( VVFF )
-(F)
V
29.- Determine el valor veritativo y el carcter de los siguientes esquemas. Use tablas de
verdad y Anlisis Dicotmico
( p v q ) ( ( -q p ) ( -p q ) )

29.1
p
v
v
f
f

p: V

q
v
f
v
f

v
v
v
v
f
2

[ (
f
v
v
v
3
Valor veritativo
Consistencia
q

-q
f
v
v
f
1

( p v q ) ( ( -q p ) ( -p q ) )
( V v q ) ( ( -q V ) ( F q ) )
V ( ( -q ) ( V ) )
-q
-q

q: V

F
-q

q: F

p: F

V
( p v q ) ( ( -q p ) ( -p q ) )
( F v q ) ( ( -q F ) ( V q ) )
(q)((q)(q))
qq
qq

q: V

VV
V
qq

)( -p q
f
v
v
v
v
v
f
f
2
1

p q
V V F
V F V
F V V
F F V
Valor veritativo
Consistencia

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

FF
V

q: F

( ( p v q ) -r ) ( ( -p v -r ) ( p q ) )

29.4
p
v
v
v
v
f
f
f
f

q
v
v
f
f
v
v
f
f

r
v
f
v
f
v
f
v
f

[(

v
v
v
v
v
v
v
f
f
1

-r] [
f f v
v v v
f f v
v v f
f f v
v v v
v f v
f v v
2 1 3

(-p
f
f
f
f
v
v
v
v

v -r) (p q)
f f f
v
v v v
v
f f v
f
v v f
f
v f v
v
v v v
v
v f v
v
v v v
v
1
2
1

Valor veritativo
Consistencia
( ( p v q ) -r ) ( ( -p v -r ) ( p q ) )
p: V

( ( V v q ) -r ) ( ( F v -r ) ( V q ) )
( -r ) ( -r q )
( -r ) ( -r q )

r: V

F(F q)
V
( -r ) ( -r q )

r: F

V(V q)
V(q)
q
q

q: V

V
q

q: F

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

V
V
V
F
V
V
V
V

Valor veritativo
Consistencia

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

( ( p v q ) -r ) ( ( -p v -r ) ( p q ) )
( ( F v q ) -r ) ( ( V v -r ) ( F q ) )
( q -r ) ( V V )
( q -r ) V
V

p: F

( p v qr ) ( p v q ) (p v r )

29.6
p
v
v
v
v
f
f
f
f

q
v
v
f
f
v
v
f
f

r
v
f
v
f
v
f
v
f

p
v
v
v
v
f
f
f
f
1

v
v
v
v
v
v
f
f
f
2

qr
v
f
f
f
v
f
f
f
1

v
v
v
v
v
v
v
v
3

v
v
v
v
v
v
v
f
f
1

)(
v
v
v
v
v
f
f
f
2

v
v
v
v
v
v
f
v
f
1

)]

Valor veritativo
Tautologa
( p v qr ) ( p v q ) (p v r )
p: V

( V v qr ) ( V v q ) (V v r )
VV
V
( p v qr ) ( p v q ) (p v r )

p: F

( F v qr ) ( F v q ) (F v r )
qr qr

qr qr
q: V

qr qr
Vr Vr
rr

p q r
V V V V
V V F V
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V
Valor veritativo
Tautologa

UNIVERSIDAD DE CHILE
FACULTAD DE FILOSOFA Y HUMANIDADES.
JOS DAZ FERNNDEZ.

r: V

VV
V
rr

r: F

FF
V

qr qr
q: F

Fr Fr
FF
V