Formalização de proposições

1. Indique o operador (ou operadores) proposicional presente nas proposições a seguir expressas.
2. Elabore o dicionário de cada uma das proposições.
3. Formalize as proposições.

A. Não é verdade que a inexistência de Deus implique que a vida humana é absurda.
B. Não é verdade que a tortura seja justificável e os fins justifiquem os meios.
C. Se a pena de morte é moralmente errada, então o aborto e a eutanásia também são.
D. A inteligência é hereditária, a não ser que seja a emotividade.
E. A eutanásia é correcta, no caso do sofrimento ser intolerável e não haver esperança de cura.
F. Para a vida ter sentido, basta Deus existir.
H. Uma condição suficiente para a vida ter sentido é Deus existir.
I. Uma condição necessária para que Deus exista é a vida ter sentido.
J. Uma acção tem valor moral se é feita por dever e vice-versa.
K. Uma condição necessária e suficiente para uma acção ter valor moral é ser feita por dever.
L. Ou Kant tem razão e o valor moral das acções não depende das consequências ou Stuart Mill tem razão e o valor moral das acções depende das consequências.

Alguns exemplos foram retidos de: Artur Polónio e outros, Criticamente – 11º Ano, Porto Editora, 2008, pág. 63.