Buy Me a Coffee at ko-fi.com

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/