28372751317

BDQ Prova

Página 1 de 3

Avaliação: CEL0270_AV2_201301218821 » LÓGICA MATEMÁTICA
Tipo de Avaliação: AV2
Aluno: 201301218821 - CARLA HELENA MARTINS VELOZO
Professor: JORGE LUIZ GONZAGA
Nota da Prova: 5,0 de 8,0

Nota do Trabalho:

Turma: 9008/AN
Nota de Participação: 2

Data: 05/06/2013 18:13:13

a

1 Questão (Cód.: 34062)

Pontos:1,5 / 1,5

Construa a tabela verdade da proposição composta `~ (p ^^ ~p)vv (q ->
~q)` e determine se a proposição é uma tautologia, uma contradição ou uma contingência. Justifique sua resposta.

Resposta: p q ~p ~q p^~p ~(p^~p) q->~q ~(p^~p)v(q->~q) V V F F F V F V V F F V F V V V F V V F F V F V F F
V V F V V V Preposição é uma Tautologia porque os valores lógicos da ultima coluna são Verdadeiros.

Gabarito:

Como a ultima coluna da tabela verdade é toda de V, a proposição é uma tautologia.

2a Questão (Cód.: 138715)

Pontos:0,0 / 1,0

O estudo dos argumentos válidos ampliam a capacidade de tomar decisões, a partir da consideração de diversas possibilidades. Um argumento é válido se e somente se, sendo as premissas verdadeiras, a conclusão também é verdadeira. Neste caso, podemos dizer que as premissas acarretam a conclusão, ou ainda, que a conclusão se deduz das premissas. Lembrando que, a todo argumento válido temos uma implicação lógica associada, e utilizando a definição de implicação, constante na tabela de equivalencias logicas, considere como premissa: "Se nosso time vence, então comemoramos comendo uma pizza." Podemos inferir como conclusão:
Nosso time não vence e comemoraremos comendo pizza.
Nosso time não vence ou não comemoraremos comendo pizza.
Nosso time vence ou não comemoraremos comendo pizza.
Nosso time não vence ou comemoraremos comendo pizza.
Nosso time vence ou comemoraremos comendo pizza.

http://bquestoes.estacio.br/prova_resultado_preview_aluno.asp?cod_hist_prova=2977... 20/06/2013

BDQ Prova

3a Questão (Cód.: 7923)

Página 2 de 3

Pontos:0,0 / 1,0

É