3. Syllogistic Reasoning

Question 1

what is the middle term in a syllogistic pattern?

Answer 1

A class that links the information between two premises.
i.e.
P: All A are B
P: All B are C
C: All A are C

Question 2

what specifies the restriction of elements in a set?

Answer 2

The domain of discourse

Question 3

What does ‘to hold’ mean?

Answer 3

to be true

Question 4

What is a literal?

Answer 4

A proposition letter or is negation.

Question 5

What is a clause?

Answer 5

A set of literals

Question 6

What is a clause set?

Answer 6

A set of clauses

Question 7

when will will a ven diagram or table be invalid?

Answer 7

when the conclusion adds more information or when the conclusion can’t be true when the predicates are true

Question 8

Describe the intersection of 2 sets

Answer 8

A ∩ B = {x | x ∈ A and x ∈ B}

Question 9

Describe the union of 2 sets

Answer 9

A ∪ B = {x | x ∈ A or x ∈ B}

Question 10

Describe the difference of 2 sets

Answer 10

A \ B = {x | x ∈ A and x ¬∈ B}

Question 11

Describe the complement of a set

Answer 11

¬A = {x ∈ U | x ¬∈ A}

Question 12

Equivalence of ¬(A ∪ B)

Answer 12

¬A ∩ ¬B

Question 13

Equivalence of ¬(A ∩ B)

Answer 13

¬A ∪ ¬B

Question 14

The clause form of: (p → q) ∧ (q → r)

Answer 14

{{¬p, q}, {¬q, r}}

Question 15

What is unit propagation

Answer 15

If 1 member of ta clause set is a singleton {l) (a unit) then:
1. Remove every other clause containing l from the clause set
2. Remove ¬l