Escolar Documentos
Profissional Documentos
Cultura Documentos
ARGUMENTOS
VÁLIDOS, SÓLIDOS
E COGENTES
DÚVIDAS COM EXERCÍCIOS aula
anterior?
ARGUMENTOS
VALIDADE INVALIDADE
Indicador de
conclusão
Exemplo
Todos os alunos são sensatos. Todos os alunos são sensatos.
Todos os jovens de dezasseis anos Todos os jovens de dezasseis anos
são alunos. são sensatos.
Logo, todos os jovens de dezasseis Logo, todos os jovens de dezasseis
anos são sensatos. anos são alunos.
VÁLIDOS
SÓLIDOS
COGENTES
ARGUMENTOS VÁLIDOS
Argumento dedutivo
VÁLIDO
1. SÃO VÁLIDOS
2. TÊM PREMISSAS VERDADEIRAS
3. AS PREMISSAS SÃO MAIS PLAUSÍVEIS/ACEITÁVEIS
DO QUE A PRÓPRIA CONCLUSÃO E ASSIM
ACEITA-SE A MESMA (CONCLUSÃO) POR ESTAS
SEREM PERSUASIVAS
Exemplo:
CONECTIVAS PROPOSICIONAIS
“VENDEDOR: Minha senhora, este aspirador de pó
vai reduzir o seu trabalho para metade.
CLIENTE: Ótimo! Dê-me dois.”
A LÓGICA TRABALHA COM AS FRASES SIMPLES E
COMPLEXAS
Por ex:
Os filósofos são jogadores e (os filósofos são)
simpáticos
Exemplo
Disjunção exclusiva:
Ou nasci em Lx ou em Paris (ou…ou) só uma
pode ser V
Disjunção inclusiva:
Platão foi filósofo ou escritor(…ou..) se uma
for F a outra não tem que ser
A que é condição suficiente chama-se antecedente ; a que
é condição necessária chama-se consequente
OU SEJA
Expressões alternativas:
Expressões alternativas:
Embora o filme seja bom também é belo
O filme é bom mas também é belo
FORMALIZAR A DISJUNÇÃO INCLUSIVA
Formalização da disjunção inclusiva:
∨
P∨Q
Expressão canónica:
O lugar é aceitável para rapazes ou raparigas
Expressões alternativas:
Aceitam-se para o lugar rapazes ou
raparigas
O lugar é tão aceitável para rapazes
como
para raparigas REPARA QUE UMA NÃO
INVALIDA A OUTRA. SE UMA
FOR V A OUTRA NÃO TEM QUE
SER F
FORMALIZAR A DISJUNÇÃO EXCLUSIVA v
Formalização da disjunção exclusiva:
P v Q (=ou p ou q)
Expressão canónica:
Ou nasceste em Lisboa ou em Milão
Expressões
alternativas:
Nasceste ou em Lisboa ou em Milão
Nasceste em Lisboa ou em Milão mas não nos
dois sítios
FORMALIZAR A CONDICIONAL →
Formalização condicional / implicação:
P→Q
Expressão canónica:
Se o peixes têm pés então andam
Expressões alternativas:
Os peixes têm pés desde que andem
Os peixes têm pés só se andarem
FORMALIZAR A BICONDICIONAL ↔
Formalização da bicondicional / equivalência:
P↔Q
Expressão canónica:
Uma coisa só vale se for rara
Expressões alternativas:
Uma coisa só tem valor se e somente se for rara
Uma condição para alguma coisa ser
valiosa é ser rara
CONCLUI-SE QUE:
Sabes a origem?
¬P∧Q = ¬ (P ∧ Q)
aqui só se nega P
R
VAMOS treinar?
Ficha de consolidação de
conhecimentos
15minutos
Correcção da ficha
1. Formalize os seguintes enunciados
indicando as proposições simples:
A. A Star Trek foi a Marte e a Calypso.
P- Stark Trek foi a Marte
Q-Star Trek foi a Calypso
P^Q
B. A Star Trek foi a Marte mas não a Calypso
P- Stark Trek foi a Marte
C. Aceitam-se gatos ou cães
P- Aceitam-se gatos
Q-Aceitam-se cães
PvQ
D. Ou sou humano ou felino
P-sou humano
Q-sou felino P v Q
Monty Python
A tiger in Africa
SOLUÇÃO: