Question 470994
<table border=1 cellpadding=5><th>p</th><th>q</th><th>~q</th><th>p --> ~q</th><tr><td>T</td><td>T</td><td>F</td><td>F</td></tr><tr><td>T</td><td>F</td><td>T</td><td>T</td></tr><tr><td>F</td><td>T</td><td>F</td><td>T</td></tr><tr><td>F</td><td>F</td><td>T</td><td>T</td></tr></table>


Notes: p --> q is only false when p is true and q is false (otherwise, it's true). Also, ~q is the opposite of q.