Predikátová logika

#definice Jazyk predikátové logiky

Jazyk predikátové logiky obsahuje symboly dvojího druhu:

  1. Logické symboly
    1. logické spojky ()
    2. proměnné ()
    3. kvantifikátory
      1. obecný () - (velký, univerzální) ve významu "pro všechny", "všichni"
      2. existenční () - (malý) ve významu "některé", "existuje"
    4. pomocné symboly - závorky, čárky, atd.
  2. Mimologické symboly
    1. konstanty ()
    2. predikáty ()
    3. funkce ()
  • Výroková logika měla prvotní formule, predikátová má atomické formule (a.k.a "predikáty o termech")
    • Term - to, o čem má smysl něco říkat (ne jen proměnná, hrají v něm role funkce a konstanty)
    • Predikát - to, co o termu říkám, o čem má smysl uvažovat, zda je pravda/nepravda

Arita (četnost)

  • U predikátů a funkcí určujeme četnost (aritu) - kolik prvků má predikát či funkce "na vstupu", kolik má argumentů
    • Např. má aritu 2, má 2 argumenty a
    • Unární, binární, ternární, ...

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25