Mortari exercicios resolvidos

A(∃x(Ax ∧ Bx)  →  ( ∃xAx ∧ ∃xBx)) = F 

A(∃x(Ax ∧ Bx)) = V 

A(∃xAx ∧ ∃xBx) = F 

A(Ai ∧ B i) = V 

i A(Aa ∧ Ba) = V 

a A(Aa) = V 

A(Ba) = V 

A(∃xAx) = V 

A(∃xBx) = V 

A(∃xAx) = V 

A(∃xBx) = V 

A(∃xAx  ∧ ∃xBx) = V  A(∃xAx ∧ ∃xBx) = F 

∃x∀yRxy  → ∀y∃xRxy A(∃x∀yRxy  →

∀y∃xRxy) = F 

A(∃x∀yRxy) = V 

A(∀y ∃xRxy) = F 

A(∀yR iy) = V 

A(∃xRx j) = F 

i

 j i

A(∀yRay) = V 

a

A(∃xRxb) = F 

b

A(Ral) = V 

l

A(Rkb) = F 

k

A(Rab) = V 

b

A(Rab) = F 

a

∃x∀yRxy  → ∀y ∃xRxy