Abstract Math, Tautology

  • Thread starter joemama69
  • Start date
  • #1
399
0

Homework Statement


Find a statement for , S, equibalten to ~(P v Q) and show that it is logically equivalent by construction the truth table for "S if and only if ~(P v Q)" and showing that this statement form is a tautology.


Homework Equations





The Attempt at a Solution



My statment is

S: It is not Monday or it is not tuesday.

I'm not sure exactly how to set up the truth table. What would be my Column labels for S <-> ~(P v Q). Do in include the S or the <-> in the table.
 
Last edited:

Answers and Replies

  • #2
193
2
Note: ~(P v Q) is equivalent to (~P and ~Q). So your sample statement S does not work.
 
  • #3
399
0
right right right

S:It is not monday and it is not munday ... ~(PvQ) <->(~P ^ ~Q) which are equil and because they are equal they will be a tautology.

is it correct to say they are a tautology becasue it will be all truths in the truth table which is because ~(PvQ) and (~P ^ ~Q) have equal truths (F,F,F,T) and then because they are the same (F,F,F,T) they are then all truths for ~(PvQ) <->(~P ^ ~Q) column
 

Related Threads on Abstract Math, Tautology

  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
15
Views
3K
  • Last Post
Replies
19
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
3
Views
3K
Replies
5
Views
1K
Replies
2
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
6
Views
2K
Top