Predicate Logic Flashcards
1
Q
Universal Quantifier
A
Used to assert that all entities have some property or properties
2
Q
(x), (y), or (z)
A
Universal quantifier
3
Q
All things move
A
(x)(Mx)
4
Q
Universal Quantifier corresponds with…
A
⊃ (conditional hook)
5
Q
Existential Quantifier
A
Assert some individual or individuals, at least one, have one or more properties
6
Q
(∃x)
A
Existential Quantifier
7
Q
Some things move
A
(∃x)(Mx)
8
Q
Existential Quantifier corresponds with…
A
. (conjunction)
9
Q
All A’s are B’s
A
(x)(Ax ⊃ Bx)
~(∃x)(Ax * ~Bx)
10
Q
(x)(Ax ⊃ Bx)
~(∃x)(Ax * ~Bx)
A
All A’s are B’s
11
Q
No A’s are B’s
A
(x)(Ax ⊃ ~Bx)
~(∃x)(Ax . Bx)
12
Q
(x)(Ax ⊃ ~Bx)
~(∃x)(Ax . Bx)
A
No A’s are B’s
13
Q
Some A’s are B’s
A
(∃x)(Ax . Bx)
~(x)(Ax ⊃ ~Bx)
14
Q
(∃x)(Ax . Bx)
~(x)(Ax ⊃ ~Bx)
A
Some A’s are B’s
15
Q
Some A’s are not B’s
A
(∃x)(Ax . ~Bx)
~(x)(Ax ⊃ Bx)
