- #1

- 34

- 0

## Homework Statement

Determine if the following is a tautology:

((p → q) Ʌ (q → p) → (p Ʌ q)

I don´t know how to show this. Can somebody pls show me all the steps

- Thread starter aeronautical
- Start date

- #1

- 34

- 0

Determine if the following is a tautology:

((p → q) Ʌ (q → p) → (p Ʌ q)

I don´t know how to show this. Can somebody pls show me all the steps

- #2

Cyosis

Homework Helper

- 1,495

- 0

p|q|p → q|q → p|(p → q) Ʌ (q → p)|p Ʌ q|((p → q) Ʌ (q → p) → (p Ʌ q)

T|T|

T|F|

F|T|

F|F|

Now finish this table, if the last column yields true for all possible values for p and q then ((p → q) Ʌ (q → p) → (p Ʌ q) is a tautology.

- #3

- 34

- 0

im sorry but im lost. this is very tricky. i dont understand this table

p|q|p → q|q → p|(p → q) Ʌ (q → p)|p Ʌ q|((p → q) Ʌ (q → p) → (p Ʌ q)

T|T|

T|F|

F|T|

F|F|

Now finish this table, if the last column yields true for all possible values for p and q then ((p → q) Ʌ (q → p) → (p Ʌ q) is a tautology.

- #4

Cyosis

Homework Helper

- 1,495

- 0

Lets finish the first row:

p and q are true so q->p is true and p->q thus (p → q) Ʌ (q → p) is true. On the other hand we have p Ʌ q which is true so now we have all components that we want. So we can conclude, since (p → q) Ʌ (q → p) is true and (p Ʌ q) is true, ((p → q) Ʌ (q → p) → (p Ʌ q) must be true.

Now try to work your way through the other values of initial p and q. Note that I put all possible combinations in the first two columns.

- Replies
- 2

- Views
- 34K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 15

- Views
- 3K

- Last Post

- Replies
- 7

- Views
- 2K

- Last Post

- Replies
- 9

- Views
- 1K

- Last Post

- Replies
- 17

- Views
- 2K

- Last Post

- Replies
- 6

- Views
- 1K

- Last Post

- Replies
- 3

- Views
- 874

- Last Post

- Replies
- 7

- Views
- 523

- Replies
- 4

- Views
- 762