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.