Úvod do logiky

Základní principy logiky

  • Zákon vyloučení sporu, - tvrzení nemůže platit a neplatit zároveň
  • Zákon vyloučení třetího, - tvrzení buď platí nebo neplatí, logika je binární
  • Zákon identity, - zaručuje neproměnlivost matematických objektů

Výroková logika

#definice Prvotní výrok a prvotní formule
  • Prvotní výrok - jednoduchá oznamovací věta, u které má smysl se ptát, zda je či není pravdivá
  • Prvotní formule - označení prvotního výroku velkými písmeny
#definice Pravdivostní ohodnocení
  • Ohodnocení množiny prvotních výroků je přiřazení , které každé prvotní formuli přiřadí nebo .
  • , řekneme, že je pravdivý při ohodnocení .
  • , řekneme, že je nepravdivý při ohodnocení .

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 2. 10. 2024, 19:09