3. Syllogistic Reasoning Flashcards

1
Q

what is the middle term in a syllogistic pattern?

A

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

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

what specifies the restriction of elements in a set?

A

The domain of discourse

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

What does ‘to hold’ mean?

A

to be true

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

What is a literal?

A

A proposition letter or is negation.

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

What is a clause?

A

A set of literals

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

What is a clause set?

A

A set of clauses

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

when will will a ven diagram or table be invalid?

A

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

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

Describe the intersection of 2 sets

A

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

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

Describe the union of 2 sets

A

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

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

Describe the difference of 2 sets

A

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

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

Describe the complement of a set

A

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

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

Equivalence of ¬(A ∪ B)

A

¬A ∩ ¬B

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

Equivalence of ¬(A ∩ B)

A

¬A ∪ ¬B

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

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

A

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

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

What is unit propagation

A

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

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