Logic Truth Table

- 600 - 300 BC = Classical Greek Period 1. Two Propositions (standard)

- Thales = first to formally analyze the reasoning proces.
p q
- Aristotle = “Father of Logic”
- George Bole = “Father of Symbolic Logic” T T

Proposition T F
> declarative sentence that is either true or false but not both
F T
true and false.
> it is usually denoted by small letters. F F
Truth Value
> value of a proposition that can be either true (T) or false (F) 2. Three Propositions (standard)

Different Types of Sentences

> Declarative - makes a statement/gives information/ (.) p q r
> Interrogative - ask a question/ (?)
T T T
> Imperative - gives a command/ (.) or (!)
> Exclamative - express strong emotion/ (!) T T F

2 Types of Proposition T F T
1. Simple P. - conveys a single thought or idea
T F F
2. Compound P. - more than one idea || formed by
combining simple proposition using connectives: F T T
and, or, if..then, if and only if
Four Basic Logical Operations F T F
1. Conjunction
F F T
- Symbol: /\
- Connective: and F F F
- Operation: Conjunction
- Rule: 1F = F - kapag magsasagot ng truth table laging last yung
2. Disjunction main operation
- Symbol: \/
- Connective: or Logical Equivalent
- Operation: Disjunction two propositions p&q are logically equivalent
- Rule: 1T = T denoted by p <=> q, if they have the same truth values of
3. Conditional their simple components
- Symbol: —> *dapat laging may conclusion pag logical equivalent
- Connective: if…then
- Operation: Conditional
- Rule: T — F = F
4. Biconditional
- Symbol: <—>
- Connective: if and only if
- Operation: Biconditional
- Rule: Same Truth Value
Addtl. Negation
- Symbol: ~ (s na nakahiga)
- Connective: not
- Operation: negation
- Rule: vice versa/opposite