Atividade realizada na aula 35

Identifica quais das proposições a seguir expressas são

proposições simples e quais são complexas:

a) A lógica é uma ciência formal como a matemática.

b) És pintor ou és mecânico.
c) Se vens ter comigo, então sabes onde estou.
d) Descartes é filósofo.
e) A vida é uma realidade misteriosa.
f) João estuda.
g) João é estudante ou cantor.
h) A Ana não é teimosa.
 São proposições complexas

- As proposições que resultam de proposições

simples ligadas por conectivas proposicionais
e
- As proposições que resultam da negação
 IMPORTÂNCIA DAS CONECTIVAS ou
Operadores Verofuncionais
Numa proposição complexa o valor de verdade depende
do valor de verdade das proposições simples e da
conectiva que as liga, daí que pode ter um valor de
verdade diferente do que teria se estivessem ligadas por
outra conectiva.

EX:
“A ponte Rainha Santa fica em Coimbra ou no
Porto” - é verdadeira
“ A ponte rainha Santa fica em Coimbra e no Porto”
– é falsa
 Conectivas ou Conectores
verofuncionais ou operadores lógicos

• São cinco

- Negação - “ não”
- Conjunção – “ e”
- Disjunção – “ou”
- Condicional – “se …então…”
- Bicondicional “Se e só se “
Formalização das proposições
Designação Exemplo Dicionário Formalização

Proposição Sócrates é filósofo P : Sócrates é filósofo P

simples
Negação Sócrates não nasceu P: Sócrates nasceu na Grécia ¬P
na Grécia
Conjunção Sócrates é grego e P: Sócrates é grego. P∧Q
filósofo Q: Sócrates é filósofo
Disjunção António compreendeu P : António compreendeu a
ou decorou a matéria matéria PVQ
Q: António decorou a matéria
Condicional Se a Arte é bela , P : A Arte é bela. P→Q
então tem valor Q: A Arte tem valor
Bicondicional A Arte tem valor se e P : A Arte é bela. P ↔Q
só se for bela Q: A Arte tem valor
 Como simbolizar proposições :
1º Colocar as proposições na forma padrão e
identificar as conectivas ou operadores
verofuncionais

Exemplo : Do estudo afincado do Pedro resultará

uma boa nota.

Forma padrão – Se Pedro estudar afincadamente,

então terá uma boa nota.
2º Construir um dicionário, o que significa
encontrar uma variável simples – P,Q,R,S , etc –
para simbolizar cada proposição simples.

Dicionário :
P: Pedro estuda afincadamente.
Q: Pedro terá uma boa nota

3ª Formalização da proposição

P→Q
 Uso de parêntesis
• O uso de parêntesis na linguagem proposicional é muito
semelhante à utilizada na linguagem matemática : serve
para indicar a ordem pela qual devem ser abordadas as
proposições

• Por Exemplo :
• Ou vou à biblioteca ou vou ao cinema. E vou ao café.

• (PVQ)∧R

• A alternativa é entre ir à biblioteca ou ao cinema. O

sujeito irá sempre ao café
 Consolidação de aprendizagens
1- Formaliza as proposições tendo em conta o
seguinte dicionário
P : O livro tem muitas páginas.
Q: O livro é muito bom.

a) O livro tem muitas páginas, mas é muito bom.

P ∧ Q
b) O livro é muito bom, apesar de ter muitas
páginas.
Q ∧P
 Consolidação de aprendizagens
C ) O livro é muito bom e é falso que o livro
tenha muitas páginas
P ∧ ⌐Q

d) É falso que o livro tenha muitas páginas, mas

é certo que é muito bom.

⌐ P∧Q
 Simboliza o conteúdo de cada uma das
alíneas apresentando o respetivo o
dicionário
1 - Se o Afonso é universitário, então não é aluno do ensino secundário e entrou na
faculdade.

2- Os bombeiros chegaram atempadamente ou não conseguiram apagar as chamas.

3- O determinismo é verdadeiro se e só se não existir livre-arbítrio.

4- O realizador receberá um Óscar se o filme for bem recebido pela crítica e muitas
pessoas forem vê-lo.

5- És um excelente cozinheiro ou esta pizza não foi feita por ti.

6- Se és extrovertido, então vais animar a noite e não terás problemas em cantar para
todos.
 Cenário de resposta
1-) DICIONÁRIO
P: O Afonso é universitário.
Q: O Afonso é aluno do ensino secundário.
R: O Afonso entrou na faculdade.

P→(¬QɅR)

2 ) Dicionário
P: Os bombeiros chegaram atempadamente.
Q: Os bombeiros conseguiram apagar as chamas.

PV¬Q
 Cenários de resposta
c) Dicionário
P: O determinismo é verdadeiro.
Q: Existe livre-arbítrio.

Formalização : P↔¬Q

d) Dicionário
P: O realizador receberá um Óscar.
Q: O filme é bem recebido pela crítica.
R: Muitas pessoas vão ver o filme.

Formalização : (QɅR)→P