Lógica I

Lógica I
EaD/UFSC - 2024/01
Atividade 02
Os exercícios deverão ser resolvidos, preferencialmente, à mão em
folha pautada, escaneados ou fotografados, de modo a preservar a
ordem de 01 até 07 dos exercícios da lista, devendo ser anexados
como documento único, preferencialmente, no formato PDF.
Outros formatos de entrega são possíveis desde que sejam
entregues no formato PDF (Excel, Word, LaTeX, etc.)..
1. Traduza as seguintes fórmulas para sentenças do português.

Utilize as seguintes traduções para fórmulas atômicas:
A: Gosto de dançar; B: Gosto de feijão; C: Gosto de ler.
(a) 𝐶 ∧ 𝐴
(b) ¬((𝐵 ∧ 𝐶) → ¬𝐴)
(c) (¬𝐵 ∧ ¬𝐶) → 𝐴
(d) 𝐴 ↔ (¬𝐶 ∨ 𝐵)
(e) ¬(𝐵 ∨ 𝐴) → 𝐶
2. Supondo que A, B, C, Dtêm valores V, F, V, F, respectivamente, numa

certa valoração v, calcule o valor das fórmulas a seguir, isto é, determine
se essas fórmulas são verdadeiras ou falsas de acordo com a valoração
dada e, assim, responda quais fórmulas são satifatíveis com a valoração
dada, isto é, se a valoração é modelo das fórmulas em questão.
(a) ¬𝐵
(b) 𝐴 ∧ 𝐵
(c) (𝐴 ∧ ¬𝐵) ∨ ¬𝐴
(d) (𝐴 → 𝐵) ∧ (𝐵 → 𝐴)
(e) (𝐶 → 𝐵) ∨ ¬((¬𝐶 → 𝐷) → 𝐴)
3. Determine, por meio de tabelas de verdade, quais dos conjuntos de fór-

mulas a seguir possuem modelo. Se algum conjunto abaixo possui modelo,
indique quantos modelos possui.
(a) {𝐴, 𝐴 ∨ ¬𝐴}

(b) {¬𝐴 ∧ (𝐶 ∨ 𝐷), (𝐶 ∧ 𝐷) ↔ ¬𝐵, ¬𝐶 ↔ 𝐵}
(c) {¬(𝐴 → 𝐵), (𝐴 → 𝐵) ∧ (𝐵 ∨ ¬𝐴), ¬𝐵 ∨ 𝐵}
4. Use tabelas de verdade para determinar se as conclusões indicadas a

seguir são de fato consequência lógica das premissas, ou não:
(a) 𝐴 ↔ 𝐵, ¬𝐴 |= ¬𝐵
(b) (𝐴 ∧ 𝐵) → 𝐶, ¬𝐴, ¬𝐵 |= ¬𝐶
(c) ¬𝐴 → ¬𝐵 |= 𝐴 → 𝐵
(d) (𝐴 → 𝐵) → 𝐴 |= 𝐴
(e) ¬(𝐴 ∨ 𝐵), 𝐶 ↔ 𝐴 |= ¬𝐶
5. Verifique por meio de tablôs semânticos se as fórmulas abaixo são ou

não são válidas.
(a) 𝐴 → ((𝐴 → (𝐵 ∧ 𝐴)) → (𝐴 ∧ 𝐵))

(b) (𝐴 → 𝐵) ∨ (𝐴 → ¬𝐵)
(c) ((𝐴 ∨ 𝐵) ∧ (𝐵 ∨ 𝐶)) → (𝐴 ∨ 𝐶)
(d) ((𝐴 → (𝐵 ∨ 𝐶)) ∧ ¬𝐶) → (𝐴 → 𝐵)
(e) ((𝐴 → (𝐵 ∨ 𝐶)) ∧ ¬𝐶) ↔ (𝐴 → 𝐵)
6. Use tablôs semânticos para determinar se as conclusões indicadas a se-

guir são de fato consequência lógica das premissas, ou não:
(a) 𝐴 ∨ 𝐵 |= 𝐴 ∧ 𝐵
(b) 𝐴 ↔ 𝐺, ¬𝐴 |= ¬𝐺
(c) (¬𝐴 → 𝐵) → ¬𝐴 |= ¬𝐴
(d) 𝐴 |= (𝐴 → (𝐵 ∧ 𝐴)) → ¬(𝐴 ∧ 𝐵)
(e) 𝐴 → (𝐵 ∨ 𝐶), (𝐵 ∧ 𝐶) → 𝐷 |= 𝐴 → 𝐷
7. Marque como verdadeiro ou falso:
(a) ( ) Toda tautologia é uma fórmula válida.

(b) ( ) Qualquer conjunto de fórmulas satisfatível possui pelo menos
um modelo.
(c) ( ) O Cálculo Proposicional Clássico (CPC) é correto e incompleto.
(d) ( ) Uma lógica correta e incompleta é uma lógica que sempre pode
provar se uma dada fórmula é válida, mas não pode provar todas
as fórmulas válidas que podem ser escritas em sua linguagem.
(e) ( ) O método de tabelas de verdade é um método de prova correto,
porém incompleto.

Lógica I - Atividade 02

Enviado por

Direitos autorais:

Formatos disponíveis

Lógica I - Atividade 02

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica I - Atividade 02

Enviado por

Direitos autorais:

Formatos disponíveis

1. Traduza as seguintes fórmulas para sentenças do português.

2. Supondo que A, B, C, Dtêm valores V, F, V, F, respectivamente, numa

3. Determine, por meio de tabelas de verdade, quais dos conjuntos de fór-

(a) {𝐴, 𝐴 ∨ ¬𝐴}

4. Use tabelas de verdade para determinar se as conclusões indicadas a

5. Verifique por meio de tablôs semânticos se as fórmulas abaixo são ou

(a) 𝐴 → ((𝐴 → (𝐵 ∧ 𝐴)) → (𝐴 ∧ 𝐵))

6. Use tablôs semânticos para determinar se as conclusões indicadas a se-

7. Marque como verdadeiro ou falso:

(a) ( ) Toda tautologia é uma fórmula válida.

Você também pode gostar