- Konjunkce:
Konjunkce neboli logické AND je složený výrok vzniklý spojením dvou nebo více výroků se slovem „a“. Tvrzení je pravdivé, když jsou všechny výroky složkové pravdivé, a jinak nepravdivé.
Například:
Je-li první věta „Dnes je slunečno“ a druhá věta „Venku je teplo“, pak spojení „Dnes je slunečno a teplo“ platí pouze tehdy, jsou-li pravdivé obě věty.
- Disjunkce:
Disjunkce neboli logické OR je složený výrok vzniklý spojením dvou nebo více výroků se slovem „nebo“. Tvrzení je pravdivé, když je pravdivý alespoň jeden z výroků.
Například:
Pokud je první věta „Dnes je slunečno“ a druhá věta je „Venku je zataženo“, pak je rozdělení „Dnes je slunečno nebo zataženo“ pravdivé, pokud je pravdivý kterýkoli z výroků.