Lógica_DAC

Quais das afirmações são proposições?

• Lisboa é a capital de França

• 5 é um número composto

• Azul

• Os olhos verdes são mais bonitos do que os castanhos

• $x+y=2$

Consideram-se falácias os argumentos que:

• contêm uma premissa errada

• cumprem as regras da inferência

• parecem ser dedutivamente válidos

• parecem ser verdadeiros

A designação de lógica bivalente utiliza-se porque:

• a lógica tem muito valor na sociedade

• a lógica é transversal a todos os temas da matemática

• a lógica é estudada nas disciplinas de matemática e filosofia

• o universo dos valores lógicos é o conjunto {V, F}

Para a lógica formal, a validade dos argumentos diz respeito à

• relação de consequência entre proposições.

• verdade ou falsidade dos argumentos.

• probabilidade da conclusão.

• certeza das premissas.

O princípio da não contradição refere que:

• uma proposição não pode ser verdadeira e falsa em simultâneo.

• uma proposição não pode ser verdadeira ou falsa em simultâneo.

• é mais seguro dizer sempre a verdade.

A partir de "Se a acrobacia é uma arte, então exprime sentimentos" e de "A acrobacia não exprime sentimentos", por modus tollens, infere-se que:

• se algo exprime sentimentos, então é arte.

• a acrobacia nunca poderá exprimir sentimentos.

• a acrobacia é uma arte, mas não exprime sentimentos.

• é falso que a acrobacia seja uma arte.

Duas proposições dizem-se equivalentes quando:

• são iguais.

• têm o mesmo valor lógico.

• uma é a negação da outra.

• têm o mesmo valor numérico.

Num inspetor de circunstâncias, um argumento formalmente válido é aquele em que cada linha que tome todas as premissas verdadeiras é uma linha em que a conclusão é:

• falsa.

• provável.

• verdadeira.

• válida.

Na matemática, os operadores lógicos são:

• $+,\ -,\ \times,\ \div$

• $\wedge,\vee,\ \Longrightarrow,\ \Longleftrightarrow,\ \sim$

• $<,>,=$

• $V,\ F$

A negação de "Se há extraterrestres, o Universo é surpreendente" é:

• O Universo não é surpreendente, se não houver extraterrestres.

• Há extraterrestres, mas o Universo não é surpreendente.

• Se o Universo não é surpreendente, não há extraterrestres.

• O Universo é surpreendente, mas não há extraterrestres.