Considere a seguinte afirmativa:
Ser analista de sistemas é condição necessária porém não suficiente para ser engenheiro de software.
Considere os predicados A(x) e E(x) que representam respectivamente que x é analista de sistemas e que x é engenheiro de software.
Uma representação coerente da afirmativa acima, em lógica de primeira ordem, é
