About this document
Moral Algebra Task Analysis by Abed Aguilera is a document available to read on EtoBox.
The document contains three truth tables analyzing conditional statements: (1) (P⇒Q)↔(¬Q⇒¬P), which tests whether implication is logically equivalent to the contrapositive; (2) (P⇒Q)↔(¬P∨Q), which tests whether implication is logically equivalent to disjunction of the negation of the antecedent and the consequent; and (3) P⇒(Q⇒¬R), which analyzes a nested conditional statement. Each truth table assigns truth values to the relevant atomic statements and compound statements to determine logical equivalences.
- Author
- Abed Aguilera
- Language
- EN