WorksheetsQuiz sobre Lógica Proposicional
Total questions: 20
Worksheet time: 17mins
Qual o símbolo lógico da bicondicional:
∨
↔
→
¬
Seleciona as conectivas cujo nome e símbolo estão corretamente relacionados:
⊻ - Condicional
∨ - Conjunção
∧ - Disjunção
¬ - Negação
→ - Condicional
Qual o nome da conectiva que significa "Se x, então y"?
Seleciona as relações entre conectivas, símbolos e significados que estão corretas:
↔ - Bicondicional: "A se, e só se, B"
∧ - Conjunção: "x e y"
⊻ - Disjunção Exclusiva: "Ou nascido em Itália, ou nascido na Islândia "
∨ - Disjunção: "p ou q"
→ - Condicional: "Se isto, então aquilo"
Uma tautologia é:
Uma proposição sempre falsa em todas as linhas da tabela de verdade
Uma proposição que às vezes é verdadeira e às vezes é falsa
Uma proposição sempre verdadeira em todas as linhas da tabela de verdade
Uma proposição que depende apenas dos factos empíricos
Uma contradição é:
Uma proposição sempre verdadeira
Uma proposição sempre falsa em todas as linhas da tabela de verdade
Uma proposição que é verdadeira em pelo menos uma linha
Uma proposição equivalente a uma tautologia
Uma contingência é:
Uma proposição que é verdadeira em todas as linhas
Uma proposição que é falsa em todas as linhas
Uma proposição que é verdadeira em algumas linhas e falsa noutras
Uma proposição que não tem valor de verdade
A fórmula “p ∨ ¬p” é:
Tautologia
Contradição
Contingência
Falácia
A fórmula “p ∧ ¬p” é:
Tautologia
Contradição
Contingência
Lei de De Morgan
A fórmula “(p ∧ q) → p” é:
Tautologia
Contradição
Contingência
Não é proposição
Dizer que duas fórmulas são logicamente equivalentes significa que:
Têm exatamente as mesmas letras proposicionais
Têm o mesmo valor de verdade em todas as linhas da tabela de verdade
São ambas tautologias
São ambas contingências
A lei do terceiro excluído corresponde à fórmula:
¬(p ∧ ¬p)
p ∨ ¬p
p ∧ ¬p
¬p ∨ q
A lei da não contradição corresponde à fórmula:
p ∨ ¬p
p ∧ ¬p
¬(p ∧ ¬p)
¬(p ∨ ¬p)
Qual destas fórmulas expressa uma lei de De Morgan?
¬(p ∧ q) ↔ (¬p ∨ ¬q)
(p ∧ q) ↔ (q ∧ p)
p → q
p ↔ ¬p
Qual a fórmula que representa corretamente a seguinte frase:
"Se estudo, dizem-me que não ajudo com as tarefas de casa e que, por não ajudar, não sou responsável.
Se não estudo, dizem-me que não sou responsável. Faça o que fizer, dizem-me sempre que não sou responsável."
Dicionário proposicional:
E: "Estudo";
T: "Ajudo com as tarefas de casa";
R: "Sou responsável".
[(E → ¬T) ∧ (¬T → ¬R) ∧ (¬E → ¬R)] → [(E ∨ ¬E) → ¬R]
[(E ∧ ¬T) ∧ ¬R] → (¬T ⊻ ¬R) → ¬E ∨ (¬T ⊻ ¬R) → ¬R
[(¬T ⊻ ¬R) → ¬E] → ¬¬E ∨ (¬T ⊻ ¬R)
[(P ∨ ¬Q) → ¬R] → ¬Q
Seleciona as frases que representam corretamente a relação entre o tipo de conectiva e a verdade:
A frase "Almocei uma sopa e um prato principal" só é verdadeira se eu, de facto, almocei uma sopa e também almocei um prato principal.
A frase "bebi água ou bebi sumo ao almoço" só é falsa se eu, ao almoço, nem bebi água, nem bebi sumo.
Se tiver bebido água ao almoço, então a frase "bebi água ou bebi sumo" é verdadeira.
Se tiver bebido sumo ao almoço, então a frase "bebi água ou bebi sumo" é verdadeira.
Se tiver bebido água e sumo ao almoço, então a frase "bebi água ou bebi sumo" é verdadeira.
Se uma proposição é sempre falsa, em todas as circunstâncias possíveis, então é uma...
Uma condicional só é falsa quando a antecedente é verdadeira e a consequente é falsa.
Verdadeiro
Falso
Basta que a antecedente de uma condicional seja falsa, ou que a consequente de uma condicional seja verdadeira, para essa condicional ser ...
verdadeira
“Seleciona as frases que fazem corresponder corretamente os termos de uma proposição condicional (antecedente, consequente, condição necessária e condição suficiente).”
A antecedente de uma condicional é a condição necessária.
A antecedente de uma condicional é a condição suficiente.
A consequente de uma condicional é a condição suficiente.
A consequente de uma condicional é a condição necessária.
