(i) Dokažte, že


   

   +                                                        +

   +Petr                                                  +

   +                                                        +

   +                                                        +

   +         ukradl                                      +         = 1 iff Petr ukradl tu husu

   +                                                        +                   

   +                                 tu         husu     +

   +                                                        +

   (ii) Jaké musí být presupozice, aby věta byla v doméně []? Proč?

   

   (iii) Dokažte že:

   

   +                                                                                +

   +Maruška                                                                  +

   +                                                                                +

   +                                                                                +

   +                je                                                             +       

   +                                                                               
   +                   

   +                                                                                + = 1 iff
   Maruška je černá a kočka a z Texasu

   +                                                                                +

   +                     černá    kočka                                      +

   +                                                                                +

   +                                                                               
   +                   

   +                                                        z      Texasu     +

   

   (iv) Dokažte, že

   +                     +Petr

   +                     +

   +                     +         = 1 iff Petr přišel

   +on     přišel    +

   +                     +

   

   (v) Rozhodněte, zda každý z těchto příkladů je v doméně []. Dokažte.

   

   (vi) Dokažte, že

   +                                                        +

   +člověk                                              +

   +                                                        +

   +                                                        +

   +         který                                       +         = lx: x Î D . x je člověk a x
   spí

   +                                                        +                   

   +                                 stopa      spí     +

   +                                                        +