Lógica proposicional

RODRIGO MELO E SILVA

LÓGICA PROPOSICIONAL

FUNDAÇAO PRESIDENTE ANTONIO CARLOS
FACULDADE REGIONAL DE ARAGUARI
ARAGUARI – 2011

RODRIGO MELO E SILVA

LÓGICA PROPOSICIONAL

Trabalho apresentado ao professor Rogério Mendes da disciplina Lógica do 1º Período do Curso de Sistemas de Informação

FUNDAÇÃO PRESIDENTE ANTONIO CARLOS
FACULDADE REGIONAL DE ARAGUARI
ARAGUARI – 2011
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 é