Formal Logic Flashcards
All Xs are Ys
X -> Y
Xs are all Ys
X -> Y
Every X is a Y
X -> Y
Any X must also be a Y
X -> Y
Each X is Y
X -> Y
When X happens, so does Y
X -> Y
Y happens whenever X happens
X -> Y
X happens only if Y does
X -> Y
Only Ys can be Xs
X -> Y
X depends on Y
X -> Y
X requires Y
X -> Y
X needs Y
X -> Y
X causes Y
X -> Y
X leads to Y
X -> Y
X produces effect Y
X -> Y
No X without Y
X -> Y
Y goes everywhere X goes
X -> Y
No X unless Y
X -> Y
No X until Y
X -> Y
No X except with Y
X -> Y
X never happens unless Y does
X -> Y
X never happens until Y does
X -> Y
X never happens without Y
X -> Y
X guarantees Y
X -> Y
X ensures Y
X -> Y
X ensures Y
X -> Y
Being X confers Y
X -> Y
Completing goal X requires completing step Y
X -> Y
Y occurs due to X
X -> Y
X is always accompanied by Y
X -> Y
X is Y
X -> Y
X will bring about Y
X -> Y
X has to be Y
X -> Y
X must be Y
X -> Y
X will bring about Y
X -> Y
Y will happen if X does
X -> Y
All Ys are Xs
Y -> X
Ys are all Xs
Y -> X
Every Y is an X
Y -> X
Any Y must also be an X
Y -> X
Each Y is X
Y -> X
When Y happens, so does X
Y -> X
X happens whenever Y happens
Y -> X
Y happens only if X does
Y -> X