| symbols: | meanings: | *This program assumes that if there is more than one statement, it is an argument and the last sentence is the conclusion. *A pound sign (#) at the far right of a row indicates that those truth values show that the argument is invalid *Never have more than two values in each in a set of parentheses. e.g. Don't write Bv(A*B*C) Examples:
~pv(b=e).r*~(e>r).~b=(p*r) |
| ~ | negation | |
| * | conjuction | |
| v | disjunction | |
| = | biconditional | |
| > | conditional | |
| . | sentence delimiter |