Nomeie os elementos e escreva as frases abaixo usando a lógica de predicados de primeira ordem.

(a) Trovejou.

(b) Aefora é forte e Bagor não é.

(c) Se Cedur ou Danali não se moverem então os dois se darão mal.

(d) Todo homem é corrupto se e somente se não existir homem que não seja.

(e) Existe pessoas que são felizes e pessoas que não.​