- spojenie:
Spojka alebo logické AND je zložený výrok vytvorený spojením dvoch alebo viacerých výrokov so slovom „a“. Tvrdenie je pravdivé, keď sú pravdivé všetky vety komponentov, a inak nepravdivé.
Napríklad:
Ak je prvý výrok „Dnes je slnečno“ a druhý výrok „Vonku je teplo“, potom spojenie „Dnes je slnečno a teplo“ je pravdivé len vtedy, ak sú pravdivé oba výroky.
- Disjunkcia:
Disjunkcia alebo logické OR je zložený výrok vytvorený spojením dvoch alebo viacerých výrokov so slovom „alebo“. Tvrdenie je pravdivé, ak je pravdivý aspoň jeden z výrokov.
Napríklad:
Ak je prvý výrok „Dnes je slnečno“ a druhý výrok je „Vonku je zamračené“, potom je disjunkcia „Dnes je slnečno alebo zamračené“ pravdivá, ak je pravdivý ktorýkoľvek z výrokov.