Como se interpreta semanticamente a fórmula \( \sim p \lor \sim q \) e quando ela é verdadeira?

É a disjunção das negações de p e q; é verdadeira quando pelo menos uma das negações é verdadeira.

Explicação:
\( \sim p \) significa não p e \( \sim q \) significa não q.
\( \lor \) é o ou inclusivo, portanto \( \sim p \lor \sim q \) lê-se "não p ou não q" e é verdadeira se ~p ou ~q (ou ambos) forem verdadeiros.

Exemplo:
Sejam p = "Faz sol" e q = "Há aula hoje".
\( \sim p \lor \sim q \) = "Não faz sol ou não há aula hoje".
Casos:
• p=true, q=true → ~p=false, ~q=false → fórmula = false
• p=true, q=false → ~q=true → fórmula = true
• p=false, q=true → ~p=true → fórmula = true
• p=false, q=false → ~p=true, ~q=true → fórmula = true