Advanced Logic Flashcards

1
Q

Or vs. Not both

A

do not mean the same

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

And/Or in a Sufficient condition

A

And (Sufficient) = not split

Or (Sufficient) = split

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

And/Or Necessary condition

A

And (Necessary) = Split

Or (Necessary) = not Split

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

DeMorgan’s Law

A

contrapositives: the negative sign applied to all elements including: and/or
And become Or
Or becomes And
= negate both elements

this only happens when negating

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

Bi-Conditional

A

if and/but only if =
either or but not both = /A –> C //// C –> /A
but not otherwise
except

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

2 types of biconditional

A
  1. Always together, never apart =
    A –>B /A–>/B
  2. Always apart, never together
    /A –> B /B–>A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Embedded Logic

A

changing the first arrow to “and”

A–>(B–>C)
A and B –>C
MOVE THE SUFFICIENT OUT OF THE PARENTHESIS

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

Or / Both

A

review truth tables

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

OR

A
T T = T
T F= 
F T=
FF=
one or the other or both
negate sufficient
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Not Both

A

TT =
T F =
F T =
F F =

one or the other, not both
negate necessary

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

at least

A

1 or more
2 or more
and so on

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

if there are two negative conditionals, translate it

A

contrapositives of conditionals

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

not all

A

some

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