Is It is not Monday and it is not Tuesday Equivalent to ~(P v Q)?

joemama69
Messages
390
Reaction score
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 statement 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:
Physics news on Phys.org
Note: ~(P v Q) is equivalent to (~P and ~Q). So your sample statement S does not work.
 
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
 

Thread 'Prove that the integral is equal to ##\pi^2/8##'

Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
View full post »

Similar threads

Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
Replies
3
Views
2K
Show that two quantified statements are logically equivalent
Replies
6
Views
2K
Equivalence of Implications: P, Q, and R
Replies
2
Views
4K
Discrete Mathmatics :logically equivalent
Replies
7
Views
5K
I ##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?
Replies
31
Views
1K
Translating statements (discrete math)
Replies
1
Views
2K
Prove ##|\{ q\in\mathbb{Q}: q>0 \} |=|\mathbb{N}|##.
Replies
3
Views
2K
Prove that the complement of a closed set is open
Replies
1
Views
6K
Universal and Existential Qualifiers
Replies
2
Views
2K
Is P -> ~(Q ^ ~P) a Tautology or Contradiction?
Replies
15
Views
3K

Hot Threads

Recent Insights

Back
Top