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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.