Qual é a expressão equivalente de p ↓ q em termos de negação e conjunção?

Resposta

O conectivo Scheffer (↓) é a negação da disjunção, portanto primeiro nega-se a disjunção \(p \lor q\), aplicando-se as Leis de De Morgan obtemos a conjunção das negações, \(¬p \land ¬q\).
Assim, troca-se a disjunção por uma conjunção entre as negações das proposições.

Exemplo:
Sejam as proposições:

p: não é urgente,
q: não é importante.