logika, modální K-logika, nemonotónnost, monotónnost, default logika, deskripční logika

Cílem tohoto článku není vysvětlit všechny úskalí logik, ale pouze přiblížit čtenáři formální logické systémy, které jsou vhodné pro aplikaci v informatice. Současná formální logika je schopna vyjádřit nejrůznější deduktivní soudy. Nejjednodušším systémem formální logiky je propoziční logika, kde vzorce typu ?p? nebo ?q? zastupují celé vety typu ?Pavel je v knihovně? a ?Quido je v knihovně?. Jednoduché vzorce se kombinují do složitějších pomocí symbolů & (and, a), ? (or, nebo), -> (if-then, jestliže-pak). Věty typu jestliže-pak se nazývají větami podmínkovými (kondicionály). Negace se zapisuje jako ??p?. S pomocí těchto stavebních kamenů můžeme formalizovat i složitější věty.

The aim of this article is not to explain all the pitfalls of logic but only to provide the reader a formal logical systems that are appropriate for application in computer science. The current formal logic is able to express different deductive courts. The simplest system of formal logic, propositional logic, where a formula like "p" or "q" represent all phrases like "Paul is in the Library" and "Guido is in the library." Simple formulas are combined into complex symbols using & (and and), ? (or or) -> (if-then, if-then). Sentences such as if-then called the sentences podmínkovými (conditionals). Negation is written as "? p". With these building blocks, we can formalize and complex sentences.