Truth Tables if then

[kluda06]

U	W	~U	W->~U	U ->W	(W->~U)^(U->W)
T	T	F	F	T	F
T	F	F	F	F	F
F	T	T	F	T	F
F	F	T	F	T	F

The question I have is this TAUTOLOGY? I am very confused when i get to the (W if then NOT U). Am I right? can someone help me out please.

Oh yeah the question is if this was tautology, contradiction, or neither

 

[Ishuda]

U	W	~U	W->~U	U ->W	(W->~U)^(U->W)
T	T	F	F	T	F
T	F	F	F	F	F
F	T	T	F	T	F
F	F	T	F	T	F

The question I have is this TAUTOLOGY? I am very confused when i get to the (W if then NOT U). Am I right? can someone help me out please.

Oh yeah the question is if this was tautology, contradiction, or neither

I'm confused by your question. Do you mean is the "if W then NOT U" [W->~U] column correct? If so, the answer is no. That column is not correct.
Thus, what you have filled in for (W->~U)^(U->W) is not totally correct either. You might want to look at
https://en.wikipedia.org/wiki/Truth_table
for example.

 

[stapel]

the question is if this was tautology, contradiction, or neither

What, in logical terms, is a "tautology"? What, in logical terms, is a "contradiction"?

U	W	~U	W->~U	U ->W	(W->~U)^(U->W)
T	T	F	F	T	F
T	F	F	F	F	F
F	T	T	F	T	F
F	F	T	F	T	F

The question I have is this TAUTOLOGY? I am very confused when i get to the (W if then NOT U).

Which part(s) of the table above were you "given", and which part(s) have you filled out yourself? Or were you, say, given the statement "'If W, then not-U' and also 'If U, then W'", and asked to determine the logical truth value, and the instructions said to use a truth table to figure out your answer?

Please be specific. Thank you!