Logic Exam Flashcards Preview

Math (Comp. Sci) > Logic Exam > Flashcards

Flashcards in Logic Exam Deck (77)
Loading flashcards...
1

What does the symbol " ^ " mean

AND

2

What does the symbol " v " mean

OR

3

What does the symbol " ¬ " mean

NOT

4

What does the symbol " ----> " mean

IMPLIES

5

What does the symbol " " mean

IMPLIES (BOTH WAYS)

6

What does the symbol " ∴ " mean

Therefor

7

What does the symbol " ≡ " mean

Equivalent to

8

What is the first priority of the truth table

Parenthesis

9

What is the second priority of the truth table

Nots

10

What is the third priority of the truth table

Ands

11

What is the fourth priority of the truth table

Ors

12

How would you approach filling the truth table values for P if there are only 2 variables:

P alternates every 2 values.
ex: T T F F

13

How would you approach filling the truth table values for Q if there are only 2 variables

Q alternates every 1 value
ex: T F T F

14

How would you approach filling the truth table values for p if there are 3 variables

P alternates every 4 values
ex: T T T T F F F F

15

How would you approach filling the truth table values for q if there are 3 variables

Q alternates every 2 values
ex: T T F F T T F F

16

How would you approach filling the truth table values for r if there are 3 variables

R alternates every 1 values
ex: T F T F T F T F

17

How would you approach solving proofs

Start with most complicated side first

18

What do you do if you see an " Or "

If there is one thing thats true then it is all true

19

What do you do if you see an " And "

If there is one thing that is false then it is all false

20

What is a tautology

A formula that is true in every interpretation

21

What does " Ǝ " mean

At least one (there exists)

22

What does " ∀ " mean

For all (everyone)

23

Solve this:
~(~P) ≡

P

24

Solve this:
P v ~P ≡

True

25

Solve this:
P ^ ~P ≡

False

26

Solve this:
P v T ≡

True

27

Solve this:
P v F ≡

P

28

Solve this:
P ^ T ≡

P

29

Solve this:
P ^ F ≡

False

30

What is this law: (P v Q) ≡ Q v P

Commutative Law