1 J ⊃ (K ⊃ M)
2 $\lor$ ∼M
3 J

question 236

Multiple Choice

1. J ⊃ (K ⊃ M)
2. L $\lor$ ∼M
3. J $\lor$ (K • ∼L)
-Consider assuming 'J' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

• A) K ⊃ M
• B) K
• C) M
• D) K • ∼L
• E) ∼L

---

Definitions:

Non-Criminal Laws

Laws that govern disputes between individuals or private parties, including civil and administrative law, rather than criminal offenses.

Common Law

A body of legal rules derived from judicial decisions of courts and similar tribunals, as opposed to statutes passed by legislatures.

Arbitration Clauses

Provisions within a contract that require disputes to be resolved through arbitration rather than in court.

Publication Bans

Legal orders restricting the media's ability to report on certain details of legal proceedings to protect privacy, ensure fairness, or maintain public security.