Determine Whether the Given Formula Is a Logical Truth of M

determine whether the given formula is a logical truth of M or not. If it is not a logical truth, select a false valuation.
-(∀x) (Ax ⊃ ∼Bx) $\lor$ (∃x) (Ax • Bx)

A) Logical truth
B) Not a logical truth. False valuation in a domain of 2 members, in which: Aa: True Ba: False
Ab: False Bb: True
C) Not a logical truth. False valuation in a domain of 2 members, in which: Aa: True Ba: True
Ab: False Bb: True
D) Not a logical truth. False valuation in a domain of 2 members, in which: Aa: True Ba: True
Ab: False Bb: False
E) Not a logical truth. False valuation in a domain of 2 members, in which: Aa: False Ba: False
Ab: True Bb: True

Correct Answer:

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Access For Free