Ejercicios de examen

1. Verificar el siguiente argumento “ningún estudiante de taller uno o

dos está cursando taller de base de datos, Marisol está cursando
taller de base de datos, por lo tanto Marisol no es estudiante de
taller dos”. (Lic. Contreras)

T1 (x): x es estudiante de taller 1

T2 (x): x es estudiante de taller 2
TB (x): x es estudiante de taller de base de datos
m: Marisol
∀𝑥[𝐴 → ~𝐵]
∀𝑥[(𝑇1(𝑥) ∨ 𝑇2(𝑥)) → ~𝑇𝐵(𝑥)]
𝑇𝐵(𝑚)
∴ ~𝑇2(𝑚)

2. Hallar el precondicional mediante el método de Floyd (hoare), para

el siguiente trecho de programa. (Lic. Contreras y M.Sc. Huanca)
P:=1; y:=0 while y <> n
P:=p*x;
Y:=y+1 end
P y x n
1 0 2 5
2 1
4 2
8 3
16 4
32 5

P= 𝑥 𝑦 = 25 = 32 invariante
P= 𝑥 𝑛 postcondicion
 {𝑇}
{1 = 1}P: = 1 {𝑃 = 1}
{𝑃 = 𝑥 0 } y: = 0 {𝑃 = 𝑥 𝑦 }
while y <> n
{𝑃 ∗ 𝑥 = 𝑥 𝑦+1 } P: = p ∗ x {𝑃 = 𝑥 𝑦+1 }
{𝑃 = 𝑥 𝑦+1 } Y: = y + 1 {𝑃 = 𝑥 𝑦 }

Operación auxiliar
∼ 𝐷 ∧ 𝐼 → {𝑄}
D: condición
I: invariante
{Q}: postcondicion
∼ (𝑦 <> 𝑛) ∧ 𝑃 = 𝑥 𝑦 → 𝑃 = 𝑥 𝑛
𝑦 = 𝑛 ∧ 𝑃 = 𝑥 𝑦 → 𝑃 = 𝑥𝑛
𝑝∧𝑞 →𝑝
(Ph.D. yohoni)

Regla del FOR

⊢ {𝑷 ∧ (𝑬𝟏 ≤ 𝑽) ∧ (𝑽 ≤ 𝑬𝟐 )} 𝑺 {𝑷[𝑽 + 𝟏/𝑽]}

⊢ {𝑷[𝑬𝟏 /𝑽] ∧ (𝑬𝟏 ≤ 𝑬𝟐 )}𝑭𝒐𝒓 𝑽 ≔ 𝑬𝟏 𝒖𝒏𝒕𝒊𝒍 𝑬𝟐 𝒅𝒐 𝑺 {𝑷[𝑬𝟐 + 𝟏/𝑽]}
3. Sabiendo que:
𝐸2 : 𝐴
𝐸1 : 𝐵
𝑉: 𝐾
𝑃[𝐸2 + 1/𝑉]: 𝑋 = 𝐴 + 1 + 𝑌
Determinar:
𝑃[𝐸1 /𝑉] =?
Seleccione una:
a) X=K+Y
b) X=B+Y
c) X=K+1+Y
d) Ninguna de las anteriores
e) X=A+1+Y
𝑃[𝐸2 + 1/𝑉]: [𝐴 + 1/𝐾]: 𝑋 = 𝐴 + 1 + 𝑌
 𝑷[𝑽 + 𝟏/𝑽]: 𝑃[𝐾 + 1/𝐾]: 𝑋 = 𝐾 + 1 + 𝑌
𝑷[𝑽/𝑽]: 𝑷[𝑽]: 𝑃[𝐾]: 𝑋 = 𝐾 + 1 − 1 + 𝑌
𝑷[𝑬𝟏 /𝑽]: 𝑷[𝑩/𝑲]: 𝑿 = 𝑩 + 𝒀

4. Sea la tripleta (Ph.D. yohoni)

{? }𝐸 ≔ 𝐸 ∗ 𝑆; 𝐶 ≔ 𝐶 ∗ 𝑆; 𝐴 ≔ 𝐴 ∗ 𝑆 {? }
Escoja la invariante:
a) A=B*C+E
b) A=A+B*C*E
c) A=B+E+C
d) A=A*E+B*C
e) Ninguna de las anteriores

{𝑠𝑒𝑛𝑡𝑒𝑛𝑐𝑖𝑎}𝐸 ≔ 𝐸 ∗ 𝑆; 𝐶 ≔ 𝐶 ∗ 𝑆; 𝐴 ≔ 𝐴 ∗ 𝑆{𝑠𝑒𝑛𝑡𝑒𝑛𝑐𝑖𝑎}

{𝐴 ∗ 𝑆 = (𝐵 ∗ 𝐶 + 𝐸) ∗ 𝑆}𝐸 ≔ 𝐸 ∗ 𝑆{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 ∗ 𝑆 + 𝐸}

{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 ∗ 𝑆 + 𝐸 ∗ 𝑆}𝐸 ≔ 𝐸 ∗ 𝑆{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 ∗ 𝑆 + 𝐸}

{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 ∗ 𝑆 + 𝐸}𝐶 ≔ 𝐶 ∗ 𝑆{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 + 𝐸}

{𝐴 ∗ 𝑆 = 𝐵 ∗ 𝐶 + 𝐸}𝐴 ≔ 𝐴 ∗ 𝑆{𝐴 = 𝐵 ∗ 𝐶 + 𝐸}

𝑽{𝑬𝟏 ⟵ 𝑬𝟐 }(𝑬𝟏 ) = 𝑬𝟐 AXIOMA 5

𝑽{𝑬𝟏 ⟵ 𝑬𝟐 }(𝑬𝟑 ) = 𝑽(𝑬𝟑 ) 𝑬𝟏 ≠ 𝑬𝟑 AXIOMA 6

5. Mediante los axiomas 5 y 6 determinar la resultante (Ph.D. yohoni)

𝐴{𝑅 ⟵ 𝑆}{𝑍 ⟵ 𝐴(𝑋)}{𝑃 ⟵ 𝑍}{𝑌 ⟵ 𝑋}(𝑍) = 𝐴(𝑋)

𝐴{𝑅 ⟵ 𝑆}{𝑍 ⟵ 𝐴(𝑋)}{𝑃 ⟵ 𝑍}(𝑍)

𝐴{𝑅 ⟵ 𝑆}𝐴(𝑋)
6. Formalizar los siguientes argumentos:(relaciones familiares)
francisco es abuelo no usar la relación A como abuelo (Lic.
Contreras)

∃𝒙∃𝒚[𝒑𝒂𝒅𝒓𝒆(𝒇, 𝒙) ∧ (𝒑𝒂𝒅𝒓𝒆(𝒙, 𝒚) ∨ 𝒎𝒂𝒅𝒓𝒆(𝒙, 𝒚))]