Claro, vamos analisar as proposições dada a partir da lógica proposicional. São duas proposições:
Vamos analisar cada uma:
Análise da proposição 1:
Uma implicação será falsa apenas quando é verdadeira e é falsa. Portanto, para que esta implicação seja falsa, devemos ter:
Sabemos que é falsa apenas quando tanto quanto são falsas. Portanto:
Agora vamos analisar a segunda proposição:
Análise da proposição 2:
Considerando que (conforme a análise acima), temos que:
((q \land \neg s)) deve ser igual a
Para isso, temos o seguinte:
Isso nos diz que .
Resumindo, temos:
Portanto, as classificações são: