3. Syllogistic Reasoning Flashcards
what is the middle term in a syllogistic pattern?
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
what specifies the restriction of elements in a set?
The domain of discourse
What does ‘to hold’ mean?
to be true
What is a literal?
A proposition letter or is negation.
What is a clause?
A set of literals
What is a clause set?
A set of clauses
when will will a ven diagram or table be invalid?
when the conclusion adds more information or when the conclusion can’t be true when the predicates are true
Describe the intersection of 2 sets
A ∩ B = {x | x ∈ A and x ∈ B}
Describe the union of 2 sets
A ∪ B = {x | x ∈ A or x ∈ B}
Describe the difference of 2 sets
A \ B = {x | x ∈ A and x ¬∈ B}
Describe the complement of a set
¬A = {x ∈ U | x ¬∈ A}
Equivalence of ¬(A ∪ B)
¬A ∩ ¬B
Equivalence of ¬(A ∩ B)
¬A ∪ ¬B
The clause form of: (p → q) ∧ (q → r)
{{¬p, q}, {¬q, r}}
What is unit propagation
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