Ha egy kijelentésben egy paraméter minden előfordulása valamilyen kvantor hatáskörében van, akkor azt mondjuk, hogy a paraméter **kötött**, különben **szabad**.
Az a formula, aminek nincs szabad paramétere, **zárt formula**. Máskülönben **nyitott formula**.
1. Predikátumok - paraméter(eke)t tartalmazó kifejezés - a benne szereplő paraméter(ek)től függ az igazságértéke 2. Kvantorok - $\forall$ "mindegyik" - $\exists$ "létezik"
1. egyváltozós - $P$: "páros szám" - $P(x)$ akkor igaz ha $x$ páros 2. többváltozós - $NE$: "nagyobb egyenlő" - $NE(x,y)$ akkor igaz ha $x \geq y$, különben hamis 3. formulában - $NE(x,y) \land P(y)$ - $NE(x,y) \Rightarrow NE(y,x)$
1. $\forall$ 1. $\exists$ Formulában: 1. $\forall x ( P(2x) )$ 1. $\forall x ( \exists y (NE(x,y)))$ 1. $\nexists x (\neg NE(x,x))$
$F(x)$: $x$ férfi, $N(x)$: $x$ nő, $V(x,y)$: $x$ vonzónak tartja $y$-t
- változók - meghatározott lehetséges értékek amiket változó felvehet - változók közötti műveletek ### algebra! <!-- .element: class="fragment" data-fragment-index="1" -->
### kérlek az alábbi fogalmakat **definiáld** és **hozz rájuk 2-2 példát** - logikai változó - logikai művelet - logikai kifejezés - kvantor - predikátum - igazságtábla - logikai értékű, nem logikai változókat tartalmazó kifejezés
#### Írd fel az igazságtábláját: $(A \Rightarrow B) \land ( \neg C \lor ( A \iff B ) )$
#### adj meg egy olyan $x$-et amire igaz és egy olyat amire nem igaz az alábbi kifejezés: $\forall y ( (x \geq y) \Rightarrow (2x \geq y)) $ $x,y \in \mathbb{R}$
1. $d$-nek minden nő tetszik 1. $k$ egy biszexuális nő 1. léteznek aszexuális emberek 1. mindenki biszexuális 1. csak a férfiak között vannak melegek