Question

\[\begin{array}{ccccc}\phi & \neg \phi & \psi & \phi \Rightarrow \psi & \neg \phi \vee \psi \\ \hline \\T&F&T &T&?\\T&F&F&F&?\\F&T&T&T&?\\F&T&F&T&?\end{array}\]

Answer 1

T
F
T
F

Answer 2

i think i made a mistake in the table already

Answer 3

sorry about that

Answer 4

¬ϕ∨ψ means if either ¬ϕ is true or either ψ is true or both are true then the answer is true otherwise it is false
¬ϕ is false but ψ is true so the answer is true,
and so on

Answer 5

post your question again and right!!

Answer 6

\[\begin{array}{ccccc}\phi & \neg \phi & \psi & \phi \Rightarrow \psi & \neg \phi \vee \psi \\ \hline \\T&F&T &T&T\\T&F&F&F&F\\F&T&T&T&T\\F&T&F&T&T\end{array}\]

is that right?

Answer 7

it makes sense now, your answer form before , was right for the table i posted originally

Answer 8

last one is wrong one of ψ and ¬ϕ is true, so how can it be true.....!!!
check this!
http://www.hermit.cc/teach/ho/dbms/optable.htm

Answer 9

?

Answer 10

hmmm It seems to be that you are correct Unkle

Answer 11

me*

Answer 12

I cant seem to find where you went wrong. Everything seems correct

Answer 13

cool, what about this one

\[\begin{array}{cccccc}\phi & \psi & \neg\psi & \phi \Rightarrow \psi & \phi \not\Rightarrow \psi &\psi\wedge\neg\psi\\ \hline \\T&T &F&T&\\T&F&T&F&\\F&T&F&T&\\F&F&T&T&
\end{array}\]

Answer 14

The last column is obv false

Answer 15

I am not sure what that sign is of the second to last column

Answer 16

You were correct above, proving that the statements are logically equivalent