Finals- Lesson 1: Logical Connectives and Truth Table

• Logic- is the language of reason.
• Statement- is a declarative sentence that is either TRUE or FALSE but not BOTH.
• Compound Statement- it is a statement that conveys two or more ideas.
• Truth Table- is a tabulation of possible truth values of a statement depending on the value of its constituent statements.
•  Logical Connectives- these are operations that allow us to combine statements to form compound statements.
• Types of Logical Connectives: Conjunction, Disconjunction, Conditional, Biconditional, and Negation
• Conjunction- given two statements p and q, the connective AND also called conjunction and denoted by p^q
• A conjuction of two statements is TRUE if both statements are TRUE.
•  Disconjunction- given two statements p and q, the connective OR is also called disconjuction and denoted by p v q
• A disjunction of two statements is FALSE if both statements are FALSE.
• An implication is FALSE only when a TRUE hypothesis leads to a FALSE conclusion. In all other cases, it is TRUE.
• A biconditional statement of p and q is TRUE when both statements have the same truth value.
• The negation Not of the statement p is indicated by   -p , also read as “not p”