logické spojky

logické spojky, log . 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. Klas. výrokový kalkul užívá l. s.: a (konjunkce); nebo (disjunkce); jestliže . . ., pak (implikace); právě tehdy, když (ekvivalence). V.t. logická symbolika.