Ae Pfug10 Ppt4
Ae Pfug10 Ppt4
Ae Pfug10 Ppt4
ARGUMENTATIVA
CONECTIVAS
TEMA II | LÓGICA FORMAL
CONECTIVAS
EXEMPLOS
▪ Peter Singer é filósofo.
▪ Peter Singer é australiano.
▪ Chove.
▪ Faz sol.
▪ Temos direitos.
▪ Temos deveres.
CONECTIVAS
EXEMPLOS
▪ Peter Singer é filósofo e australiano.
▪ Chove ou faz sol.
▪ Se temos direitos, então temos
deveres.
CONECTIVAS
VARIÁVEIS PROPOSICIONAIS
VARIÁVEIS PROPOSICIONAIS
VARIÁVEIS PROPOSICIONAIS
EXEMPLOS
P: Temos direitos.
Q: Temos deveres.
NEGAÇÃO ¬
Proposição Formalização
Não temos direitos.
É falso que tenhamos direitos.
Não é verdade que tenhamos direitos. ¬P
Não é correto afirmar que tenhamos
direitos.
CONECTIVAS
NEGAÇÃO ¬
Regra: A negação de uma frase tem o valor
de verdade oposto ao da frase de partida.
P ¬P
V F
F V
CONECTIVAS
DUPLA NEGAÇÃO ¬ ¬
P ¬P ¬¬P
V F V
F V F
CONECTIVAS
CONJUNÇÃO ∧
P: Temos direitos.
Q: Temos deveres.
Proposição Formalização
Temos direitos e deveres.
Temos direitos, mas também deveres.
Tanto temos direitos, como deveres.
P∧Q
Temos quer direitos, quer deveres.
CONECTIVAS
CONJUNÇÃO ∧
Regra: A conjunção é verdadeira se, e apenas se, as
proposições que a compõem forem ambas verdadeiras.
P Q P∧Q
V V V
V F F
F V F
F F F
CONECTIVAS
CONJUNÇÃO ∧
Como refutarias a proposição «Temos o dever de ajudar quem se
encontra em pobreza extrema, tal como temos o dever de salvar a
criança que se afoga no lago»?
Dicionário:
P: Temos o dever de ajudar quem se encontra em pobreza extrema.
Q: Temos o dever de salvar a criança que se afoga no lago.
Formalização:
P∧Q
CONECTIVAS
P: Temos direitos.
Q: Temos deveres.
Proposição Formalização
P Q P∧Q
V V V
V F V
F V V
F F F
CONECTIVAS
DISJUNÇÃO EXCLUSIVA ∨
P: Temos direitos.
Q: Temos deveres.
Proposição Formalização
Ou temos direitos ou temos
deveres.
P∨Q
CONECTIVAS
DISJUNÇÃO EXCLUSIVA ∨
Regra: A disjunção exclusiva só é falsa se, e apenas se,
as duas proposições que a compõem tiverem o mesmo
valor de verdade.
P Q P∨Q
V V F
V F V
F V V
F F F
CONECTIVAS
DISJUNÇÃO EXCLUSIVA ∨
Descreve um mundo possível em que a proposição
«Ou contribuo para organizações humanitárias ou
não ajo moralmente» seria falsa.
Dicionário:
P: Contribuo para organizações humanitárias.
Q: Ajo moralmente.
Formalização:
P ∨ ¬Q
CONECTIVAS
P: Temos direitos.
Q: Temos deveres.
Proposição Formalização
Se temos direitos, então temos deveres.
Se temos direitos, há deveres.
P→Q
Há deveres, se houver direitos.
Temos deveres, caso tenhamos direitos.
CONECTIVAS
P→Q
P→Q
Condição suficiente Condição necessária
Tudo o que é P é Q,
Tudo o que é P é Q. mas nem tudo o que
é Q é P.
Estou em Santarém. Estou em Portugal.
CONECTIVAS
P: Temos direitos.
Q: Temos deveres.
Proposição Formalização
Temos direitos se, e só se, temos
deveres.
Se temos direitos, temos deveres, e se
temos deveres, temos direitos.
CONECTIVAS