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)…
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)…