NATURE OF THEORY Flashcards
- is commonly known as the science of reasoning. Mathematical reasoning and arguments are based on the rules of logic.
Logic
- is any meaningful statement that is either true or false, but never both.
Proposition
• We use letters _____ . to represent propositions.
a, b, c, p, q, r,..
The truth value of a proposition is either
true (T or 1) or false (F or 0).
New propositions called _____ can be obtained from old ones by using propositional connectives or logical connectives or operators.
•
compound propositions
The propositions that form compound propositions
•
propositional variables.
provides the truth value for the result of applying the operation on each possible set of truth values for the operands.
truth table
Conjunction of p and q
(AND ^)
TRUE OR FALSE
p= TRUE
q= TRUE
p^q=
p^q= TRUE
Conjunction of p and q
(AND ^)
TRUE OR FALSE
p= TRUE
q= FALSE
p^q=
p^q= FALSE
Conjunction of p and q
(AND ^)
TRUE OR FALSE
p= FALSE
q= TRUE
p^q=
FALSE
Conjunction of p and q
(AND ^)
TRUE OR FALSE
p= FALSE
q= FALSE
p^q=
FALSE
Disjunction of p and q
(OR v)
TRUE OR FALSE
p= TRUE
q= TRUE
p v q=
TRUE
Disjunction of p and q
(OR v)
TRUE OR FALSE
p= TRUE
q= FALSE
p v q=
TRUE
Disjunction of p and q
(OR v)
TRUE OR FALSE
p= FALSE
q= TRUE
p v q=
TRUE
Disjunction of p and q
(OR v)
TRUE OR FALSE
p= FALSE
q= FALSE
p v q=
FALSE
If p and q are two statements, “if p, then q” is a statement called
an implication, or a conditional statement,
Conditional statement is written as p→q
p is called and q is called
p = hypothesis or premise, or antecedent,
q = conclusion or consequence.
Conditional Statements
( IF AND THEN p→q)
TRUE OR FALSE
p= TRUE
q= TRUE
p→q=
TRUE
Conditional Statements
( IF AND THEN p→q)
TRUE OR FALSE
p= TRUE
q= FALSE
p→q=
FALSE
Conditional Statements
( IF AND THEN p→q)
TRUE OR FALSE
p= FALSE
q= TRUE
p→q=
TRUE
Conditional Statements
( IF AND THEN p→q)
TRUE OR FALSE
p= FALSE
q= FALSE
p→q=
TRUE
WHAT IS THE NEGATION OF TRUE (~T)?
FALSE
WHAT IS THE NEGATION OF FALSE (~F)?
TRUE
Compound proposition can be obtained from old ones by using
propositional connectives or logical connectives or operators.