Logical Assertion Article Index for
Logical
Shopping
Logical
Website Links For
Logical
 

Information About

Logical Assertion




For example, if p = "x is even", the implication
: ( dash p) ightarrow(x \pmod 2 \equiv 0)
is thus true. We can also write this using the logical assertion symbol, as
: dash \left( ( dash p) ightarrow(x \pmod 2 \equiv 0) ight)