Lógica

1) Elabore uma proposição na linguagem natural a partir da representação formal:

a) ~p ^ q
b) p v q
c) p q
d) p ~q

p - trabalho q - férias

~p ^ q não trabalho e tiro férias

p V q trabalho ou tiro férias

p → q
Se trabalho então posso tirar férias

p → ~q
Se trabalho então não posso tirar férias

1) Represente as proposições na forma simbólica:

Se Paulo é filosofo, então, tem uma opinião crítica
Paulo não tem uma opinião crítica
Logo, ele não é um filósofo

p - filósofo q - opinião crítica

p → q

~q

:. ~p

Ser ou não ser
Não ocorre que sou
Portanto, não sou

p v ~q

~q

:. ~p

2) Analise a questão a seguir, elaborada para o Enade (Exame Nacional de Desempenho do Estudantes), e descreva qual item presente no material didático de Lógica II poderia ser utilizado para propiciar a você condições para responder adequadamente à questão.

(ENADE – 2008) Considere a seguinte frase: Se todo homem é mortal e Sócrates é homem, então Sócrates é mortal.12 © Lógica II

Essa frase é:
I um argumento com premissas e conclusão verdadeiras
II uma proposição com antecedente e conseqüente
III um argumento condicional verdadeiro
IV uma proposição condicional verdadeira
V um argumento categórico verdadeiro

Estão certos apenas os itens:
a) I e III
b) I e IV
c) II e IV (correta)
d) II e V
e) III e V