MMW Propositional Logic
MMW Propositional Logic
More on Propositions
In logic, statements are usually represented
symbolically by the lowercase letters to represent
propositional variables, i.e., variables that can be
replaced by statements.
Atomic proposition – a statement that is not
decomposable into simple statement
Compound proposition – a statement
formed over the composition of different
statements through logical connectives.
Logical Connectives
These are the devices used to link or join pairs of
statement.
Negation [“not”]
Negation moreover, furthermore, yet, still, however,
Let p be a proposition. The statement “It’s not the also, nevertheless, although, and so forth,
case that p” is called negation of p. It is denoted comma (,) and colon (:) are also used to
as ¬p or ~p read as “not p”. conjoin two propositions
Inserting in statement the word “not”.
It is false that p. Conjunction: Truth Table
It is not the case that p p q p^q
Remark: The symbol “~“ is called curl or tilde 1 1 1
and is used to symbolize negation (or denial or 1 0 0
contradictory). Other symbols like “-” and “>”
0 1 0
can also be used as negation.
0 0 0
Negation: Examples
p: “Today is Friday.”
~ p: “Today is not Friday.” Conjunction: Examples
~ p: “It is not the case that today is Friday.” p: “Today is Friday”
~ p: “It is false that today is Friday.” q: “It is raining today”
p: “The sun is not shining.” p^q: “Today is Friday and it is raining today”
Correct Case:
~ p: “The sun is shining.” p: “I am sick”
~ p: “ It is not the case that the sun is q: “I cannot take the exam”
not shining.” p^q: “I am sick and I cannot take the exam”
Wrong Case/s: [It introduces ‘double
negation’.] Disjunction
~ p: “It is not the case that the sun is shining.” Let p and q be propositions. The “disjunction of
~ p: “It is false that the sun is shining.” p and q” is denoted by p v q. This is also read as
p: “Five is an even number.” “p or q”.
p: “I like Math.” INCLUSIVE OR: If p and q are
propositions then p OR q is true if either p
Negation: Truth Table is true or q is true or if both p and q are true.
p ~p EXCLUSIVE OR: If p and q are
1 0 propositions, the “exclusive or” of p and q
0 1 is denoted as p ⊕ q. This means that strictly
one of the propositions must true in order
Compound Propositions for the exclusive disjunction to be true.
It is a combination of propositions formed from Note: “unless” may also be used in
existing propositions using logical connectives. expressing the disjunction of two
propositions.
Propositional Connectives
It is an operation that combines two propositions Disjunction: Truth Tables
to yield a new one whose truth value depends
only on the truth values of the two original Inclusive Disjunction Exclusive Disjunction
propositions. p q pvq p q p⊕q
1 1 1 1 1 0
Conjunction 1 0 1 1 0 1
Let p and q be propositions. The propositions “p 0 1 1 0 1 1
and q” is denoted by p ∧ q. This is also read as 0 0 0 0 0 0
“the conjunction of p and q”. The conjunction “p
^ q” is true if both p and q are true. Inclusive Disjunction: Examples
NOTE: p: “Plaridel is the capital of Bulacan”
“but” has the same logical meaning as “and” q: “Malolos is one of the cities found in Region
Other words used to conjoin two propositions III”
pvq: “Plaridel is the capital of Bulacan or Malolos If it is not a long weekend, then Lucky is not
is one of the cities found in Region III” going to watch Riverdale.
If it is a long weekend, then I will stay at home.
p: “3 is an even number” I will stay at home if it is a long weekend.
q: “A century is 100 years” I will stay at home whenever it is a long
pvq: “3 is an even number or a century is 100 weekend.
years.”
Note on Conditional Proposition
Exclusive Disjunction: Examples p → q is false when p is true and q is false [a
p: “I am looking at my seatmate” true statement cannot imply a false one]
q: “I am looking at my teacher”
p⊕ q: “I am looking at my seatmate or I am Example
looking at my teacher” p: “1 > 2” F
q: “4 < 8” T
p: “I can take a plane going to Romblon” p→q: “If 1 > 2 then 4 < 8” T
q: “I can take a ferry going to Romblon” p→q: “If 4 < 8 then 1 > 2 “ F
p⊕q: “I can take a plane or a ferry going to
Romblon”
As observed, the truth values for the conjunction
Note on Compound Propositions - “p ∧ q” and “q ∧ p” are always the same.
To connote groupings: Also, the truth tables for the disjunction “p ∨
“both” goes with “and” q” and “q ∨ p” are identical.
“either” goes with “or” However, it is false that the truth values for p →
“neither p nor q” is the same as “not either p or q” q and q → p are the same as seen in the previous
example.
Conditional Propositions
If p and q are propositions, the compound Conditional Proposition: Truth Table
statement “if p, then q” is called an implication or
conditional statement and is denoted by p → q: p q p→q
p is called the hypothesis (or antecedent) 1 1 1
q is called the conclusion (or consequent) 1 0 0
NOTE: 0 1 1
p→q is equivalent to the following expressions: 0 0 1
p implies q, If p then q, q if p, q whenever p,
p is sufficient for q, p is necessary for q Given the conditional proposition p → q, then
the converse of p → q is the implication q
Conditional Propositions: Example → p,
p: “I am late” the contrapositive of p→ q is the
q: “I cannot take the seatwork” implication ~q→ ~p,
p→ q: “If I am late then I cannot take the the inverse of p → q is the implication of
seatwork.” ~p→~q
Argument
an argument is a sequence of propositions
written as p1 , p2 , …, pn / q
Deductive or indirect reasoning
process of reaching a conclusion from one or
more statements called hypothesis.
set of statements in which one of the statements
is called the conclusion and the rest comprise
the hypothesis.
The propositions p1 , p2 , …, pn are called the
hypothesis and the proposition q is called the
conclusion.
An argument is valid argument if all the
premises p1^, p2^, …, pn^are all true (1) and
truth value of the conclusion q, must also be true
(1); otherwise, the argument is invalid if the
truth value of all premises is true (1) but the
truth value of the conclusion is false (0)
An argument is valid if it is tautology.
[∴ This is a VALID argument.]