Scribd
Upload
6 views10 pages

11 Logic Statement and Quantifiers

The document provides an overview of logic statements and quantifiers, highlighting the importance of logic in reasoning. It includes definitions, examples of propositions, and symbolic representations of logical statements and their negations. Additionally, it presents exercises for practicing the conversion of statements into symbolic form and their negations.

Uploaded by

Kirby Cotingjo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
6 views10 pages

11 Logic Statement and Quantifiers

The document provides an overview of logic statements and quantifiers, highlighting the importance of logic in reasoning. It includes definitions, examples of propositions, and symbolic representations of logical statements and their negations. Additionally, it presents exercises for practicing the conversion of statements into symbolic form and their negations.

Uploaded by

Kirby Cotingjo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 10

LOGIC STATEMENTS AND

QUANTIFIERS
Gottfried Wilhelm Leibniz (1646-1716)- One of
the first mathematician who studied the symbolic
logic.

What is logic?
Logic is the science of correct reasoning.

-It helps us to differentiate correct reasoning from


poor reasoning.
1. Florida is a state in the United States.PROPOSITION T

2. Cebu is the Capital city of the Philippines.PROPOSITION

3. How are you? NOT – interrogative


sentence
4. Open the door. NOT – imperative sentence

5. y > 3. PROPOSITION
It is known as an open statement.
For any given value of x, it is true or
false but not both
Let’s practice

NOT

propositio
n

propositio
propositio n
n
STATEMENT CONNECTIVE SYMBOLIC TYPE OF
FORM STATEMENT
not p not -p Negation
p and q and Conjunction
p q
^
P or q or Pvq Disjunction
If p, then q If… Then P-->q Conditional
P if and only if and P<--->q bicondition
if q only if al

p: Today is Monday
q: It is raining
p: Today is Friday.
q: It is raining.
r: I am going to a movie
s: I am not going to the basketball game.

Write the symbolic form of the following statement


below.
1. Today is not Friday
-p
2. It is not raining and I am going to the movie.
-q ^ r
3. I am going to the basketball game or I am going to a
movie
-s v r
4. If it is raining, then I am not going to the basketball
game. q-->s
p: Stephen Curry is a football player.
q: Stephen Curry is a basketball player.
r: Stephen Curry is a rock star.
s: Stephen Curry plays for the warriors.

Write each symbolic form to a statement

1. (p v q) ^ -r

2. r -(q v p)
^
3. (q r) ---> - p
^
4. q <---> -(p r)
^
Quantified statement and their negation

STATEMENT NEGATION
All X are Y. Some X are not Y.
No X are Y. Some X are Y.

Some X are not Y All X are Y.


Some X are Y. No X are Y.

Write the negation of the


following.

1. Some airport are open. No airports are open

2. All movies are worth the Some movies are not worth the
price price.
3. No odd numbers are
divisible by 2. . Some odd numbers are divisible
4. Some vegetable are not by 2.
green
All vegetable are green
THANK YOU.
Activity # 11
Test 1.Write each symbolic Test 11. Write the negation of the
form below to a compound following.
statement.
p : Johanson is a singer 1. All bears are brown
q : Johanson is not a songwriter 2. Some movies are not worth the price of
r: Johanson is an actress admission
s: Johanson plays a piano 3. Some vegetables are not green
t: taylor swift does not 4. Some lions are playful
play the guitar 5. Some dogs are not friendly
6. All classic movies were first produced in
1.
black and white
2. 7. None of my students took my advice.
8. Everybody enjoyed the dinner.
3.
4.
5.
6.

You might also like