Chapter 2 - Syntax and Symbolization Flashcards
What are logical connectives or operators?
They take atomic sentences and make compound sentences
What are the logical connectives?
Conjunction
Disjunction
The Conditional
Negation
List the logical connectives and their symbols:
Conjuction: and (&)
Disjunction: or (v)
The Conditional: if…then…(→)
Negation: not (¬)
Either Bob has fed the ducks, or if he has fed the chickens, then the ducks are playing in the pond
(D V (C → P))
If Bob is gathering eggs, then he has fed the chickens, or he has fed the ducks.
((B → C) V D)
If he has fed the ducks, then Bob has not fed the chickens.
(D → ¬C)
If Bob has fed the ducks and the chickens, then the ducks are playing in the pond.
((D & C) → P)
Either Bob has fed the chickens if he has fed the ducks, or the ducks are playing in the pond.
((D → C) v. P)
If Bob has not fed both the chickens and the ducks, then he is gathering eggs.
(~(C & D) -> B)
((M & N)
It is an expression but it is not well-formed
(J v. (K & L))
Not an expression. v. is not a basic symbol of sentential logic
If the ducks are playing in the pond, then the chickens are playing in the pond only if Bob is chasing the fox away.
(P -> (S -> F))
If the chickens are playing in the pond, then Bob both isn’t chasing the fox away and isn’t gathering eggs.
(S -> (~F & ~B))
Put parentheses around the formula:
A & B v. C & D -> ~E & F
(((A & B) v. (C & D)) -> (~E & F))
Put parentheses around the formula:
F -> D v. G -> ~D v. E
(((F -> D) v. G)) -> (~D v. E))