determine whether the given formula is a logical truth of M or not. If it is a logical truth, provide a proof of the formula. If it is not a logical truth, provide a counterexample in a finite domain.
-(∃x)(Ix • Jx) ⊃ [(∀x)Ix ⊃ (∀x)Jx]

Question

Quizplus · Accepted Answer

The Answer of determine whether the given formula is a logical truth of M or not. If it is a logical truth, provide a proof of the formula. If it is not a logical truth, provide a counterexample in a finite domain.
-(∃x)(Ix • Jx) ⊃ [(∀x)Ix ⊃ (∀x)Jx]

Determine Whether the Given Formula Is a Logical Truth of M