Free Printable Lógica

1.

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

a)

Lisboa é a capital de França

b)

5 é um número composto

c)

Azul

d)

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

e)

$x+y=2$

2.

Consideram-se falácias os argumentos que:

a)

contêm uma premissa errada

b)

cumprem as regras da inferência

c)

parecem ser dedutivamente válidos

d)

parecem ser verdadeiros

3.

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

a)

a lógica tem muito valor na sociedade

b)

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

c)

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

d)

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

4.

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

a)

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

b)

verdade ou falsidade dos argumentos.

c)

probabilidade da conclusão.

d)

certeza das premissas.

5.

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

a)

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

b)

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

c)

é mais seguro dizer sempre a verdade.

6.

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:

a)

se algo exprime sentimentos, então é arte.

b)

a acrobacia nunca poderá exprimir sentimentos.

c)

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

d)

é falso que a acrobacia seja uma arte.

7.

Duas proposições dizem-se equivalentes quando:

a)

são iguais.

b)

têm o mesmo valor lógico.

c)

uma é a negação da outra.

d)

têm o mesmo valor numérico.

8.

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 é:

a)

falsa.

b)

provável.

c)

verdadeira.

d)

válida.

9.

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

a)

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

b)

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

c)

$<,>,=$

d)

$V,\ F$

10.

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

a)

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

b)

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

c)

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

d)

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

11.

A negação da proposição "todo o múltiplo de 3 é múltiplo de 6" é:

a)

Nenhum múltiplo de 3 é múltiplo de 6.

b)

Todo o múltiplo de 6 é múltiplo de 3.

c)

Existe, pelo menos, um múltiplo de 3 que não é múltiplo de 6.

d)

Não existem múltiplos de 3 e de 6.

12.

"Infere-se que tens saúde. Tens saúde ou fome. Ora, não tens fome. " Este argumento é um exemplo de:

a)

um modus tollens.

b)

um silogismo disjuntivo.

c)

um silogismo hipotético.

d)

uma falácia de afirmação do consequente.

13.

A proposição "Se chover, então vou estudar", é falsa se:

a)

chover e eu não estudar.

b)

chover e eu estudar.

14.

Não é uma forma de inferência válida:

a)

a contraposição.

b)

o modus ponens.

c)

a negação do antecedente.

d)

a negação dupla.

15.

A proposição" Se as galinhas têm dentes, então há elefantes que voam", é:

a)

Verdadeira.

b)

Falsa.

16.

Atente na afirmação seguinte:

"Aristóteles viveu e trabalhou em Atenas, apesar de ter nascido em Estagira."

Para formalizar a proposição expressa pela afirmação anterior, o dicionário correto é:

a)

P: Aristóteles viveu em Atenas; Q: Aristóteles trabalhou em Atenas; R: Aristóteles nasceu em Estagira.

b)

P: Aristóteles viveu em Atenas; Q: Aristóteles trabalhou em Atenas; R: Ter nascido em Estagira.

c)

P: Aristóteles viveu e trabalhou em Atenas; Q: Aristóteles nasceu em Estagira.

d)

P: Aristóteles viveu em Atenas e trabalhou em Atenas; Q: Apesar de ter nascido em Estagira.

17.

Considere as proposições:

p: faço campismo.

q: vou à praia.

r: apanho sol.

traduza, simbolicamente, a proposição:

"apanho sol quando vou à praia".

a)

$r\Longrightarrow q$

b)

$q\Longrightarrow r$

c)

$\sim r\Longrightarrow q$

d)

$\sim r\Longrightarrow\sim q$

18.

Atente no argumento seguinte:

Se a alma for eterna, vale a pena sermos bons. Ora, a alma não é eterna. Portanto, não vale a pena sermos bons.

O argumento anterior é um caso:

a)

de inferência por modus ponens.

b)

de inferência por modus tollens.

c)

da falácia da negação da antecedente.

d)

da falácia da negação da consequente.

19.

A contrarrecíproca da implicação:

Se chove, então há nuvens", é:

a)

se há nuvens, então chove.

b)

se não chove, então não há nuvens.

c)

se não há nuvens, então não chove.

d)

se não há nuvens, então chove.

20.

