Documents Quantifier Exchange What to do when a - precedes a quantifier.

Quantifier Exchange What to do when a - precedes a quantifier. Quantifier Exchange 1) $x(Hx>Gx) A 2) $x(Gx>-Ix) A $x(Hx>-Ix) GOAL Quantifier Exchange 1) $x(Hx>Gx)…

Documents Quantifier Exchange

Quantifier Exchange What to do when a - precedes a quantifier. Quantifier Exchange 1) $x(Hx>Gx) A 2) $x(Gx>-Ix) A $x(Hx>-Ix) GOAL Quantifier Exchange 1) $x(Hx>Gx)…