by Albert Major

Introduction to Logic

Truth-Functionality:

• TFL (Truth-Functional Logic) sentences are made of atomic sentences connected by logical operators
• All TFL connectives are truth-functional
• Truth-functional: The truth value of a complex sentence depends only on the truth values of its parts
• TFL ignores nuances like tone or emphasis in natural language

Truth Tables:

• Tools used to show how the truth value of a complex sentence depends on its parts
• Use 'T' for true and 'F' for false
• Each row represents a possible combination of truth values (called a valuation)

Characteristic Truth Tables:

• Show how each logical operator works
• Negation (¬): Flips the truth value
• Conjunction (∧): True only when both parts are true