0% acharam este documento útil (0 voto)
19 visualizações7 páginas

Exercícios

Enviado por

tuxa552022
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd
0% acharam este documento útil (0 voto)
19 visualizações7 páginas

Exercícios

Enviado por

tuxa552022
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd

AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

Exercícios Lógica Proposicional

Uma introdução

1- Não só sai Kant como também sai Stuart Mill.

Formaliza a proposição em linguagem lógica proposicional, apresentando o dicionário, a


formalização ou fórmula e a tabela de verdade.

Nota: “não só como também” é equivalente a “e”.

Dicionário:

Formalização:

Tabela de Verdade

2- O sol e a chuva são necessários, mas eu não gosto de chuva.

Nota: “mas” é equivalente a “e”.

Dicionário:

Formalização:

Tabela de verdade:
AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

3- Ou estudas a bem ou estudas a mal.

Dicionário:

Formalização:

Tabela de verdade:

4 – ou estudas a bem ou estudas a mal, mas, se estudares a bem, vais sair-te melhor.
Nota: este exercício faremos em aula, porque ainda não demos a condicional “”se, então”
(símbolo: →)

Dicionário:

Formalização:

Tabela de verdade:
AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

5 – Estuda ou reprovas.

Dicionário:

Formalização:

Tabela de verdade:

6: Estuda ou reprovas. E depois ninguém te dá a playstation.

Dica: ninguém é uma negação (“não alguém”; deves passar a frase para a afirmativa no
dicionário: “alguém te dá a playstation” e depois acrescentar a negação na fórmula )

Dicionário:

Formalização:

Tabela de verdade:

7: Não faz sol nem está frio. Mas vou levar casaco.

Dica: nem é o mesmo que “e não”, ou seja, duas operações lógicas.


AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

Dicionário:

Formalização:

Tabela de verdade:

8 – Platão era filósofo, mas Shakespeare não.

Dicionário:

Formalização:

Tabela de verdade:

9 – Não é verdade que chove e faz frio.

Dicionário:

Formalização:

Tabela de verdade:
AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

Conectivas de menor e maior âmbito

10 - Nas fórmulas abaixo, o que resolves em primeiro lugar (operação de menor âmbito)?
E o que resolves em último lugar? Maior âmbito.

O que resolves em último lugar, dizemos que é a operação de maior âmbito.

A) (P ∨ Q) ∧ ~R
B) ~ (P ∨ Q)

10.1- Para cada fórmula, inventa uma proposição complexa que a expresse. De
seguida, faz os dicionários de cada fórmula. E, finalmente, faz as tabelas de
verdade.

Nota: não te esqueças que para saberes quantas linhas a tabela tem, deves fazer o
cálculo de 2 elevado ao número de proposições.

Dicionários

11. Faz o dicionário e formaliza as proposições expressas pelas seguintes frases:

a) A filosofia e o português não são fáceis.


b) Lógica é fácil, mas estudá-la não.
c) Lógica é interessante, mas estudá-la não é fácil.
d) Ninguém disse que era fácil, mas vai valer a pena.

Pensar e ou tabelas de verdade

12. Considera a fórmula (P ∧ Q)


AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

12.1) Se P for falsa e Q verdadeira, qual é o valor de verdade da conjunção? Porquê?

Não precisas de fazer uma tabela de verdade para descobrir, mas podes fazer.

A conjunção é falsa, porque a conjunção só é verdadeira se todas as proposições, neste


caso P e Q, forem verdadeiras.

12.2) Se P for falsa e Q verdadeira, qual é o valor de verdade de ~P ∧ Q?


Para esta, podes fazer a tabela de verdade, e ver qual é o valor de verdade na
circunstância (linha) em que P é F e Q verdadeira. Mas, se pensares, podes chegar
à conclusão sem a tabela.

13. Ou Paulo é português ou Paulo não é português. É uma disjunção inclusiva ou


exclusiva?

Apresenta o dicionário, formalização e tabela de verdade.

Análise de argumentos com a condicional. Para fazermos em aula!


Nota: para sinalizarmos uma conclusão (“logo”, “por isso”, “consequente”, “por
conseguinte”), usamos o símbolo ∴

14. Se os unicórnios estão pendurados nas paredes, então estão vivos.


Os unicórnios estão pendurados nas paredes. Logo estão vivos.

Dicionário:

Formalização:

Tabela de Verdade:

15. A Joana é inteligente.

A Joana estuda no Balliol College.

Logo, todos os alunos do Balliol College são inteligentes.


AGRUPAMENTO DE ESCOLAS DE VENDAS NOVAS

É válido? Porquê?

Dicionário:

Formalização:

Tabela de verdade

Você também pode gostar