!"

 


#$%& '() 
*



 

  

    

 
 




+""
% 
, 
 '
    "
,
-
 P3,1 → B2,1 ∧ B3,2 ∧ B4,1
 
" You need to repeat a similar sentence for all possible locations of a pit.
It would be nice to write one sentence explaining that squares adjacent to
pits are breezy.

+
 .,

 -



 & ,
&/ 



   
-0 
 -
-0
Hunt the Wumpus

Squares adjacent to pits are breezy

Squares adjacent to the wumpus are stinky
   !

"#$  
What exists, What can be known
Objects
the model



  67
44894

1 :
4;4<4


 =4 " "4 Relations between objects
attributes of objects

>- %4'44-4
1




'  2  3 Refer to objects
¬4⇒4∧4∨4⇔






?
-4" 4
5


@"  ∀4∃ Like in propositional logic

 
 Allows speaking about groups of objects

-0 ∀ -- for all
 
  -

-0 - 
" ∃ -- there exists

-0

# "%  &     


  :
-0 2
,
3



  "
 4 "
-0 (, 
"

-0 :
"27
43
4

4? :27
44E3
E227
34E
27
33
27
3<#'


 ,"
,
-0 

 &F?

-0 (7 
,%,"

-0
#234234A2&4?3
G- 
"
-0
 B
, --
'"


-0 
,
 E27
3
 ? 
8&"
?24C
3
"
2"%
-,-' ?2D4C
3
 
-03
   ' ( 

?  , 




>- "

,
-0

¬4⇒4∧4∨4⇔
:
"2%43⇒ #'2%3

, '% ,'
@" 
?- 
 

 

"
-0
∀%2:
"2%43⇒ #'2%33
∃%2:
"2%43 ∧ #'2%33

G?-  
-="
,5

 ?,

   ∀∃ )*+ $( 

   H

&I8J
?"
∀ ⇒
∀%¬ 5 2%41  3 IG5 
 J
¬∃% 5 2%41  3 ∀%62%3∧1
2%3



 
H

∀% 5 2%4!
,3 ∀%62%3⇒1

2%3
¬∃%¬ 5 2%4!
,3


&I8J
?"
∃ ∧

B
'
.-
=" I7
 

 J

B

?-="
∃%

2%3⇒#2%47
3
∀%¬1≡¬∃%1 ∀%1≡¬∃%¬1 ∃%

2%3∧#2%47
3
¬∀%1≡∃%¬1 ∃%1≡¬∀%¬1
 ,  

 ,  


$5

   5 IK,
 ,
 J

! 5
 6
K
$ 
 LK,

$ L! ,

 

&

?K  
 
G H,
 2K,
3
5-
"

H
 
  I&5'4$5'+ '-- J
 
  -
-0
 - 
"
-0

I&
,4
 
E5' 
,
 J
#

  @"

 ,  


 ,  


$
 
 H 8
. 5-
=" H
IG,-
G 5"
, J I
 5 ?'J

$
  LG,4G 54 
$. 
 L


$ 
L-

&L0  ?-%

G H-
2G,4G 54 3
K?'L? ="


G H∀%5 2
 4%3
I$, -

J





 ∧


∧






I
 :5',J
I
 5 
,J
I
,-
'5 
 J
  ,  

 ,  


E=" H E


,%
 H
I
,-
'
,J IG 5' 
 
J

G H∃%4'2%4'3

G H∀% 
2%3∧ 5'2%3⇒
2%3

I8
 5' 
 
J
IK?'-
'?'J
∀% 
2%3∧ 5'2%3⇒¬
2%3
I
,-
'
?'J ¬∃ % 
2%3∧ 5'2%3∧
2%3
¬∃ % 
2%3∧ 5'2%3⇒
2%32L3

 ,  


 ,  


 "

 H
&'
?
""

  
IK?' 
5   J 
" 


G H∀%4'2 2%3∧"M 2'3∧5 2%4'3⇒  2%4'33 IK?'-
'
? 
,-
'J
I& 
,

 
?-'?'
J
IK?'-
' "J
IK?' ,
 'J
I'

  J
  ,  

 -    
IK?'-
'
? 
,-
'J


,NH∀%∃'
? 2%4'3


,H∃'∀%
? 2%4'3
I& --
 ? ,




"="
 ,
 ,%=" * 

 ?, ? J
I& 
,

 
?-'?'
J


∃'∀%
? 2%4'3 I1
 "


,
"

"
IK?'-
' "J ,4'"


"

,
"

,
NH"
2%3 ,4-'."


"

"


,
H∀%∃'"2'4%3
,J
IK?' ,
 'J


∀%,2%3⇒#'2%3
I'

  J IG'

,-
,
" 
J


∃%1 2%3∧ ∀'1 2'3⇒'<%

! 5'
I%'J
I J
I,
J  
 I
,
" 
 -, J

 


 


$  


 HC

N !"'&& 5

"
H2%3( 

"%  G ,-?5


88,- H
88,2C
3 O +
?
-'
" 4"
 4
∀88,23⇒88,2233



  
"
H 
  (

'
∀C
≠23
∀,4,≠⇒2,3≠23  K
5
-

,

G
"H
 K
 

" "
-,
∀,88,2,3⇒A24,3<,
∀,488,2,3∧88,23⇒A22,343<2A2,433  

G
",-
'2,
4? 
4, 4,,- 4













'
'43- 
 

'% , 
"
 , 4 4
? 4="

$
 ="

$
 
?

#


?5