Question 980260
If "T" is a truth value constant (representing True), then ~T is false


The conclusion is always false. The premise T v P is always true because of the "T". The premise P has the possibility of being true if P = T. So as long as P = T, then all premises are true with a false conclusion. So this leads to an <font color="red">invalid</font> argument.


Truth table:


<table border=1><tr><th>T v P</th><th>P</th><th>~T</th></tr><tr><td>T</td><td>T</td><td>F</td></tr><tr><td>T</td><td>F</td><td>F</td></tr></table>