Learning Materials for Propositional Logic

This lecture notes discusses the indirect truth table method in determining the validity of an argument in symbolic logic.

This lecture notes discusses the ten (10) rules of inference used in determining and proving the validity of arguments in propositional logic.

This lecture notes discusses the ten (10) rules of replacement as another method that can be used to justify steps in the formal proof of validity.

This lecture notes presents exercises in propositional logic, which focuses on symbolizing statements in propositional logic.

This lecture notes discusses the topic “negation of statements in propositional (or symbolic) logic” or the way in which propositions or statements in symbolic logic are negated.

This lecture discusses the topic “punctuating statements in propositional (or symbolic) logic.”

This lecture notes discusses the topic “symbolizing statements in propositional (or symbolic) logic.”

This lecture notes discusses how to symbolize arguments in propositional or symbolic logic, which uses all the basic symbols, especially the use of parentheses.

This lecture notes discuses very briefly tautologies and contradictions in propositional or symbolic logic.

This lecture notes discusses "conjunctive statements" or conjunction understood as a compound statement connected by the word “and.”

This lecture notes discusses the topic "inclusive disjunction", a compound statement or proposition that is connected by the words “Either…or” or just “or.”

This lecture notes discusses "exclusive disjunction", a type of disjunction that is connected by the words “Either…or, but not both.”

This lecture notes discusses the topic "conditional propositions", a compound propositions connected by the words “If…then” or just “then.”

This lecture notes discusses "conditional statement", a compound statement that is connected by the words “If…then” or just “then.”