Symbolize the following statement. Some rules of logic are hard to remember.

Question

Quizplus · Accepted Answer

The statement says that there are at least some rules of logic that are hard to remember. This is best symbolized by the existential quantifier (∃) followed by the universal quantifier (x), which means "there exists at least one x such that...". The predicate "Rx" means "x is a rule of logic", and the predicate "Hx" means "x is hard to remember". Therefore, the symbolization is (F1F1F1S1∃x)(Rx • Hx), which is equivalent to choice C.

Symbolize the Following Statement ⊃\supset⊃ Hx) B)(x)(Rx ⊃\supset⊃ ~Hx) C) ∃\exists∃ X)(Rx • Hx) D)

Symbolize the Following Statement $\supset$ Hx)
B)(x)(Rx $\supset$ ~Hx)
C) $\exists$ X)(Rx • Hx)
D)