Please enable JavaScript.

Coggle requires JavaScript to display documents.

3. Logika (Výroková logika (rezoluce (druhy (zjemnění) (SLD (kor + úplná…

- - - - tautologie
      - kontradikce
      - splnitelná
      - logicky vyplývá
      - pravd. tabulka
  - - - identita, negace
    - - disj, konj, impl, ekv, NAND, XOR, NOR
    - - TRUE (1), FALSE (0)
  - - - atomická formule
  - - - klauzule
        
        DNF literálů
        
        alespoň 1 pravda --> pravdivá
        
        prázdná □ vždy nepravda
        
        př.: {p, ┑q, r}
        
        Hornova klauzule
        
        max 1 poz. literál
      - formule
        
        KNF klauzulí
        
        všechny pravda --> pravdivá
        
        prázdná ∅ vždy pravda
        
        př.: {{┑p}, {┑p, q}}
    - - rezolventa
      - zachovává splnitelnost
    - - reprezentace: stromy
      - strom rezol. dk. C z formule S
        
        kořen je C
        
        listy jsou prvky S
        
        vnitřní uzel Ci s bezprostř. následníky Cj,k je rezolventou Cj,k
    - - lineární
        
        korektní a úplná
      - lineární vstupní (LI)
        
        kor + úplná pro Hornovy kl.
        
        začínáme klauzulí nez poz. literálu
      - LD
        
        kor + úplná pro Hornovy kl.
        
        LI + třeba uspořádané Hornovy kl. (1. poz) + dodržovat usp. (zprava)
      - SLD
        
        kor + úplná pro Hornovy kl.
        
        lineární vstupní rezoluce se selekčním pravidlem
        
        LD + uniformní přístup vždy zleva - rez. na nejlevějším lit.
- - - - skolemizace = odstraň. exist. kvant. + nahraď skolem. fcemi
- - - - V[x/d]
  - - - splnitelná
      - tautologie
      - kontradikce
      - v interpretaci I, je-li splňována I pro každou valuaci
  - - - každá proměnná a konstanta
      - výrazy z: fční symboly + konstanty + proměnné
    - - složená jména objektů
      - f, g, h,...
    - - jména objektů
      - x, y, z,...
    - - jména objektů
      - a, b, c,...
    - - binární, ternární,...
        
        vztahy mezi objekty
      - unární
        
        vlastnosti
      - nulární
        
        původní výroky
      - n-ární relace
      - P, Q, R1,...