De acordo com a lógica proposicional, mais precisamente, a

A Se x é par, então x é primo. B x não é par ou x não é primo. C Se x não é par, então x é não primo. D x não é par e x é primo. E x não é par e x não é primo.