Logica_Unidade3_Revisão

A Construção de Algoritmos tem como base qual Lógica?

• Lógica Formal

• Lógica Informal

• Lógica Moderna

• Lógica Pós-Moderna

Ou seja,_________, “não são considerados os conteúdos das sentenças componentes de um argumento, mas apenas a forma de articulá-las ou o modo como umas são deduzidas das outras”.

• no método Formal

• no método Informal

Não são formas validas de valorar os conteúdos elaborados na lógica computacional ( a lógica computacional tem as mesmas bases da lógica formal) todos abaixo, exceto:

• Verdadeiro e Falso.

• Verdadeiro, Falso e Talvez.

• Ainda que, Possivelmente e Talvez.

• Nenhuma das opções.

“É lógico que Pedro será aprovado nos exames, pois ele é inteligente e estuda muito e todos os alunos inteligentes e estudiosos são aprovados”.

Esse argumento foi construído embasado por ______ e que levam a uma única conclusão.

• premissas , conclusão.

• conclusões, premissas.

• premissas , razões.

São exemplo de premissas validas todas abaixo, exceto:

• Bom dia.

• Minas Gerais é um estado do Nordeste.

• A lua e feita de queijo.

• O Brasil é um país da América Latina.

“Toda proposição é idêntica a si mesma”. Ou seja, sendo P uma proposição: P é P.

• Princípio da Identidade.

• Princípio da Não Contradição.

• Princípio do Terceiro excluído.

“Uma proposição não pode ser verdadeira e falsa ao mesmo tempo”. Sendo P uma proposição tem-se: não (P e não P).

• Princípio da Identidade.

• Princípio da Não Contradição.

• Princípio do Terceiro excluído.

“Toda proposição ou é verdadeira ou é falsa, não existindo um terceiro valor que ela possa assumir”. Sendo P uma proposição tem-se: P ou não P.

• Princípio da Identidade.

• Princípio da Não Contradição.

• Princípio do Terceiro excluído.

A proposição será simples _________________.

• quando existir uma única afirmação na frase.

• quando existir mais de uma afirmação na frase.

• quando não existir uma única afirmação na frase.

• Nenhuma das opções.

Por outro lado, uma proposição é composta quando _______

• for constituída de, pelo menos, duas proposições simples “ligadas” por um conectivo lógico

• for constituída de uma proposições simples “ligadas” por um conectivo lógico

• não for constituída de, pelo menos, duas proposições simples “ligadas” por um conectivo lógico

• Nenhuma das opções.