Quizz "Lógica proposicional numa escola à distância"
Põe-te à prova no domínio da lógica proposicional...
0
0
0
1
Identifica as conetivas verofuncionais: Se o Tiago é portuense então estuda filosofia.
∼P
P ↔ Q
P → Q
2
O Tiago não é portuense.
P ∧ Q
P → Q
∼P
3
O Tiago é portuense se e só se estuda filosofia.
P ∨⋅ Q
P → Q
P ↔ Q
4
O Tiago é portuense e estuda filosofia.
∼P
P ∨ Q
P ∧ Q
5
Ou o Tiago é portuense ou o Tiago estuda filosofia.
P⊻Q
∼P
P ∨ Q
6
Seleciona a afirmação correta. Uma tautologia é uma:
fórmula proposicional que é sempre verdadeira.
fórmula proposicional que é sempre falsa.
fórmula proposicional que pode ser verdadeira ou falsa.
fórmula proposicional condicional.
7
O inspetor de circunstâncias tem como objetivo:
Será um argumento válido.
Teremos que construir um inspetor de circunstâncias para podermos verificar a sua validade.
Só as tautologias nos garantem argumentos inválidos.
Será um argumento inválido.
8
O inspetor de circunstâncias tem como objetivo:
Verificar se um argumento dedutivo é válido.
Verificar em que circunstâncias é que se constrói uma contradição.
Verificar em que circunstâncias é que as conclusões são verdadeiras.
Verificar em que circunstâncias é que as premissas são verdadeiras.
9
Com base na interpretação indicada, indica a forma lógica das proposições expressas de seguida. P: há divindades. Q: A morte é o fim. Se a morte é o fim, não há divindades.
P∨¬Q
Q→¬P
P∨Q→¬P
10
Se não há divindades, a morte é o fim.
¬P→Q
¬P∧Q
¬P→R
11
Ou há divindades ou a morte é o fim.
Q∨P
P∧Q
P⊻Q
12
Indica a forma lógica das proposições: “Raimundo vai convidar Florbela, a não ser que tenha de trabalhar”.
(¬P→Q)
¬(¬P→Q)
(¬P∧Q)
13
“Raimundo admira Platão se, e apenas se, não admira Aristóteles nem Hume”.
(p ↔ (¬q ∧ ¬r))
(p↔¬(q∧ ¬r))
(p↔(¬q ∧ r))
14
Qual é a formalização correta dos argumentos seguintes? Se nós temos conhecimento moral, então os princípios morais básicos são demonstráveis ou autoevidentes. Os princípios morais básicos são demonstráveis e autoevidentes. Logo, temos conhecimento moral.
(p → (q ∨ r)),(q ∧ r)∴ p
(p → ¬q), q ∴ ¬p
(p → (q ∨ ¬r)),(q ∧ r)∴ p
15
Se Cícero é um orador persuasivo, então utiliza um discurso sedutor e cativa o auditório. Cícero é um orador persuasivo. Logo, Cícero cativa o auditório.
((p→q),q∴p
(p → ¬q), q∴ ¬p
(p → (q ∧ r)), p∴ r
16
Indica o operador principal das proposições das formas seguintes: 1)¬(P∧Q) 2)P↔(¬Q∧P) 3)P∧¬(Q∧P) 4)¬(P∧¬(Q∧P)
1) negação. 2) bibicondicional. 3) negação. 4) negação.
1) negação. 2) condicional. 3) negação. 4) negação.
1) negação. 2) bicondicional. 3) conjunção. 4) negação.
17
Indica a forma de inferência válida/inválida dos argumentos seguintes: A Clara está em casa, porque ou está na biblioteca ou em casa. Mas não está na biblioteca.
Silogismo disjuntivo
Silogismo hipotético
Falácia da afirmação do consequente.
18
É falso que a Clara esteja em casa ou na biblioteca; por isso, não está na em casa, nem na biblioteca.
Lei de De Morgan
Silogismo disjuntivo
Silogismo hipotético
19
Se a Joana está no cinema, não está no zoom; porém, ela está no zoom; logo, não está no cinema.
Modus Ponens
Modus Tollens
Contraposição
20
A Beatriz não está a divertir-se. Isto porque se está no bar, está a divertir-se. Ora, ela não está no bar.
Afirmação do consequente.
Negação do antecedente.
Modus ponens
21
Qual é o dicionário apropriado para cada um dos argumentos: Se chover levo o guarda-chuva. Se levar o guarda-chuva vou mais pesado. Logo, é melhor não levar o guarda-chuva.
P - chove, Q: levo guarda-chuva e vou mais pesado
P - chove; Q: levo guarda-chuva; R: ir mais pesado
P - chove; Q: não levo guarda-chuva; R: ir mais pesado
22
Se disser a verdade fico bem com a minha consciência. Se disser a verdade perco um amigo. Logo, se quero ficar bem com a minha consciência então vou dizer a verdade.
P - dizer a verdade; Q - ficar bem com a consciência; R- perder um amigo
P - dizer a verdade; Q - ficar bem com a consciência; R- dizer a verdade e perder um amigo
P - dizer a verdade; Q - ficar bem com a consciência; R- mentir e perder um amigo
23
Indica a falácia formal cometida: Os que trabalham por conta de outrem pagam imposto. Ora como o Luciano não trabalha por conta de outrem, deduzo que não paga impostos.
nenhum das anteriores
Falácia da afirmação do consequente
Falácia da negação do antecedente.
24
P→(Q∨R), Q∨R, ⊢P
Falácia da afirmação do consequente
Falácia da negação do antecedente
Modus ponens
25
Qual é a conclusão? Se estás concentrado, então consegues aprender lógica. Mas não estás concentrado. Logo, …
Logo, eu não tenho culpa por não aprender lógica
Logo, consegues aprender lógica
Logo, não consegues aprender lógica
