symbolic logic
DESCRIPTION
TRANSCRIPT
![Page 1: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/1.jpg)
SYMBOLIC LOGICStatemen
tConnectiv
esQuantor validity
How to prove?
![Page 2: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/2.jpg)
SYMBOLIC LOGIC
Statement
Open Sentenc
e
Variable &
Constanta
Statement
Connectives
Quantor validityHow to prove?
![Page 3: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/3.jpg)
SYMBOLIC LOGIC
Statement
Open Sentenc
e
Variable &
Constanta
A statement is a declarative sentence, which is to saya sentence that is capable of being true or false.The following are examples of statements.
it is rainingI am hungry2+2 = 4God exists
On the other hand the following are examples of sentences that are not statements.
are you hungry?shut the door, please#$%@!!! (replace ‘#$%@!!!’ by your favorite expletive)
Statement
Connectives
Quantor validityHow to prove?
![Page 4: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/4.jpg)
SYMBOLIC LOGIC
Variable is a symbols which is point to
unspecified members of the universal
Constant is a symbol which is point to
specific element in the universal
Example:
An straight line equation y = 2x + 3
Which one are variables or constant?
Statement
Connectives
Quantor validityHow to prove?
Statement
Open Sentenc
e
Variable &
Constanta
![Page 5: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/5.jpg)
SYMBOLIC LOGIC
Open sentence is a sentence with variables and
if the variables was substituted with the constat
in the universal then you can determine it is true
statement or wrong statement
Statement
Connectives
Quantor validityHow to prove?
Statement
Open Sentenc
e
Variable &
Constanta
![Page 6: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/6.jpg)
SYMBOLIC LOGICStatemen
tConnectiv
esQuantor validity
How to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 7: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/7.jpg)
SYMBOLIC LOGIC
Negation
Conjunction
Disjungtion
Implication
Biimplication
A (statement) connective is an expression
with one or more blanks (places) such that,
whenever the blanks are filled by statements the
resulting expression is also
a statement.
Simple statement is a a statement that is not
constructed out of smaller statements by the
application of a statement connective
Compound statement is a statement that is
constructed from one or more
simplestatements by the application of a
statement connective.
Statement
Connectives
Quantor validityHow to prove?
![Page 8: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/8.jpg)
SYMBOLIC LOGIC
Negation of a statement is a new statement
which is true if the truth of the first statement is
false and conversely.
Symbolized by : or ¬ or ~
Means: “ not”, “no”, “it is not true (false) that”,
“it cannot be that”, it is imposible that”, etc
Example:
1. p :This two things are similar
2. ~p: this two things are not simmilar
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 9: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/9.jpg)
SYMBOLIC LOGIC
This issummarized in the following truth tables.
Note: ~d has the opposite truth value of d.
p ~ p
B S
S B
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 10: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/10.jpg)
SYMBOLIC LOGIC
Disjunction is corresponds roughly to the English ‘or’.The symbol for disjunction is “ ˅ “ (wedge).In English, the word ‘or’ has at least two different meanings, or senses, which are respectively called the exclusive sense and the inclusive senseSo there are two types of disjunction:1. Inclusive DisjunctionA disjunction p ˅ q is false if both disjuncts are false;otherwise, it is true
2. Exclusive DisjunctionA disjunction p ˅ q is false if both disjuncts are the same truth; otherwise, it is true
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 11: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/11.jpg)
SYMBOLIC LOGIC
Conjunction is corresponds to the English
expression ‘and’.
The symbol for conjunction is “ ˄ “
Deffinition:
A conjunction p ˄ q is true if both conjuncts are
true;
otherwise, it is false
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 12: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/12.jpg)
SYMBOLIC LOGIC
the conditional connective is corresponds to the
expression
if ___________, then ___________.
The symbol used to abbreviate if-then is the
arrow (→)
‘if’ introduces the antecedent
‘then’ introduces the consequent
A conditional d → f is false if the antecedent d is
true and the consequent f is false; otherwise, it is
true.
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 13: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/13.jpg)
SYMBOLIC LOGIC
the biconditional is corresponds to the
English
______________if and only if _______________
The symbol for the biconditional connective is ‘
↔ ’
A biconditional d ↔ e is true if its constituents
have the same truth value; otherwise,it is false
Statement
Connectives
Quantor validityHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 14: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/14.jpg)
Statement
Connectives
QuantorHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 15: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/15.jpg)
Statement
Connectives
QuantorHow to prove?
Negation
Conjunction
Disjungtion
Implication
Biimplication
![Page 16: Symbolic logic](https://reader036.vdocuments.net/reader036/viewer/2022082804/5490b31bb47959bc588b4585/html5/thumbnails/16.jpg)