construct a truth table for ~p-->~q
this is pretty straight forward. do you know how to start it?
no I don't
\[ \begin{array}{|c|c|c|c} p & q & \lnot{}p & \lnot{}q \\ \hline t & t & f & f \\ t & f & f & t\\ f & t & t & f \\ f & f & t & t \\ \hline \end{array} \]
the first two columns give the four possible combinations of \(p\) and \(q\) being true or false
the second two columns are the negation of each one that is, where \(p\) had a \(t\), we put \(\lnot p\) as \(f\) and vice versa
is that clear so far?
yes
for the last column we need to put \(\lnot p\implies \lnot q\) we look only at the second two columns, and ignore the first two
a statement of that form is only false is the first one is true and the second one is false. otherwise it is true you get \[\begin{array}{|c|c|c|c|c} p & q & \lnot{}p & \lnot{}q & \lnot{}p\Rightarrow{}\lnot{}q \\ \hline t & t & f & f & t \\ t & f &f & t & t \\ f & t & t & f & f \\ f & f & t & t & t \\ \hline \end{array}\]
takes a while to wrote these here
if you would like to generate your own truth table, which use 0 and 1 for F and T i can send you a link
ok I would like that
obviously you will have to do a little work to get the syntax correct, but they tell you what to write http://www.kwi.dk/projects/php/truthtable/?
make up your own and hit "display truth table" to get your answer
ok and thanks
Join our real-time social learning platform and learn together with your friends!