1. (∀X)[(Px • Qx) ⊃ Rf(x)]

question 225

Multiple Choice

1. (∀x) [(Px • Qx) ⊃ Rf(x) ]
2. (∀x) [Rx ⊃ (∃y) Pxy]
3. ∼(∀x) (Px ⊃ ∼Qx)
-Which of the following propositions is derivable from the given premises in FF?

• A) (∀x)[Pf(x) ⊃ Qf(x)]
• B) (∀x)Rf(x)
• C) (∀x)Rf(f(x))
• D) (∃x)(∃y)Pf(x)f(y)
• E) (∃x)(∃y)Pxy

---

Definitions:

AIDS Virus

The human immunodeficiency virus (HIV) that causes AIDS, a chronic, potentially life-threatening condition affecting the immune system.

Condoms

Barrier devices used during sexual intercourse to reduce the probability of pregnancy and the spread of sexually transmitted infections.

Comarital Sex

Sexual relations between a married person and someone other than their spouse with the consent of the spouse.

Wife Swapping

A behavior or activity where consenting married couples exchange partners for sexual purposes.