Quando uma condicional \(p\to q\) é falsa?

Quando \(p\) é verdadeira e \(q\) é falsa; equivalente a \(p\land\lnot q\).

Explicação:
Uma condicional \(p\to q\) só é falsa se a hipótese \(p\) for verdadeira e a conclusão \(q\) for falsa.
Simbolicamente: \(\lnot(p\to q)\equiv p\land\lnot q\).

Exemplo:
Defina \(p\): "O sensor detecta movimento" e \(q\): "O alarme soa".
Se o sensor detectou movimento ( \(p=\) V ) e o alarme não soou ( \(q=\) F ), então \(p\to q=\) F, e assim \(\lnot(p\to q)=\) V, que corresponde a \(p\land\lnot q\).\