Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| statnice:bakalar:b0b01lgr [2025/05/19 13:18] – [Schopnost formalisace a řešení logických úloh] zapleka3 | statnice:bakalar:b0b01lgr [2026/06/13 16:50] (current) – [Sémantika výrokové logiky] badinmic | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ==== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. ==== | + | ====== Syntaxe a sémantika výrokové a predikátové logiky. Základní pojmy teorie grafů. |
| [[https:// | [[https:// | ||
| Line 49: | Line 49: | ||
| Dvě ohodnocení $u, v: P(A) \to \{0, 1\}$ jsou shodná právě tehdy, když pro všechny logické proměnné $x \in A$ platí $u(x) = v(x)$. | Dvě ohodnocení $u, v: P(A) \to \{0, 1\}$ jsou shodná právě tehdy, když pro všechny logické proměnné $x \in A$ platí $u(x) = v(x)$. | ||
| - | **Typy formulí:** | ||
| **Typy formulí:** | **Typy formulí:** | ||
| * **Tautologie** – formule, která je pravdivá ve všech ohodnoceních. | * **Tautologie** – formule, která je pravdivá ve všech ohodnoceních. | ||
| Line 244: | Line 243: | ||
| **Platí**: | **Platí**: | ||
| - | * $\varphi | + | * $\varphi \models \psi$ právě když $(\varphi \Leftrightarrow \psi)$ je tautologie. |
| * Např. $\neg \forall x\, P(x) \models\!\models \exists x\, \neg P(x)$ | * Např. $\neg \forall x\, P(x) \models\!\models \exists x\, \neg P(x)$ | ||
| Line 263: | Line 262: | ||
| * Zachovává **ekvisplnitelnost**, | * Zachovává **ekvisplnitelnost**, | ||
| - | {{: | ||
| ==== Důsledek v predikátové logice ==== | ==== Důsledek v predikátové logice ==== | ||
| Line 285: | Line 283: | ||
| * Odvozovací systém bez axiomů, používá pravidla pro spojky i kvantifikátory | * Odvozovací systém bez axiomů, používá pravidla pro spojky i kvantifikátory | ||
| * Dedukce: $S \vdash \varphi$ znamená, že $\varphi$ lze odvodit ze $S$ | * Dedukce: $S \vdash \varphi$ znamená, že $\varphi$ lze odvodit ze $S$ | ||
| + | |||
| + | {{: | ||
| **Věta o úplnosti**: | **Věta o úplnosti**: | ||
