Exercícios de lógica para computação

[pic 1]	Universidade Estadual do Rio Grande do Sul Disciplina: Lógica – 2017/1 Profa. Fabrícia Damando Santos
NOME:

Lista de exercícios -  entregar

1. Para a função abaixo faça a tabela da verdade.

[pic 2][pic 3][pic 4]

F= ABC + AB + ABC + ABC[pic 5]

1. Dado os circuitos abaixo, obtenha a expressão e a tabela verdade :[pic 6]

[pic 7]

1.  Considerando as proposições simples:

P: Paulo é aprovado no exame.	R: Paulo recebe o título de doutor.
Q: Paulo conclui a tese.	S: Paulo lecionará na faculdade.
T:  Paulo ensinará no colégio.

Traduza (para a linguagem natural) as seguintes proposições compostas abaixo:

a)   (P ∧ Q) ∨  ¬R	d)   R → ( P  ∧ Q )
b)   (¬P∧ ¬Q) →  ¬S
c)   (P∧ Q ∧ R) →  ¬T

1. Considerando as proposições simples:

P: Paulo diminui os erros cometidos.	R:  Paulo aprendeu o conteúdo.
Q:  Há motivação para o estudo	S: O professor é bom.

Simbolizar (ou seja, passar para a linguagem proposicional):

1. Se o professor é bom, Paulo aprende o conteúdo.
2. Se o professor não é bom, não há motivação para  estudar.
3. O professor é bom, há motivação para o estudo e, além disso, Paulo aprende o conteúdo.
4. Paulo não aprendeu o conteúdo, ele não diminuiu os erros cometidos.
5. Se Paulo não diminuiu os erros cometidos, o professor não era bom ou não havia motivação para estudar.

1. Formalize pela lógica proposicional, criando um alfabeto e um conjunto de símbolos proposicionais, as sentenças abaixo:

1. Vai chover amanhã então preciso comprar um guarda-chuva

1. Somente se chover amanhã é que irei comprar um guarda-chuva.

1. Formalize pela lógica proposicional, criando um alfabeto e um conjunto de símbolos proposicionais, as sentenças abaixo:

1.  Nessas férias, só viajarei para a capital se e somente se você alugar uma casa bem no centro da cidade.

1. Hélio alugou a casa no centro e Jacira viajou p/ a capital.  Jacira cumpriu a promessa

1. Hélio alugou a casa no centro e Jacira não viajou p/ a capital. Jacira não cumpriu a promessa

1. Para as fórmulas abaixo, construa a tabela verdade:

1. (p V q) ^ (¬p V ¬p)
2. ( (P ↔ Q) ∧ ( (Q ∨ R) → P ) ) → (P ∨ R)
3. ¬ (A ∨ ¬B ) ↔ (¬A ∧ B)

1. Sejam as proposições:

p	Está chovendo.
q	O sol está brilhando.
r	Há nuvens no céu.
s	Está nevando.

Traduzir para a linguagem natural as seguintes fórmulas:

s→p ¬q∨¬r

(p∧q) →r

¬p→(q∨r)

1. Traduza para a lógica proposicional as sentenças abaixo:

1. A taxa de juros vai aumentar somente se a economia piorar e a taxa de desemprego continuar aumentando
2. Se a economia melhorar e a taxa de juros cair, o Brasil voltará a crescer.
3. Se a economia não melhorar ou a taxa de juros não cair, o desemprego continuará elevado e a inflação será uma crescente

1. Dado o alfabeto abaixo,apresente a interpretação paras as sentenças:

A:Argentina é um  país da  América do Sul           B: Brasil é um  país da  América do Sul  

H: Holanda é um  país da  América do Sul         M: Brasil é um  país do continente Americano

1. (B∧A) ∧¬H
2. (B↔M)  

...