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