Professional Documents
Culture Documents
The Nature of Logic
The Nature of Logic
PROBLEM
LOGIC
SOLVING USING
LOGIC CIRCUITS
2.1 DEDUCTIVE REASONING
TERMINOLO
GY ORDER OF
OPERATIONS
CONJUNCTIO
N
NEGATION
DISJUNCTIO
N
TERMINOLOGY
ARGUMENT
1. If you read the Times, then you are well informed.
2. You read the Times.
3. Therefore, you are well informed.
If 1 and 2 are true = 3 also true.
1 and 2 are called the hypotheses.
3 is called the conclusion.
This is called Deductive Reasoning.
CONJUNCTION
If p and q represent two simple statements, then “p and
q” is the compound statement.
Using operator called conjunction.
p q p and q
TRUE TRUE TRUE
TRUE FALSE FALSE
FALSE TRUE FALSE
FALSE FALSE FALSE
DISJUNCTION
The operator or, denoted by .
The meaning of this simple word is ambiguous.
“p q” means “p or q”.
p q p or q
TRUE TRUE TRUE
TRUE FALSE TRUE
FALSE TRUE TRUE
FALSE FALSE FALSE
NEGATION
The operator not, denoted by ~, is called negation.
The negation of a true statement is false.
statement Negation
All Some…not
Some No
Some…not All
no some
ORDER OF OPERATIONS
Parentheses “( )” are used to indicate the order of
operations.
~ (n c) = the negation of the statement “n and c”.
“not n and c”.
The converse ia q p
Inverse: ~p ~q
Contrapositive: ~q ~p
OPERATORS
AND LAWS OF
LOGIC
IMPLICATIO
NS, AND
LOGICAL
EQUIVALEN
CE.
BICONDITIONAL
p q
Also writen as
p q
p=q
p EQ q
DEFINITION OF BICONDITIONAL
p q p q
T T T
T F F
F T F
F F T
1. p if and only if q.
2. q if and only if p.
3. If p then q, and conversely.
4. If q then p, and conversely
The set of logical possibilities for which a given
statement is true is called its truth set.
A logical statement in which the conclusion is equivalent
to the premise is called a tautology.
This mean that a compound statement is a tautology if
you obtain only Ts on a truth table.
EXAMPLE
p q pVq ~q ~q→p (p V q) → (~ q → p)
T T T F T T
T F T T T T
F T T F T T
F F F T F T
De Morgan’s Laws
~ (p V q) ⇔ ~p Λ ~q
~ (p Λ q) ⇔ ~p V ~q
p q p Λ q ~ (p Λ ~p ~q ~p V ~ (p Λ q) ⇔ ~p
q) ~q V ~q
T T T F F F F T
T F F T F T T T
F T F T T F T T
F F F T T T T T
THE NATURE OF PROOF
DIRECT
REASONING
INDIRECT
REASONING FALLACY OF
THE
TRANSITIVE CONVERSE
REASONING FALLACY OF
THE
LOGICAL PROOF INVERSE
FALSE CHAIN
FALLACIES PATTERN
DIRECT REASONING
Consist of two premises, or hypotheses and a conclusion.
p q if you receive an A on the final, then you will
pass the course.
you receive an A on the final.
therefore, you pass the course.
also called modus ponens, law of detachment or
assuming the antecedent.
INDIRECT REASONING
p q If you receive an A on the final, then you will pass the
course.
you did not pass the course.
therefore, you did not receive an A on the final.
Also called modus tollens or denying the consequent.
1. Haiwan, tumbuhan dan manusia perlukan air, udara dan makanan untuk
hidup.
Oleh itu, semua hidupan perlukan air, udara dan makanan untuk hidup.
AND-gate
OR-gate
NOT-gate