(1) 1. B ⊃ (∼ C ⋅ ∼ D) 2. C ∨ D 3. B /∴ ∼ D ⊃ C    (3) 1. A ⋅ ∼ B 2. B ⊃ A 3. A ⊃ B /∴ B    (5) 1. A ⊃ (B ∨ C) 2. ∼ (∼ A ∨ C) 3. ∼ B /∴ C

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question

Exercise 5-7 A. Prove that the following arguments all have inconsistent premises. please help with numbers 1-9

(1) 1. B ⊃ (∼ C ⋅ ∼ D)

2. C ∨ D

3. B /∴ ∼ D ⊃ C 

 

(3) 1. A ⋅ ∼ B

2. B ⊃ A

3. A ⊃ B /∴ B 

 

(5) 1. A ⊃ (B ∨ C)

2. ∼ (∼ A ∨ C)

3. ∼ B /∴ C 

 

(7) 1. K ⊃ (L ⊃ M)

2. N ∨ K

3. ∼ (∼ L ∨ M)

4. ∼ N /∴ K ⊃ (∼ M ∨ L)

 

(9) 1. A ⊃ (C ⊃ D)

2. ∼ A ⊃ (D ⊃ C)

3. (A ∨ ∼ A) ⊃ ∼ D

4. (A ⋅ D) ∨ (∼ A ⋅ ∼ D)

5. (C ⋅ D) ∨ (∼ C ⋅ ∼ D)

6. A /∴ D

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 4 steps

Blurred answer
Knowledge Booster
Fundamentals of Boolean Algebra and Digital Logics
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education