Please enable JavaScript.

Coggle requires JavaScript to display documents.

Predikátová logika (Abeceda (kvantifikátory (Ohraničený (Vymezený…

- - - - Vymezený definičním oborem
        
        vymezení se píše pod kv.
    - - (Vx)(Ey)(P) není ekvivalentní s (Ey)(Vx)(P)
- - - - Slova, ve kterých se aplikuje kvantifikátor na x, jsou také pred. formule
- - - - Podstatně volná
        
        Je ve slově
        
        Není vázaná kvantifikátorem
      - volná
        
        Proměnná, kt nemusí být ve slově
    - - Ve slově jsou kvantifikátory u proměnných
        
        Exis.x
  - - - např. x nesmí v jednom vázané a v druhém podst. volné
- - - - Každá matematická věta a axiom jsou uzavřené formule
  - - - Není to výrok
        
        Ale je mu podobný
      - Je možné z nich výroky udělat buď:
        
        Volně proměnné osadit kvantifikátory
        
        Dosadit vhodné objekty za proměnné