Sejam as afirmações sobre Lógica Matemática:

I. considere a, b e c proposições simples e o valor lógico da proposição
A : a ? b é verdadeiro. Então, os valores lógicos das proposições compostas B : (a?c) ? (b ? c) e C: (a V c) ? (b V c) são verdadeiro e falso, respectivamente.

II. é válido o argumento: “Todo número primo é ímpar e nenhum número ímpar é par. Portanto, existe um número primo que é par”.

III. considerando A = {1,2,3} e B = [ - 1,1 ] então a proposição ?x ? A, ? y ? B;|x-y| = 2/3 é verdadeira.

IV. sejam p e q proposições simples então P:~ (p ? q) ? [ ( ~ p ? q ) V ~(p V q)] é uma contradição.

Assinale a alternativa correta: