Use only the inference rules MP, MT, DS and HS for this quiz. For each proof, you must include (i.e., write) the premises in that proof.

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section1.2: Exponents And Radicals
Problem 16E
icon
Related questions
Question

Use only the inference rules MP, MT, DS and HS for this quiz. For each proof, you must include (i.e., write) the premises in that proof. Proofs without premises will lead to points being lost. YOU CANNOT USE CONDITIONAL PROOF (CP), INDIRECT PROOF (IP), OR ASSUMED PREMISES (AP). You will lose points if you use any of the inference rules Resolution, Contradiction, Transposition, Idempotence and Identity.  

1.Cつ(-D)~X)
/D (Note: /D means: prove D)
2. C
3. X
2.
1. AD -B
/C
2. B
3.~Aつ(Cv~B)
3.
1. AD ~D
|~~A
2.~Dつ(-Bv~~A)
3. А
4. B
1.
Transcribed Image Text:1.Cつ(-D)~X) /D (Note: /D means: prove D) 2. C 3. X 2. 1. AD -B /C 2. B 3.~Aつ(Cv~B) 3. 1. AD ~D |~~A 2.~Dつ(-Bv~~A) 3. А 4. B 1.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer