Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| statnice:bakalar:b0b01lgr [2025/06/01 11:45] – zapleka3 | statnice:bakalar:b0b01lgr [2026/06/13 16:50] (current) – [Sémantika výrokové logiky] badinmic | ||
|---|---|---|---|
| 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. | ||
