5. Lógica proposicional: Conectivas y tablas de verdad

Ejercicios de autoevaluación

Ejercicio 1.

Comprueba que sabes como definir conectivas definiendo de varias formas una conectiva con la tabla de verdad: 
				
Comprueba que realmente está bien definida calculando los valores de la conectiva para cada una de las combinaciones de valores de verdad de las conectivas.

Solución:

Ejercicio 2.

\(\(Definir\ en\ Mathematica\ las\ siguiente\ formas\ enunciativas\ 

                    a\)\()\)\) (~( (Subscript[p, 1])⋀ (Subscript[p, 2]))↔( (Subscript[p, 3])↓ (Subscript[p, 4])))← (Subscript[p, 5]) . 
    b)( (Subscript[p, 1])↓ (Subscript[p, 4]))←(( (Subscript[p, 3]) →  (Subscript[p, 2]))↑ (Subscript[p, 5])).
	c)(~( 
                      (Subscript[p, 5]) ↔  (Subscript[p, 2])) →  
                  (Subscript[p, 1]))↓ ((Subscript[p, 4])⋀(Subscript[p, 3])).
\(y\ calcular\ su\ valor\ de\ verdad\ para\ la\ combinación\ de\ valores\ de\ verdad\ de\ las\ variables\ de\ enunciado\ p\_1 = V, p\_2 = F, p\_3 = V, 
    p\_4 = \(F\ y\ p\_5 = \(\(F\)\(.\)\)\)\)

Solución:

a)

b)

c)

Ejercicio 3.

\(Comprobar\ que\ sabes\ calcular\ tablas\ de\ verdad\ con\ Mathematica\ calculando\ las\ tablas\ de\ verdad\ de\ las\ formas\ enunciativas\ del\ ejercicio\ 2. \)

Solución:

a)

b)

c)