Considere a seguinte argumentação lógica:

Todo psiquiatra é médico. 

Nenhum engenheiro de software é médico.

Portanto, nenhum psiquiatra é engenheiro de software.

Denote por x um indivíduo qualquer e simbolize por P(x) o fato de o indivíduo ser psiquiatra, por M(x) o fato de ele ser médico, e por E(x) o fato de ser engenheiro de software. Nesse contexto e com base na argumentação lógica, julgue o item seguinte.

A argumentação lógica pode ser simbolizada por