Week 016-017-Module Key Concepts of Propositional Logic Syllogisms and Fallacies - Part 001
Week 016-017-Module Key Concepts of Propositional Logic Syllogisms and Fallacies - Part 001
1
Propositional Logic; Syllogisms and Fallacies – Part 001
Proposition
The logic is a system based on propositions. One needs to understand what
propositions are and identify statements as proposition or not to be able to
justify arguments using logic.
Definition of terms:
1. Logic is the systematic study of the form/s of arguments. Logic is used to
prove or disprove arguments.
2. An argument is a series of statements typically used to persuade someone
of something or to present reasons for accepting a conclusion.
3. A statement is a meaningful declarative sentence.
4. A proposition is a statement that is either true or false (not both). We say
that the truth value of a proposition is either true (T) or false (F).
To be able to clearly and efficiently use logic for proof and disproof, one
needs to be able to understand propositions.
Reminder: A propositions needs to have a truth value. A sentence without a
truth value is not a proposition but a mere statement. Note that a proposition
should only have one value. It should only be either true or false and not
both. In logic, statements can be in words or numerical format.
Examples
1. “Mammals are bigger than insects.”
Course Module
This is a statement as it states a meaningful sentence. This is also a
proposition as it has a truth value which is true. No insects are bigger
than any mammal.
2. “ ”.
This is a statement. It is a numerical statement. This is also a proposition
as it has a truth value which is false. This is read as “five hundred is less
than three hundred” which in mathematical perspective is false as five
hundred is not less than three hundred but is the opposite which is
greater.
3. “ ”.
This is a statement as it is a mathematical statement. This is not a
proposition. Although it could have a truth value, one cannot determine
its truth value unless an exact numerical value is given to . Example, if
, the statement is false. If , then the statement is true.
4. “I will get a perfect score in the Logic exam.”
This is a declarative sentence. Although the truth value of the statement
can only be known after the results of the exam is given, we know that the
value can only be either true or false. If I got 100 percent of the questions
correct, then the value is true. Otherwise, the value is false.
For a declarative sentence to be a proposition, it is not necessary that its
truth value be immediately known.
5. “Please do not fall asleep.”
Although the example is a sentence, it is not a statement. This is an
imperative sentence and not declarative which means it cannot be a
statement. Moreover, since it is not a statement, it cannot be a
proposition nor can it have a truth value.
Symbolizing Propositions
In the study of logic, propositions are commonly symbolized to make
computations easier.
Propositions are normally symbolized using a small letter.
Example:
This can be read as “p is the proposition “Mammals are bigger then insects.””.
Operations on Propositions
Logical Operators
The previous section introduced you to several logical operators that you will
be seeing and using throughout the remainder of this module. These logical
operators can be used to populate a truth table for the determination of the
truth value of simple and compound propositions.
Truth Table
In logic, given a proposition, a truth table shows all the possible truth values
of a proposition.
Example: (for a simple proposition)
The truth table is
p q ~p ~q
Course Module
T T F F T T T
T F F T F T F
F T T F F T T
F F T T F F T
Examples:
1.
2.
3.
4. ( )
5. ( )
References
Albay, Eduard M., et al., (2016). General Mathematics. Makati City: Diwa
Learning Systems, Inc.
Course Module