WorksheetsLógica Proposicional
Total questions: 18
Worksheet time: 12mins
Indique qual ou quais das seguintes expressões são proposições:
7
3x + 5 = 10
3+4=7
4>5
O Porto é a capital de Portugal
A fórmula: (p∨∼q)⟶∼q é logicamente equivalente a:
∼p ∨ ∼q
p ∨ ∼q
∼p ∨ q
∼q
p
Sejam p, q e r as seguintes proposições:
p = O triângulo é retângulo
q = O triângulo é equilátero
r = O triângulo é isósceles
A proposição "Se o triângulo é isósceles, então não é retângulo ou não é equilátero", é representada por:
r → (∼q ∨ ∼p)
(r → ∼q) ∨∼p
r → ∼(q ∨ p)
É possível encontrar uma fórmula lógica, contendo apenas negações e disjunções, que seja equivalente a qualquer fórmula lógica.
Verdadeiro
Falso
É possível encontrar uma fórmula lógica, contendo apenas negações e implicações, que seja logicamente equivalente a qualquer fórmula lógica.
Verdadeiro
Falso
Qual das fórmulas está na Forma Normal Disjuntiva (FND)?
(∼ p ∧ q) ∨ (∼ q ∧ ∼ r)
(∼ p ∨ q) ∧ (p ∨ ∼ q)
~(p ∧ q) ∨ ~(q ∧ p)
O argumento {P1,P2,...,Pn}⊨Q é válido se somente se P1∧P2∧...∧Pn⟶Q é uma tautologia.
Verdade
Falso
Na última coluna desta tabela de verdade deverá estar:
VVFF
VFVF
FFFV
VVVF
É uma tautologia a equivalência entre p→q e
p ∨ q
¬ p ∨ q
p ∨ ¬ q
¬ p ∧ ¬ q
A proposição "se p então q" é representada por:
p ∨ q
q → p
p ↔ q
p → q
Qual das seguintes proposições é uma contradição:
p → p
p ∨ ¬ q
p ∧ ¬ p
(p ∧ q) → p
Qual das seguintes proposições é uma tautologia:
p → ¬ p
p ∨ ¬ q
p ∧ ¬ p
(p ∧ q) → p
Se duas proposições p e q forem falsas então são verdadeiras as proposições:
p ∨ q e p ∧ q
p → q e p ↔ q
p → q e p ∨ q
p ↔ q e p ∨ q
Sendo p uma proposição verdadeira e q uma proposição falsa, então a proposição (p∨q)⟶q é:
Verdadeira
Falsa
Na figura está representada a tabela de verdade de uma fórmula f.
f pode ser:
(p ∧ ¬ q) → p
p → (p ∧ ¬ q)
p → (p ∨ ¬ q)
(p ∨ ¬ q) → p
Se existe água no planeta M74X, então existe vida nesse planeta. Se não existe vida no planeta M74X então:
Existe vida no planeta M74X
Existe água no planeta M74X
Não existe água no planeta M74X
Na última coluna da tabela de verdade deverá estar: (a)
(apresente a sua resposta escrevendo apenas V e F sem espaços)
Sabendo que (p∧q)⟶r é falsa. Qual é, respetivamente, o valor lógico de p, q e r?
V, V, V
F, F, F
V, V, F
F, V, F
