Logic

Question 1

In a conditional what is the bit before the arrow called?

Answer 1

Antecedent

Question 2

In a conditional what is the bit after the arrow called?

Answer 2

Consequent

Question 3

De Morgan’s Laws

Answer 3

¬(A v B ) -> ¬A n ¬B

¬(A n B ) -> ¬A v ¬B

Question 4

Define biconditional

Answer 4

A and B are biconditional iff A and B have the same truth value. ( If a is true/false then b must be true/false as well )

Question 5

What does a double headed arrow mean

Answer 5

Biconditional

Question 6

Define iff

Answer 6

If and only if

Question 7

What does the ∀ symbol mean

Answer 7

For every …

Question 8

What does the ∃ symbol mean

Answer 8

For some … there exists …

For some x, x is a mammal and x flies
( ∃x : x is a mammal -> x flies )