Výroková spojka

Výroková spojka je operácia, pomocou ktorej sa vytvára z niekoľkých (väčšinou dvoch) výrokov výrok, ktorého pravdivostná hodnota sa odvodzuje podľa daného pravidla z pravdivostných hodnôt spájaných výrokov. Výrokové spojky sú napríklad negácia, disjunkcia, konjunkcia, implikácia, ekvivalencia, non-ekvivalencia.

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia