toIPA
Home
Blog
Category
Logical implication
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Pronunciation
/ˈlɒʤɪkəl ɪmplɪˈkeɪʃən/
/ˈlɑʤəkəl ˌɪmpləˈkeɪʃən/
Categories
logical connective
Boolean function