Scribd
Upload
70 views1 page

GEN MATH - Reviewer

Logic originated in Classical Greek period from 600-300 BC. Key figures include Thales, who formally analyzed reasoning, and Aristotle, known as the "Father of Logic". Logic analyzes propositions, which are declarative sentences that can be true or false. Propositions are denoted by small letters and have a truth value of either true or false. Truth tables are used to determine the truth values of propositions and logical operations like conjunction, disjunction, conditional, and biconditional. Negation changes the truth value of a proposition to its opposite.

Uploaded by

njlexbackupacc
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
70 views1 page

GEN MATH - Reviewer

Logic originated in Classical Greek period from 600-300 BC. Key figures include Thales, who formally analyzed reasoning, and Aristotle, known as the "Father of Logic". Logic analyzes propositions, which are declarative sentences that can be true or false. Propositions are denoted by small letters and have a truth value of either true or false. Truth tables are used to determine the truth values of propositions and logical operations like conjunction, disjunction, conditional, and biconditional. Negation changes the truth value of a proposition to its opposite.

Uploaded by

njlexbackupacc
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

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

You might also like