Symbolization Flashcards
Given a, b
a -> b
a provided b
b -> a
a only if b
a ->b
only if a, b
b->a
although a, b
a and b
a iff b
a b
a unless b
a v b
neither a nor b
~(a v b)
No more than on (a, b, c) will d (no equality)
~(all possible combinations of two) \
neither a nor b will c, except when b or a is d
(a won’t p or b is d) and (b won’t p or a is d)
Exactly two among (a, b, c) will d (no equality)
(a and b) and ~c) or (a and c and not b) etc
all and only a are b
a iff b
a and b, who are c, are d only if e
for all a then if d then e and for all b then if d then e and for all a then c and for all b then c
a and b who are c are d only if e
for all a who are c, then if d then e, and for b
If any a does b, then no c does d unless a does d
if exists a and b, then non exists c and d or exists a and b