Questionario Da Unidade Ii Logica
Questionario Da Unidade Ii Logica
Questionario Da Unidade Ii Logica
Respostas: a. 2
b. 4
c. 6
d. 8
e. 10
Comentário da Resposta: B.
resposta: Comentário: na sentença do enunciado, temos duas proposições
simples, que podem sem divididas conforme exposto a seguir:
𝑎: a quantidade de vacinados aumenta.
𝑏: o número de infectados será maior.
Respostas: a. 𝑃 ∧ 𝑄, 𝑃 ↔ 𝑄, 𝑅 → 𝑄
b. 𝑃 ∨ 𝑄, 𝑃 → 𝑄, 𝑃 ↔ 𝑄
c. 𝑃 ∧ 𝑄, 𝑃 ↔ 𝑄, 𝑄 → 𝑃
d. ~(𝑃 ∨ 𝑄), 𝑃 ∧ 𝑄, 𝑃 → 𝑄
e. ~(𝑃 ∧ 𝑄), 𝑃 ↔ 𝑄, 𝑄 → 𝑃
Comentário Resposta: E.
da resposta: Comentário: a tabela-verdade de uma operação de conjunção, do tipo 𝑃 ∧
𝑄, resulta em verdade apenas quando ambos os componentes são
verdadeiros. Note que a tabela do enunciado tem sua saída I falsa apenas
nessa condição, com todas as outras linhas verdadeiras. Logo, a coluna I
representa a negação de uma operação de conjunção, que podemos
descrever simbolicamente como ~(𝑃 ∧ 𝑄).
Resposta Selecionada: d. 3
Respostas: a. 0
b. 1
c. 2
d. 3
e. 4
Comentário Resposta: D.
da resposta: Comentário: Note que, na sentença do enunciado, “ficar triste” é uma
consequência causada por “você pensar diferente de mim”. Desse modo,
podemos afirmar que “você pensa diferente de mim” é uma causa (ou
antecedente) e “fico triste” é uma consequência (ou consequente). A
sentença, portanto, pode ser reescrita no formato condicional, como “se
você pensa diferente de mim, então fico triste”. Sabemos que, em uma
tabela-verdade de uma operação condicional entre duas sentenças,
teremos 4 linhas, das quais 3 serão verdadeiras e apenas 1 será falsa.
Resposta Selecionada: b. II
Respostas: a. I
b. II
c. III
d. I e III
e. II e III
Comentário da Resposta: B.
resposta: Comentário: a tabela-verdade da expressão composta pelas proposições
simples p, q e r terá 8 linhas, já que 23 = 8. Se montarmos a tabela, com
uma coluna para cada operação, chegamos ao demonstrado a seguir:
Com base na lógica proposicional, é possível dizer que, para completar a última coluna da
tabela verdade, de forma correta, os valores lógicos que faltam, na ordem de cima para
baixo, são:
Resposta Selecionada: d. F – F – F – V
Respostas: a. V – V – V – V
b. V – F – V – F
c. V – V – F – F
d. F – F – F – V
e. F – F – F – F
Comentário da Resposta: D.
resposta: Comentário: ao completarmos a tabela-verdade, temos o padrão
exposto a seguir:
b. É uma tautologia.
c. É uma contradição.
Comentário Resposta: A.
da resposta: Comentário: vamos montar a tabela-verdade da expressão do enunciado.
Respostas: a. 𝑝 ∧ ~𝑝
b. 𝑝 → ~𝑝
c. 𝑝 ↔ ~𝑝
d. ~(𝑝 ∧ ~𝑝)
e. 𝑝 ⊻ 𝑝
Comentário Resposta: D.
da resposta: Comentário: a proposição 𝑝 ∧ ~𝑝 é uma contradição, pois,
independentemente do valor lógico assumido por 𝑝, a sentença composta
será falsa. Isso ocorre porque, em uma conjunção, ambas as
componentes devem ser verdadeiras para que o resultado seja
verdadeiro. Porém, essa situação nunca ocorre, já que uma componente é
a negação da outra. Isso pode ser observado na tabela-verdade a seguir.
Comentário da Resposta: C.
resposta: Comentário: a sentença do enunciado se trata de uma disjunção
exclusiva, no formato 𝑎 ⊻ 𝑏, cujas componentes são:
𝑎: Carlos é advogado.
𝑏: Luíza é professora.
A negação da sentença do enunciado é diretamente dada por:
~(𝑎 ⊻ 𝑏): Não é verdade que ou Carlos é advogado ou Luíza é
professora.
𝑎 ↔ 𝑏 ⇔ ~(𝑎 ⊻ 𝑏)
I. 𝑐 é ~( 𝑝 ∧ 𝑞)
II. 𝑐 é 𝑝 → 𝑞
III. 𝑐 é ~𝑝 ∨ ~𝑞
Neste caso:
d. Apenas I é verdadeira.
Comentário Resposta: B.
da resposta: Comentário:
I. Afirmação verdadeira: a tabela-verdade de uma operação de conjunção,
do tipo 𝑝 ∧ 𝑞, resulta em verdade apenas quando ambas as componentes
são verdadeiras. Note que a tabela do enunciado tem sua saída 𝑐 falsa
apenas nessa condição, com todas as outras linhas verdadeiras. Logo, 𝑐
representa a negação de uma operação de conjunção, que podemos
descrever simbolicamente como ~(𝑝 ∧ 𝑞). Temos, portanto, que a
afirmação I é verdadeira.
Comentário da Resposta: A.
resposta: Comentário: A sentença do enunciado pode ser simbolicamente
escrita como 𝑎 → 𝑏, cujas componentes são:
𝑎: Hoje corro.
𝑏: Amanhã descansarei.
De acordo com as equivalências notáveis bicondicionais, sabemos
que é válida a relação a seguir:
𝑎 → 𝑏 ⇔ ~𝑏 → ~𝑎