toIPA
Home
Blog
Category
Logical negation
operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
Pronunciation
/ˈlɒʤɪkəl nɪˈɡeɪʃən/
/ˈlɑʤəkəl nəˈɡeɪʃən/
Categories
logical connective
negation
unary operation
involution