CL-N3 (formalização; conectivas)

Qual é a formalização da proposição: "Se a arte é a expressão de sentimentos, a arquitetura exprime sentimentos ou não é arte."?

• Não sei!

Qual é a formalização da proposição "Se está a chover ou a nevar, então não está calor e as férias estão estragadas."?

• Não sei!

Qual é a formalização da proposição "Não é verdade que, se Deus não existe, o bem é uma ilusão e podemos fazer tudo o que nos apetece."?

• Não sei!

Qual é a formalização da proposição "Se é aluno do 10.º ano, estuda filosofia."?

• Não sei!

Qual é a formalização da proposição "É aluno do 10.º ano se, e só se, estudar filosofia."?

• Não sei!

Qual é a formalização da proposição "Descartes não é aluno do 10.º ano"

• Não sei!

Qual é a formalização da proposição "Descartes é aluno do 10.º ano e estuda filosofia."?

• Não sei!

Qual é a formalização da proposição "Descartes é aluno do 10.º ano ou estuda da filosofia."?

• P v Q

• Não sei!

Qual é a formalização da proposição "Ou Descartes é aluno do 10.º ano ou estuda filosofia."?

• P v Q

• Não sei!

• é verdadeira

• é falsa.

• possui um valor de verdade indeterminado

• é necessariamente verdadeira.

• Não sei!