Formal Logic Flashcards
(35 cards)
1
Q
All Xs are Ys
A
X -> Y
2
Q
Xs are all Ys
A
X -> Y
3
Q
Every X is a Y
A
X -> Y
4
Q
Any X must also be a Y
A
X -> Y
5
Q
Each X is Y
A
X -> Y
6
Q
When X happens, so does Y
A
X -> Y
7
Q
Y happens whenever X happens
A
X -> Y
8
Q
X happens only if Y does
A
X -> Y
9
Q
Only Ys can be Xs
A
X -> Y
10
Q
X depends on Y
A
X -> Y
11
Q
X requires Y
A
X -> Y
12
Q
X needs Y
A
X -> Y
13
Q
X causes Y
A
X -> Y
14
Q
X leads to Y
A
X -> Y
15
Q
X produces effect Y
A
X -> Y
16
Q
No X without Y
A
X -> Y
17
Q
Y goes everywhere X goes
A
X -> Y
18
Q
No X unless Y
A
X -> Y
19
Q
No X until Y
A
X -> Y
20
Q
No X except with Y
A
X -> Y
21
Q
X never happens unless Y does
A
X -> Y
22
Q
X never happens until Y does
A
X -> Y
23
Q
X never happens without Y
A
X -> Y
24
Q
X guarantees Y
A
X -> Y
25
X ensures Y
X -> Y
26
Being X confers Y
X -> Y
27
Completing goal X requires completing step Y
X -> Y
28
Y occurs due to X
X -> Y
29
X is always accompanied by Y
X -> Y
30
X is Y
X -> Y
31
Xs are Ys
X -> Y
32
X must be Y
X -> Y
33
X has to be Y
X -> Y
34
X will bring about Y
X -> Y
35
Y will happen if X does
X -> Y
