Symbolization Flashcards

1
Q

Given a, b

A

a -> b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

a provided b

A

b -> a

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

a only if b

A

a ->b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

only if a, b

A

b->a

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

although a, b

A

a and b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

a iff b

A

a b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

a unless b

A

a v b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

neither a nor b

A

~(a v b)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

No more than on (a, b, c) will d (no equality)

A

~(all possible combinations of two) \

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

neither a nor b will c, except when b or a is d

A

(a won’t p or b is d) and (b won’t p or a is d)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Exactly two among (a, b, c) will d (no equality)

A

(a and b) and ~c) or (a and c and not b) etc

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

all and only a are b

A

a iff b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

a and b, who are c, are d only if e

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

a and b who are c are d only if e

A

for all a who are c, then if d then e, and for b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

If any a does b, then no c does d unless a does d

A

if exists a and b, then non exists c and d or exists a and b

How well did you know this?
1
Not at all
2
3
4
5
Perfectly