Edukera

This is a retranscription in the syntax of Actema of an exercise from the Logic course available on Edukera.

Riddles

h : (), Rich :: (), mother : () -> () ; ∀ x : (). ¬ Rich(x) -> Rich(mother(x)) , ∀ x : (). ¬ Rich(mother(mother(x))) ∨ ¬ Rich(x) |- ⊥

h : (), Rich :: (), mother : () -> () ; ∀ x : (). Rich(x) ∨ ¬ Rich(x), ∀ x : (). ¬ Rich(x) -> Rich(mother(x)) |- ∃ x : (). Rich(mother(mother(x))) ∧ Rich(x)