Please enable JavaScript.

Coggle requires JavaScript to display documents.

Výroková logika (Výrok (Složený (Lze rozdělit, Na atomární výroky),…

- - - - Nerozdělitelné sdělení
- - - - A a zároveň B...
      - Výroky spojené spojkami
  - - - Implikace a ekvivalence mají nejnižší prioritu
      - If stejné priority
        
        Priorita z leva
      - Negace má totální přednost před spojkami
- - - - Slouží pro dokázání jiné věty
- - - - Znaky
        
        Nedělitelné symboly
        
        Příklad
        
        0
        
        1
        
        2
        
        9
        
        Logické spojky
        
        Unární
        
        Binární
        
        Vytváří nové výroky
      - Vytvořené z konečného počtu znaků
      - Příklad
        
        925
    - - Substituce pro několik slov
        
        a+b
        
        Malá řecká písmena
        
        alfa
        
        Gama
        
        Beta
        
        Fí
      - Formule