Home
Random
Log in
Settings
Donate
About Wikifunctions
Disclaimers
Search
Boolean implication
Z10329
Function
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Language
Watch
This page displays in a limited way without JavaScript.