TRABALHO nO3

INSTRUÇÕES:
1 O trabalho pode ser resolvido individualmente ou em duplas.

2 A especificação do TRABALHO nº3 estará disponível no AVA3, na aba ATIVIDADES > TRABALHOS, arquivo
Trabalho_no3.docx, no dia 04 de novembro.

3 Coloque o nome dos integrantes da equipe e as respostas das questões nos campos apropriados.

4 Poste o arquivo com as respostas na tarefa Trabalho no.3 até às 23h do dia 15 de novembro. Para aqueles que
estão resolvendo em duplas, basta apenas um dos integrantes da equipe postar o arquivo. Observe que só será
permitida uma tentativa, bem como o envio de um único arquivo.

5 Salve o arquivo em formato .docx com o seguinte nome: Trabalho_no3_nome1_nome2.docx

IDENTIFICAÇÃO:

Rafael Barbosa Kretzer e Andrei Robson da Silva

MODELOS PARA USAR NAS RESPOSTAS:

    

1º 2º 3º 4º 5º 6º 7º 8º 9º 1.
2.
3.
4.
5.
QUESTÕES/RESPOSTAS:

1. (3,5 pontos) Escreva o argumento a seguir na linguagem da lógica proposicional, indicando o significado
dos símbolos proposicionais utilizados e identificando premissas e conclusão. Verifique a validade do
argumento (utilizando refutação).

S = Segunda quinzena de dezembro

A = Tem aula
V = Vou viajar
F = Fico feliz
Premissa 1: S  A
Premissa 2: (AV)  F
Premissa 3: S
Conclusão: F

(((S  A)  ((AV)  F)) S)  F

1º 2º 3º 4º 5º 6º 7º 8º 9° 10° 11° 12° 13º 14 15°

(((S   A)  (( A  V)  F))  S)  F
V V V F V V F F F V F V V F F
7 8 11 12 6 14 13 10 15 9 4 3 5 1 2

Iniciando com F, estamos conferindo se é tautologia. Como não ocorreu absurdo o argumento não é
válido.

1º 2º 3º 4º 5º 6º 7º 8º 9° 10° 11° 12° 13º 14 15°

(((S   A)  (( A  V)  F))  S)  F
V V V F V V F F/V F V V V V V V
7 9 10 11 6 13 12 14 15 8 4 3 5 1 2
Iniciando com V, estamos tentando provar que é uma contraditória. É necessário testar com: VV, FV,
FF como NÃO ocorreu absurdo com VV, a fórmula NÃO é contraditória.
 Se é a segunda quinzena de dezembro, não tem mais aula. Se não tem mais aula e vou viajar, então
fico feliz. É a segunda quinzena de dezembro. Portanto, fico feliz.

2. (3,5 pontos) Para o enunciado a seguir:

a) analise as premissas e assinale a alternativa que apresenta a conclusão correta;
b) escreva o argumento na linguagem da lógica proposicional, indicando o significado dos símbolos
proposicionais utilizados, identificando premissas e conclusão;
c) demonstre a validade do argumento (utilizando regras de inferência).

Se Marcelo vai ao parque, então não está com calor. Marcelo não está com calor ou Liane toma um
suco gelado. Se Liane vai ao parque, então Marcelo fica em casa. Marcelo não fica em casa e Liane
toma um suco gelado.
1. MQ Premissa
M = Marcelo vai ao parque 2. QL Premissa
Q = Marcelo está com calor 3. PC Premissa
L = Liane toma suco gelado
4. CL Premissa
P = Liane vai ao parque
C = Marcelo fica em casa 5. C E(4)
Premissa 1: MQ
Premissa 2: QL 6. L E(4)
Premissa 3: PC 7. P E (MT3,5) - Conclusão
Premissa 4: CL
8.
9.

Portanto, é possível concluir, de forma correta, que:

(a) Marcelo está com calor.
(b) Marcelo vai ao parque.
(c) Liane fica em casa.
(d) Liane não vai ao parque.
(e) Marcelo não está com calor.

3. (1,0 ponto) Considere o seguinte argumento:

Se é quarta-feira, então tem aula de Lógica para Computação. Se é quinta-feira, então tem aula de
Lógica para Computação. É quarta-feira ou é quinta-feira. Portanto, tem aula de Lógica para
Computação.

QvK
QL
KL

A regra de inferência que justifica a validade do argumento é: Letra C

(a)      (b)      (c)      (d)     
   

4. (2,0 pontos) Considere os símbolos proposicionais E, T e M associados, respectivamente, às sentenças

“A água está suja.”, “Tomo água.” e “Morro desidratado.”. Considere também o argumento:

Se a água está suja, não tomo água. Ou tomo água, ou morro desidratado. A água está suja. Logo,
morro desidratado.
Analise as afirmações:
I- O argumento pode ser representado de forma simbólica como: (((E  T)  (T  M))  E)  M.
II- A validade do argumento se demonstra com regras de inferência com os seguintes passos:
1. E  T premissa
2. (T  M)  (T  M) premissa
3. E premissa
4. T E(MP,1,3)
5. T  M E(2)
6. M E(4,5) - conclusão

III- O argumento é válido, como fica demonstrado usando o método da refutação, pois existe absurdo:
((E   T)  ((T  M)  E))  M
V V V F V F V F V V F F
9 5 10 11 2 12 7 4 6 8 1 3

Assinale a alternativa correta:

(a) Somente a afirmação I está correta.
(b) Somente a afirmação II está correta.
(c) As afirmações I e II estão corretas.
(d) As afirmações II e III estão corretas.
(e) As afirmações I e III estão corretas.