Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
16 Cards in this Set
- Front
- Back
Some cave dwellers use fire. All who use fire have intelligence. So... |
Some cave dwellers have intelligence |
|
No one held for murder is given bail. Smith isn't held for murder. |
We can't conclude anything from this question. |
|
Anyone who just lost a lot of blood is likely to faint. No one who is likely to faint is a safe pilot. |
No one who just lost a lot of blood is a safe pilot. |
|
Consider the statement, “If n is divisible by 30 then n is divisible by 2 and by 3 and by 5.” What is a statement that is equivalent to this one? |
IF N IS NOT DIVISIBLE BY 2, OR NOT DIVISIBLE BY 3 OR NOT DIVISIBLE BY 5, THEN N IS NOT DIVISIBLE BY 30 |
|
T/ F: ∀x P(x) <-> ~∃x ~P(x) |
TRUE |
|
T / F: ∃x P(x) <-> ~∀x P(x) |
FALSE |
|
∀x ∃y P(x, y) <-> ∃y ∀x P(x, y) |
FALSE |
|
What is an inference procedure? |
It provides rules for deriving new facts from existing facts. |
|
An inference method is sound if it... |
produces only entailed sentences. |
|
A says, "I am a knave or B is a knight" and B says nothing. Who is what? |
A & B are both knights. |
|
An inference method is complete if it... |
is able to produce every expression that is entailed by the KB. |
|
A says, "We are both knaves" and B says nothing. |
We are both knavesis a lie if other is a knight, which means that he could tell it and be a knave:a is knave, b is knight |
|
Both A and B say, "I am a knight." |
IT IS NOT POSSIBLE TO KNOW IF A IS A KNIGHT OR KNAVE |
|
A says, "B is a knight" and B says, "The two of us are opposite types." |
A & B are knaves. |
|
While travelling along a road with a knight you meet three strangers. The knight tells you, "I know these travelers. One is a spy. One is a knight. The other is a knave." A says that C is a knave. B says that A is a knight. C says, "I am the spy." |
A is Knight B is Spy C is Knave |
|
FOPC: John likes all kinds of food. |
Vx [x(food) => likes(john,x) |