logické spojky

Logika, funktory, jimiž je možno vytvořit z jednotlivých výroků výroky složené. Z hlediska metateorie jde o oblast syntaxe určující formační pravidla. Klasický výrokový kalkul užívá logické spojky: a (konjunkce), nebo (disjunkce), jestliže..., pak (implikace), právě tehdy, když (ekvivalence). Viz také logická symbolika.