What 7 concepts are covered in the Modus Ponens Calculator?

conjunction

a word used to connect clauses or sentences or to coordinate words in the same clause

disjunction

a binary connective classically interpreted as a truth function the output of which is true if at least one of the input sentences (disjuncts) is true, and false otherwise

equivalence

the state or property of being equivalent.

modus ponens

If conditional statement if p then q p --> q

negation

reverses the truth value of a given statement. ~

proposition

a declarative sentence that is either true or false (but not both)

truth table

a table that shows how the truth or falsity of a compound statement depends on the truth or falsity of the simple statements from which it is constructed.