Question

Suppose I first assume “P AND q AND r” and derive a contradiction. Then I start over, assume “P AND NOT q AND NOT r”, and derive another contradiction. Then P itself must be a contradiction, and thus “NOT p” is a tautology.

Name: suppose i first assume p and q and r and derive a contradiction then i start over assume p and not q and not r and derive another contradiction then p itself must be a contradiction and thus 55075
Uploaded: 2023-09-29T18:34:13-08:00
Duration: 1 min 40 s
Channel: Sri K
Description: suppose i first assume p and q and r and derive a contradiction then i start over assume p and not q and not r and derive another contradiction then p itself must be a contradiction and thus 55075

          Suppose I first assume “P AND q AND r” and derive a contradiction. Then I start over, assume “P AND NOT q AND NOT r”, and derive another contradiction. Then P itself must be a contradiction, and thus “NOT p” is a tautology.

Added by Timothy C.

Computer Science and Information Technology

Trishna Knowledge Systems 2018 Edition

Instant Answer

Solved by Expert Sri K

09/29/2023

Step 1

** Show more…

Show all steps

Thanks for your feedback!

Suppose I first assume “P AND q AND r” and derive a contradiction. Then I start over, assume “P AND NOT q AND NOT r”, and derive another contradiction. Then P itself must be a contradiction, and thus “NOT p” is a tautology.