7. gyakorlat
Meta
Témák
- Kijelentések, kvantorok, logikai állítások
Órai feladatok
Kifejezések
\(\forall\) - Univerzális kvantor (Minden)
\(\exists\) - Existenciális kvantor (Van olyan/Létezik)
Logikai táblázatok
Konjunkció
| A | B | \(A \land B\) |
|---|---|---|
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 1 | 1 |
Diszjunkció
| A | B | \(A \lor B\) |
|---|---|---|
| 0 | 0 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 1 | 1 |
Implikáció
| A | B | \(A \Rightarrow B\) |
|---|---|---|
| 0 | 0 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 1 | 1 |
Ekvivalencia
| A | B | \(A \Leftrightarrow B\) |
|---|---|---|
| 0 | 0 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 1 | 1 |
Negáció
| A | \(\neg A\) |
|---|---|
| 0 | 1 |
| 1 | 0 |