Afirmar que "Não é verdade que a guerra implica matar inocentes ou que a guerra é sempre injusta" é o mesmo que afirmar que...

a)

a guerra não implica matar inocentes ou a guerra não é sempre injusta.

b)

a guerra implica matar inocentes e a guerra não é sempre injusta.

c)

a guerra não implica matar inocentes e a guerra é sempre injusta.

d)

a guerra não implica matar inocentes e a guerra não é sempre injusta.

21.

$\sim a\Longrightarrow b$

Sabendo que a proposição acima é falsa, qual é o valor lógico da proposição:

a\vee b

?

a)

Verdadeiro

b)

Falso

22.

Considere as fórmulas lógicas proposicionais que se seguem. Selecione, depois, a alternativa que as descreve corretamente.
1. ((P→Q)∧(P∧¬Q))

2. (¬(P∨Q)→(¬P∧¬Q))

a)

1 e 2 são tautologias.

b)

1 e 2 são contradições.

c)

1 é tautológica, mas 2 é contraditória.

d)

2 é tautológica, mas 1 é contraditória.

23.

Qual das seguintes proposições representa uma tautologia?

a)

$p\Longleftrightarrow\sim p$

b)

$p\Longrightarrow\sim p$

c)

$p\Longleftrightarrow\sim\left(\sim p\right)$

d)

$\sim p\Longrightarrow\sim\left(\sim p\right)$

24.

Considerando que P abrevia "a vida faz sentido", Q abrevia "há eternidade" e R abrevia "Deus existe", a frase "A vida não faz sentido nem há eternidade caso Deus não exista"

expressa uma proposição com a seguinte forma lógica:

a)

((¬P∧¬Q)→¬R)

b)

(¬R→(¬P∧¬Q))

c)

(¬R→¬(P∧Q))

d)

((¬P∧¬Q)∧¬R)

25.

$\forall x\in Z,\ 2x=3$

Qual é a negação da proposição anterior?

a)

$\forall x\notin Z,\ 2x\ne3$

b)

$\forall x\in Z,\ 2x\ne3$

c)

$\exists x\in Z,\ 2x=3$

d)

$\exists x\in Z,\ 2x\ne3$

26.

A partir de "Se Deus existe, então não há mal no mundo" e de "Há mal no no mundo", por modus tollens, infere-se que...

a)

Não há mal no mundo.

b)

Há mal no mundo.

c)

Deus não existe.

d)

Deus existe.

27.

$\sim\left(\forall x:\ \sim p\left(x\right)\ \vee q\left(x\right)\right)$

Utilizando as segundas Leis de De Morgan, a que é equivalente a proposição anterior?

a)

$\exists x:\ \sim p\left(x\right)\ \vee q\left(x\right)$

b)

$\exists x:\ p\left(x\right)\ \vee\sim q\left(x\right)$

c)

$\exists x:\ p\left(x\right)\ \wedge\sim q\left(x\right)$

d)

$\forall x:\ p\left(x\right)\ \wedge\sim q\left(x\right)$

28.

Uma tabela de verdade é:

a)

o mesmo que inspetor de circunstâncias.

b)

um dispositivo gráfico que permite identificar em que situações um argumento é válido ou inválido.

c)

um dispositivo gráfico que permite identificar em que casos uma proposição complexa é verdadeira ou falsa.

d)

um dispositivo gráfico que permite aferir em que casos as proposições são válidas ou inválidas.

29.

$\overline{A\cup\overline{B}}$
A que é igual o conjunto acima?

a)

$A\cap B$

b)

$\overline{A}\cap B$

c)

$\overline{A}\cap\overline{B}$

d)

$\overline{A}\cup B$

30.

Considere as fórmulas lógicas argumentativas que se seguem. Selecione, depois, a alternativa que as descreve corretamente.

1. (P∨¬Q),(Q→R)∴(R∧¬P)

2. (P∨Q), P∴¬Q

a)

1 e 2 são válidas.

b)

1 e 2 são inválidas.

c)

1 é válida e 2 é inválida.

d)

1 é inválida e 2 é válida.

Lógica_DAC

Total questions: 30

Worksheet time: 37mins

Similar Resources on Wayground