Scribd
Upload
22 views

Pre Test

The document discusses 10 logic arguments with their corresponding rules of inference. Each item presents an argument and the reader must identify the rule of inference used. The rules included are commutativity, material implication, transportation, double negative, idempotence, associativity, exportation, material equivalence, distributivity and commutativity.

Uploaded by

Jerico Villanueva
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
22 views

Pre Test

The document discusses 10 logic arguments with their corresponding rules of inference. Each item presents an argument and the reader must identify the rule of inference used. The rules included are commutativity, material implication, transportation, double negative, idempotence, associativity, exportation, material equivalence, distributivity and commutativity.

Uploaded by

Jerico Villanueva
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

PRETEST

Direction: Below are arguments with formal proof of validity.

For each item, indicate the rules of inference or replacement

used.

1. (~𝐴 ⊃ 𝐵) ⋅ (𝐶 ∨ ∼ 𝐷) ∴ (∼ 𝐴 ⊃ 𝐵) ⋅ (∼ 𝐷 ∨ 𝐶) Commutativity

2. (∼ 𝐸 ∨ 𝐹) ⋅ (𝐺 ∨ ∼ 𝐻) ∴ (𝐸 ⊃ 𝐹) ⋅ (𝐺 ∨ ∼ 𝐻) Material Implication

3. (𝐼 ⊃ ∼ 𝐽) ∨ (∼ 𝐾 ⊃ ∼ 𝐿)) ∴ (𝐼 ⊃ ∼ 𝐽) ∨ (𝐿 ⊃ 𝐾) Transportation

4. 𝑀 ⊃ ∼ (𝑁 ∨ ∼ 𝑂) ∴ 𝑀 ⊃ (∼ 𝑁 ⋅ ∼∼ 𝑂) Double Negative

5. [𝑃 ⊃ ( 𝑄 ∨ 𝑅)] ∨ [𝑃 ⊃ (𝑄 ∨ 𝑅)] ∴ 𝑃 ⊃ (𝑄 ∨ 𝑅) Idempotence

6. [𝑆 ⋅ (𝑇 ⋅ 𝑈)] ⊃ (𝑉 ≡ ∼ 𝑊) ∴ [(𝑆 ⋅ 𝑇) ⋅ 𝑈] ⊃ (𝑉 ≡ ∼ 𝑊) Associativity

7. [𝑋 ⋅ (𝑌 ⋅ 𝑍)] ⊃ (𝐴 ≡ ∼ 𝐵) ∴ 𝑋 ⊃ [(𝑌 ⋅ 𝑍) ⊃ (𝐴 ≡ ∼ 𝐵)] Exportation

8. (𝐶 ⋅ ∼ 𝐷) ⊃ (𝐸 ≡ ∼ 𝐹) ∴ (𝐶 ⋅ ∼ 𝐷) ⊃ [(𝐸 ⋅ ∼ 𝐹) ∨ (𝐸 ∙ ∼∼ 𝐹)] Material


Equivalence

9. (𝐺 ∨ 𝐻) ⋅ (𝐼 ⋅ 𝐽) ∴ [(𝐺 ∨ 𝐻) ⋅ 𝐼] ∨ [(𝐺 ∨ 𝐻) ⋅ 𝐽] Distributivity

10. (𝐾 ⋅ 𝐿) ⊃ {𝑀 ⋅ [(𝑁 ⋅ 𝑂) ⋅ 𝑃]} ∴ (𝐾 ⋅ 𝐿) ⊃ {𝑀 ⋅ [(𝑂 ⋅ 𝑁) ⋅ 𝑃]} Commutativity

You might also like