Você está na página 1de 7

Fabrício Oliveira Sousa

Trabalho de Noções Lógicas

Fundação Presidente Antonio Carlos


Faculdade Regional de Araguari
Araguari 2011
Fabrício Oliveira Sousa
Trabalho de Noções Lógica

Trabalho ao professor Rogério da matéria Lógica de Programação do 1°


Período do Curso de Sistemas de Informação

1. Escreva no formato da Lógica Proposicional as frases: (9,0


Pontos)
A) O Inverno é rigoroso em Curitiba mas suave em Salvador.

H = O Inverno é rigoroso em Curitiba mas suave em Salvador.

P = O inverno é rigoroso em Curitiba

Q =O inverno é suave em Salvador

RESP: H=P^Q

B) Tanto Tarantino como Woody Allen são diretores de cinema.

H = Tanto Tarantino como Woody Allen são diretores de cinema.

P=Tanto Tarantino é diretor de cinema


Q= Woody Allen é diretor de cinema

RESP: H=P^Q

C) Uma frase declarativa com sentido ou é verdadeira ou é falsa.

H= Uma frase declarativa com sentido ou é verdadeira ou é falsa.

P=Uma frase declarativa com sentido é verdadeira

Q= Uma frase declarativa com sentido é falsa

RESP: H = ¬(P ^ Q)

D) A Maria Albertina ou é casada ou é solteira.

H = A Maria Albertina ou é casada ou é solteira.


P = A Maria Albertina é casada.
Q = A Maria Albertina é solteira

RESP: H = ¬(P ^ Q)

E) Não há dogmas em Filosofia.

H = Não há dogmas em Filosofia.

P = Há dogmas em Filosofia
RESP: H = ¬P

F) Quer Protágoras quer Górgias foram sofistas.

H = Quer Protágoras quer Górgias foram sofistas.

P = Pitágoras foi sofista.

Q = Górgias foi sofista.

RESP: H=P^Q

G) É impossível alcançar conhecimentos objetivos em Filosofia.

H = É impossível alcançar conhecimentos objetivos em Filosofia.

P = É possível alcançar conhecimentos objetivos em Filosofia.

RESP: H = ¬P

H) Não é verdade que o homem não é livre.

H= Não é verdade que o homem não é livre.

P=É verdade que o homem não é livre.

RESP: H= ¬p

I) Platão estuda para o teste de Filosofia ou vê televisão.

H=Platão estuda para o teste de Filosofia ou vê televisão.

P= Platão estuda pra o teste de filosofia

Q=Platão vê televisão
RESP: H= P v Q

J) Platão estuda para o teste de Filosofia mas não vê televisão.

H = Platão estuda para o teste de Filosofia mas não vê televisão.

P = Platão estuda para o teste de Filosofia

Q = Platão vê televisão

RESP= H= P ^ ¬Q

k) Não é verdade que se possa estudar a ver televisão.

H= Não é verdade que se possa estudar a ver televisão.

P= Estudar

Q=Ver televisão

RESP= H=¬(P ^ Q)

l) É falso que se possa estudar a ver televisão.

H= É falso que se possa estudar a ver televisão.

P=Posso Estudar

Q= Ver Televisão

RESP=H=¬(P ^Q)

m) Sempre que o preço da gasolina diminui, o mercado de automóveis


cresce.

H= Sempre que o preço da gasolina diminui, o mercado de automóveis


cresce.

P=O preço da gasolina diminui


Q= O mercado de automóveis cresce

RESP= H= P -> Q

n) Nem a Gertrudes nem o Sebastião estudaram para o teste de


Filosofia.

H=Nem a Gertrudes nem o Sebastião estudaram para o teste de


Filosofia.

P= Gertrudes não estudou pro teste de filosofia

Q=Sebastião não estudou pro teste de filosofia

RESP=H=P ^ Q

o) Não recebemos salário se não tivermos emprego.

H= Não recebemos salário se não tivermos emprego.

P= recebemos salário

Q= tivemos emprego

RESP=H=¬P -> ¬Q

p) Quando negligenciamos os trabalhos escolares, sofremos as


consequências.

H=Quando negligenciamos os trabalhos escolares, sofremos as


consequências.

P=Negligenciamos os trabalhos

Q=Sofremos as conseqüências

RESP=H=P -> Q

q) Caso o meu raciocínio seja válido, não errarei o exercício.

H=Caso o meu raciocínio seja válido, não errarei o exercício.


P=Raciocínio seja válido

Q=errarei o exercício

RESP=H=P -> ¬Q

r) Uma ação tem valor moral se, e somente se, for praticada por dever.

H=Uma ação tem valor moral se, e somente se, for praticada por dever.

P=Ação tem valor moral

Q=Ação foi praticada por dever

RESP=H=P <-> Q

2. Determine, utilizando tabelas verdade, as condições de


verdade das proposições expressas nas frases c) e j). (1,0 Ponto)

C) H = ¬(P ^ Q)

P Q (P ^ Q) ¬(P ^Q)

F F F T

T F F T

F T F T

T T T F

J)Tabela Verdade

P Q ¬Q (P ^¬ Q)

T T F F

F T F F

F F T F

T F T T