Atividade Avaliativa A2 MATEMTICA (2016 1)

Lgica Proposicional UAs 11, 12 e 13

Enunciado:
Em cada questo, voc deve escolher apenas um item, entre trs apresentados e,
utilizando-se da linguagem de proposies lgicas e de tabelas verdade, deve
verificar se a afirmao do item verdadeira, ou no.
Cuidado para no usar apenas o senso comum (utilize o conhecimento de Lgica
Proposicional estudado nas UA 11, 12 e 13) e preste muita ateno no uso dos
conectivos.
Um exemplo apresentado aps as 4 questes. Cada questo vale 2,5 pontos.
Antes de enviar sua Tarefa, leia as Orientaes para esta atividade.

Questo 1. Considere a proposio : Reduzimos os preos e aumentamos as vendas.

(a) Uma negao da proposio

: Se no reduzimos os preos ento no

aumentamos as vendas.
(b) Uma negao da proposio

: No reduzimos os preos e no aumentamos as

vendas.
(c) A proposio

equivalente a: Se aumentamos as vendas ento reduzimos os

preos.

Questo 2. Dada a proposio

: Se Lincoln foi ao banco ento ele no est sem

dinheiro.
(a) A proposio

equivalente a: Se Lincoln est sem dinheiro ento ele no foi

ao banco.
(b) A proposio

equivalente a: Lincoln no foi ao banco ou ele no est sem

dinheiro.
(c) Uma negao da proposio

: Lincoln foi ao banco e ele est sem dinheiro.

Questo 3: Dada a proposio : Ou Joo no mentiu, ou ele culpado.

(a)

A proposio

equivalente a: Se Joo mentiu ento ele culpado.

(b)

A proposio

equivalente a: Joo mentiu e ele culpado.

(c)

Uma negao da proposio

culpado.

: Joo no mentiu se, e somente se, ele

Questo 4: Considere a seguinte proposio

: Se o projeto foi enviado no prazo e aprovado pelo diretor ento a verba para
execuo foi liberada.
(a) Uma negao da proposio

: Se o projeto no foi enviado no prazo ou no

foi aprovado pelo diretor ento a verba para execuo no foi liberada.
(b) A proposio

equivalente a: O projeto no foi enviado no prazo ou no foi

aprovado pelo diretor, ou a verba para execuo foi liberada.

(c) A proposio

equivalente a: Se a verba para execuo no foi liberada ento

o projeto no foi enviado no prazo ou no foi aprovado pelo diretor.

Exemplo:
Considere a proposio (composta) : Analice pratica natao e estuda Filosofia.
(a)

Uma negao da proposio

: Analice no pratica natao ou no estuda

Filosofia.
(b)

Uma negao da proposio

: Analice no pratica natao e no estuda

Filosofia.
(c)

A proposio

equivalente a: Se Analice pratica natao ento estuda

Filosofia.
Escolhendo o item (a):
Definindo:
= Analice pratica natao.
= Analice estuda Filosofia.
Assim, a proposio

na linguagem de lgica proposicional fica:

Analice pratica natao e estuda Filosofia.

Item (a): Uma negao da proposio

: Analice no pratica natao ou no estuda

Filosofia.
Usando a linguagem de lgica proposicional, o item (a) est afirmando que
equivalente a

. Vamos verificar usando tabela verdade:

Pela tabela verdade verificamos que as proposies

equivalentes uma vez que as colunas de

e de

so
apresentam

valores lgicos iguais em todas as linhas. Portanto, a afirmao do item (a)

verdadeira.
Escolhendo o item (c):
Definindo:
= Analice pratica natao.
= Analice estuda Filosofia.
Assim, a proposio

na linguagem de lgica proposicional fica:

Analice pratica natao e estuda Filosofia.

Item (c): A proposio

equivalente a: Se Analice pratica natao ento estuda

Filosofia.
Usando a linguagem de lgica proposicional, o item (c) est afirmando que
equivalente a

. Vamos verificar usando tabela verdade:

Pela tabela verdade verificamos que as proposies

uma vez que as colunas de

e de

no so equivalentes

no apresentam valores lgicos iguais em

todas as linhas. Portanto, a afirmao do item (c) no verdadeira.