O conceito mais elementar no estudo da lógica é o de Proposição. Proposição "vem de propor" que significa submeter à apreciação; requerer um juízo. Sejam as proposições p = está frio e q = está quente, analise as afirmativas a seguir:

I. p V q : "está frio ou está quente".

II. p Λ ~q → p: "está frio e não está quente, mas está frio".

III. p → ~q: "se está frio então não está quente".

IV. q ↔ ~p: "está quente se e somente se não estiver frio".

Assinale a alternativa CORRETA.

Sejam as proposições p = Jesuíno toca guitarra, q = Jesuíno toca piano e r = Jesuíno toca bateria, analise as traduções das proposições para a linguagem simbólica:

I. Jesuíno toca guitarra ou piano, mas não toca bateria: (p V q) Λ ~r.

II. Jesuíno toca guitarra e piano, ou não toca guitarra e bateria: (p Λ q) V ~(p Λ r).

III. É falso que Jesuíno toca guitarra, mas não que toca bateria: ~(~p V r).

IV. É falso que Jesuíno toca piano ou bateria, mas não que toca guitarra: ~((q V r) Λ ~p).

Assinale a alternativa correta: