Uveďte spojky výrokové logiky a popište jejich sémantiku

1. Konjunkce - výrok je pravdivý, když oba výroky jsou pravdivé. A ∧ B
2. Disjunkce - výrok je pravdivý, pokud alespoň jeden výrok je pravdivý. A ∨ B
3. Implikace - výrok A je pravdivý pakliže výrok B je pravdivý. A → B
4. Ekvivalenc - výrok A právě když B. A ↔ B