∀xSx ) ) ) ∀x((Ax ∧ Gx ) → Sx )) ) ∀x((Ax ∧ Gx ) → Jx ) ∀x¬Sx

Download document