Taller Lógica Polivalente

1. Desarrolle la tabla de verdad asociada a la proposición lógica

Łukasiewicz

2. Escriba en notación de máximos y mínimos el argumento lógico

proposicional del punto 1.

3. Determine el valor de la anterior proposición (Punto 3) si se sabe que el valor de

verdad de cada proposición está dentro de la lógica pentavalente.

4. Dado el argumento [𝑝 ⋀ ¬ (𝑞 ∨ 𝑟)] → [(𝑝 ⋀ ¬𝑠) ∨ (𝑞 ⋀¬𝑟], escribir como máximo

y mínimos según su conector lógico y Determine el valor de la anterior proposición
si se sabe que el valor de verdad de cada proposición está dentro de la lógica
hexavalente.

Solución
1) 1: ∼ q ∧ ∼ r 4: p ∧∼ r

2: p ∧ ( ∼ q ∧ ∼ r ) 5: ( p ∧∼q ¿ ∨( p ∧∼r )

3: p ∧∼ q 6 : [ p ∧ ( ∼ q ∧ ∼ r ) → ( p ∧∼ q¿∨( p ∧∼r ) ) ]

p q r ∼q ∼r 1 2 3 4 5 6

0 0 0 1 1 1 0 0 0 0 1

0 0 1 1 1 1 0 0 0 0 1
2 2 2
0 0 1 1 0 0 0 0 0 0 1

0 1 0 1 1 1 0 0 0 0 1
2 2 2
0 1 1 1 1 1 0 0 0 0 1
2 2 2 2 2
0 1 1 1 0 0 0 0 0 0 1
2 2
0 1 0 0 1 0 0 0 0 0 1
0 1 1 0 1 0 0 0 0 0 1
2 2
0 1 1 0 0 0 0 0 0 0 1

1 0 0 1 1 1 1 1 1 1 1
2 2 2 2 2
1 0 1 1 1 1 1 1 1 1 1
2 2 2 2 2 2 2 2
1 0 1 1 0 0 0 1 0 1 1
2 2 2
1 1 0 1 1 1 1 1 1 1 1
2 2 2 2 2 2 2 2
1 1 1 1 1 1 1 1 1 1 1
2 2 2 2 2 2 2 2 2 2
1 1 1 1 0 0 0 1 0 1 1
2 2 2 2 2
1 1 0 0 1 0 0 0 1 1 1
2 2 2
1 1 1 0 1 0 0 0 1 1 1
2 2 2 2 2
1 1 1 0 0 0 0 0 0 0 1
2
1 0 0 1 1 1 1 1 1 1 1

1 0 1 1 1 1 1 1 1 1 1
2 2 2 2 2
1 0 1 1 0 0 0 1 0 1 1

1 1 0 1 1 1 1 1 1 1 1
2 2 2 2 2
1 1 1 1 1 1 1 1 1 1 1
2 2 2 2 2 2 2 2 2
1 1 1 1 0 0 0 1 0 1 1
2 2 2 2
1 1 0 0 1 0 0 0 1 1 1

1 1 1 0 1 0 0 0 1 1 1
2 2 2 2
1 1 1 0 0 0 0 0 0 0 1

2) [ ∼ p ( q r ) ] [ ( p ∧∼ q)∨( p ∧∼ r ) ]
Max ( max ( 1− p , max ( q , r ) ) , max ( max ( p , 1−q ) ,min ( p , 1−r ) ) )

3)

( (
Max max
3
4
, max ,( )) , max (max ( 14 , 12 ) , min( 14 , 14 )))
2 3
4 4

Max ( 34 , 12 )
3
Valor=
4