Questão de Lógica proposicional (INSS) com gabarito

Conectivos: e (conjunção), ou (disjunção), se...então (condicional), se e somente se (bicondicional). De Morgan: negar (p e q) vira (não p ou não q); negar (p ou q) vira (não p e não q). A negação de TODO A é B é ALGUM A não é B. A condicional p então q equivale à contrapositiva: não q então não p.