First slide

Introduction to mathematical reasoning

Question

The proposition $p \to\sim (p \land ~ q)$ is

Moderate

A

a contradiction
B

a tautology
C

either (1) or (2)
D

neither (1) nor (2)

Solution

p q $~ q$ $p \land ~ q$ $~ (p \land ~ q)$ $p \to\sim (p \land ~ q)$
T T F F T T
T F T T F F
F T F F T T
F F T F T T
Result is neither tautology nor contradiction.

Get Instant Solutions

When in doubt download our app. Now available Google Play Store- Doubts App

Recieve an sms with download link

Doubts App

OR

SCAN ME

Doubts App

Doubts App