You are on page 1of 6

General Mathematics – Week 9

PROPOSITIONAL
LOGIC
Most Essential Learning Competencies:
 Illustrates and symbolizes propositions.
 Performs the different types of operations on propositions.
 Determines the truth values of propositions
 Illustrates the different forms of conditional propositions.
 Illustrates different types of tautologies and fallacies
 Determines the validity of categorical syllogisms.
 Establishes the validity and falsity of real-life arguments using logical propositions,
syllogisms, & fallacies.
What Logic Is

Propositions and Arguments


Basic Recognizing Arguments
logical Arguments and Explanations

concepts Validity and Truth


What Logic Is
Logic is the study of the methods and principles used to distinguish correct
from incorrect reasoning.
When we reason, we produce arguments to support our conclusions.
The arguments include reasons that we think justify our beliefs.
However, NOT all reasons are GOOD reasons.
You need to ask:
Does the conclusion reach follow from the premises assumed?
In reasoning, we construct and evaluate arguments. Arguments are built with
propositions.
Propositions and Arguments
Propositions are building blocks of our reasoning.
A proposition asserts that something is the case or it asserts that something is
not.
We may affirm or deny a proposition, therefore, a proposition is either true
or false.
The term statement is not an exact synonym for a proposition, but it is often
used in logic in the same sense.

A statement is a proposition; that is typically asserted by a declarative sentence. Every


statement must be either true or false, although the truth or falsity of a given statement
may be unknown.
Propositions and Arguments
With propositions as building blocks, we construct arguments.
In an argument, we affirm one proposition on the basis of some other
propositions. In doing this, an inference is drawn.
Inference is a process by which one proposition is arrived at and affirmed on
the basis of some other proposition/s.
A cluster of propositions constitutes an argument.
In logic, argument refers strictly to any group of propositions of which one is
claimed to follow from the others, which are regarded as providing support for
the truth of that one. For every possible inference, there is a corresponding
argument.

You might also like