conditional
p\implies q -- false only when p is true and q is false.
The conditional p\implies q ("if p then q") is false only when p is true and q is false; true in every other case.
See also
Point table
Graph settings
Calculator