Lógica Calculatoria Enero 23-2022

Tema1 Básico Operatorias y Cálculo de Predicados

Raúl Chaparro Aguilar

I) Determinar si las siguientes expresiones son teoremas del cálculo de predicados:

a) ( ( Ǝx | R : ¬P v ¬Q ) ≡ ( x | R : P → Q ≡ P) ) → (Ǝx | R : P ˄ ¬Q ≡ ¬P ≡ P → Q)
b) ( x|R:P˄Q) → (( x|R:Q)≡( x|R:P→Q))
c) ( Ǝx | R : ¬B ˄ ¬C ) → ( (Ǝx | R : A ˄ ¬B ) v ( Ǝx | R : ¬A ˄ ¬C )
II) Responder: Falso, verdadero o incorrecto. JUSTIFICANDO!!!
a) ( i | 0≤ i <n : (3i+4 > 5) v (i > 3) ) ≡ j>3 v( i | 0≤ i <n : 3i+4 > 5 )
b) ( y | x>y : x+2 > y) ˄(y >5) ≡ ( y | x>y : x+2 > y ˄ y >5)
c) ( x | 0≤ x ≤10 : x >4 ) v ( x | 8≤ x ≤20 : n x>4 ) ≡ ( x | 0≤ x ≤20 : x>4 )

d) (+i | 0≤ i ≤10 : i2 >60 ) ≡ 82 + 92 + 102

e) ( i | 0≤ i ≤40 : i+10 ≥2i) ≡ ( j | 0≤ i ≤20 : i+10 ≥2i ) v ( k | 20≤ k ≤40 : k+10 ≥ 2k )
f) ( i | i= i+1 : ( i+1)2 ≥ i ) ≡ true

g) ( i | 0≤ i ≤30 : (+k | 0≤ k ≤10 ˄ k2+1 = 7 : k2 ) > 31 ) ≡ false

h) ( i | false : true ) ≡ ( i | true : false )
i) (Ǝi | false : true ) ≡ ( i | true : false )
j) ( x | ¬(x=x) : (Ǝx | x=x : x≠x)) = (Ǝx | x=x : x≠x)
k) (Ǝx | ¬(x≠x) : ( i | i=i : x≠x ) ≡ false ) ≡ (Ǝx | ¬(x=x) : ( x | x=x : x≠x ) )

l) (↑i | 0≤ i ≤10 : (+j | 10≤ j ≤15 : 3i+j ) ) = (+i | 10≤ i ≤15 : (↑j | 1≤ j ≤10 : 3i+j ) )

m) (+i | 0≤ i < n : 4i+5k ) = (+k | 0≤ k < n : 4k ) + kn .

n) ( i | : i2 + 2i = 0 ) → ( -8)2 + 4 – 8 = 0 )
o) (Ǝi | 0≤ i ≤5 : i >20 ) → 20< x Si y Sólo si 4>20 → 20< x.
p) (Ǝx | R : ( x|Q:P)) ≡ ( y | Q : (Ǝx | R : P ) ) ( X no aparece libre en R ni Q ni P )
q) ( x| R : P ) v ( x| R : Q ) ≡ ( x | R : PvQ ) [Si no es cierto construya un contra-ejemplo ]
r) (Ǝx| R : P ) ˄ (Ǝx| R : Q ) ≡ ( Ǝx | R : P˄Q ) [Si no es cierto construya un contra-ejemplo ]
III ) Calcular, si X es un arreglo de enteros dado de la siguiente forma:
-3 2 1 6 7 5 0 -3 6 7 8 11 17 0 6 95
X:
de longitud 16

a) ( i | 0≤ i < 7 : X[i] ≤0 ) ≡ __________

b) r = (↑k | 0≤ i<16 : 3+i ) = __________
c) (Ǝi | 0≤ i <16 : i2 mod 2 = 0 ) = __________
d) ( i | 0≤ i < 16 : X[i] ≤ X[i+1] ) = __________

e) (+i | (+j | 0≤ j <10 )= i : i + j ) = __________

f) ( x | x=5 : X[x] >10 ) ≡ __________

g) ( x | x<3 : (+i | 0≤ i <16 : X[i] > x ) ≡ __________

h) (+i | 0≤ j <16 : (+j | 0≤ i <16 : X[i-j] ) ) = __________