ekvivalencia výrokov

[ Previous | Next ] [ Up | First | Last ] (Article 157 of 617)

ekvivalencia výrokov

– obojstranná implikácia výrokov – výrok p ⇔ q (čítame: p práve vtedy, keď q; p vtedy a len vtedy, keď q), ktorý vznikne konjunkciou výrokov p ⇒ q a q ⇒ p.