Lógica Proposicional

A conetiva presente na proposição «Não é verdade que o António saiba nadar» Éuma:

• Conjunção

• Negação

• Disjunção exclusiva

• Bicondicional

«Heitor é musíco e escritor» é:

• Uma proposição simples

• Uma proposição composta

A proposição «Ou o António sabe nadar ou não sabe nadar» é

• Condicional

• Disjunção exclusiva

• Disjunção inclusiva

• Conjunção

Qual das seguintes proposições é uma bicondicional?

• Se chover vou à praia

• Se chover vou à praia e ao cinema

• Se chover vou à praia e vice-versa

• Chove e vou à praia

A proposição «Caso a Joana saiba nadar, é capaz de ir à praia» é uma:

• Disjunção inclusiva

• Conjunção

• Disjunção exclusiva

• Condicional

Na lógica, por dicionário entende-se a:

• a lista das proposições simples existentes na proposição composta

• A lista das proposições compostas num argumento

• A lista dos conceitos numa proposição

• A lista dos conetores da proposição complexa.

No dicionário:

• Devem entrar os conetores

• Não devem entrar os conetores

A formalização consiste em:

• Transformar, na proposição, a linguagem simbólica em linguagem natural

• Transformar, na proposição, a linguagem natural em linguagem simbólica

• Criar tabelas de verdade

• Avaliar o valor de verdade das proposições

• Se for à escola, terei um bom futuro ou emprego.

• Vou à escola e à piscina e depois vou correr.

• Se for bom aluno, terei boas classificações e um bom futuro.

• Se for à escola terei um bom futuro e não passarei necessidades.

A proposição «As sereias não existem» pode ser formalizada por:

• P