Qual é a negação lógica da proposição condicional p → q?

Resposta

\(\neg(p\to q)=p\land\neg q\)

Explicação:
A negação de uma condicional é verdadeira quando o antecedente é verdadeiro e o consequente é falso.
Formalmente, \( \neg(p\to q)=p\land\neg q\).
Exemplo:
Se o sensor detectar movimento, então o alarme soa.
Aqui, \(p\): "sensor detecta movimento", \(q\): "alarme soa".
A negação é "o sensor detectou movimento e o alarme não soou", correspondente a \(p\land\neg q\).