ficha logica proposicional1
TRANSCRIPT
![Page 1: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/1.jpg)
O P E R A D O R E S E T A B E L A S D E V E R D A D E
Ficha 2 Lógica Proposicional AULA3/4
![Page 2: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/2.jpg)
Ficha 2 Lógica Proposicional AULA3/4
Ficha 2 Lógica Proposicional AULA3/4
Operadores proposicionais
Tanto o «e» como o «ou» são operadores proposicionais.
Um operador proposicional é uma expressão que se pode acrescentar a uma proposição ou proposições, formando assim novas proposições.
![Page 3: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/3.jpg)
Operadores proposicionais
Há muitos operadores proposicionais, além de «e» e «ou». Eis alguns deles: • Penso que; • Tenho medo que; • Se…, então… • Não. Alguns operadores aplicam-se a uma única proposição; outros aplicam-se a mais de uma. Para aplicar o operador «e» «ou» precisamos de duas proposições. Mas para aplicar o operador «Penso que» basta uma.
![Page 4: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/4.jpg)
Operadores proposicionais
Como o nome indica, os operadores proposicionais só se aplicam a proposições; não se aplicam a partes de proposições, como «é alto». Por exemplo, «é magro e alto» não exprime uma proposição. Claro que no dia-a-dia podemos dizer «É magro e alto», mas isso só acontece porque esta frase abrevia algo como «Asdrúbal é magro e alto».
![Page 5: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/5.jpg)
Operadores verofuncionais
Alguns operadores, como «ou» e «e», têm uma característica especial: são verofuncionais. Isto significa que se partirmos de duas proposições, P e Q, e se as ligarmos com «ou», por exemplo, saberemos qual é o valor de verdade de «P ou Q», desde que saibamos o valor de verdade de P e de Q.
![Page 6: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/6.jpg)
Operadores verofuncionais
Os operadores proposicionais aplicam-se a uma ou duas proposições para formar novas proposições.
Quando o valor de verdade da nova proposição é determinado unicamente
Pelos valores de verdade das proposições ligadas, e
Pelo operador aplicado,
diz-se que o operador é verofuncional. Há cinco operadores proposicionais verofuncionais: negação, conjunção, disjunção, condicional e bicondicional.
![Page 7: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/7.jpg)
Operadores verofuncionais ou conetivas proposicionais
Por exemplo, se sabemos que o Justin Bieber não está a cantar mas na praia. Então sabemos que 1 é verdadeira e 2 falsa: 1. “Justin Bieberestá a cantar ou na praia”2. J.Bieber está a cantar e na praia”. Isto contrasta com os operadores que não são verofuncionais. Por exemplo, mesmo que saibamos que o J. Bieber está na praia, isso não é suficiente para saber se é verdadeira ou falsa a proposição: Penso que J. Bieber esteja na praia.
![Page 8: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/8.jpg)
Operadores verofuncionais 2
Um operador proposicional é verofuncional quando o valor de verdade da proposição com o operador é inteiramente determinado pelo valor de verdade das proposições são ligadas por ele. Chama-se também «conetiva proposicional» aos operadores verofuncionais.
Revisão 1. O que é um operador proposicional verofuncional? Defina e dê exemplos. 2. Pressupondo que a proposição a é verdadeira e a b falsa, determine o valor de verdade das proposições c-g, se for possível; caso não seja possível, explique porquê. a) A arte é imitação. b) A arte é expressão. c) A arte não é imitação. d) A arte é expressão e imitação. e) A arte é expressão ou imitação. f) O Asdrúbal teme que a arte seja imitação. g) O Asdrúbal pensa que a arte é expressão
![Page 9: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/9.jpg)
Tabelas de verdade
Tabelas de verdade Quando um operador é verofuncional acontece algo muito interessante. Mesmo que não saibamos se Bieber está na praia ou noutro sítio qualquer, sabemos que a proposição expressa a seguir só é falsa no caso de Bieber não estar nem a cantar nem na praia: Bieber está a cantar ou na praia. O mesmo acontece com qualquer proposição da forma «P ou Q»: só será falsa se P e Q forem ambas falsas; caso contrário, será verdadeira. Podemos representar isto graficamente numa tabela de verdade
![Page 10: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/10.jpg)
Disjunção
P Q PVQ
V V V
F V V
V F V
F F F
![Page 11: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/11.jpg)
Tabelas de verdade
Uma tabela de verdade é um dispositivo gráfico que permite exibir as condições de verdade de uma forma proposicional dada. As condições de verdade são as circunstâncias que tornam uma proposição verdadeira ou falsa. Cada fila da tabela de verdade acima representa graficamente as condições de verdade do operador «ou». Neste caso, há quatro condições de verdade, que resultam da combinação dos dois valores de verdade possíveis de P e Q: podem ser ambas verdadeiras ou ambas falsas, ou pode uma ser verdadeira e a outra falsa, ou vice-versa.
![Page 12: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/12.jpg)
Através da tabela podemos ver em que condições a proposição é V OUF
P Q PVQ
V V V
F V V
V F V
F F F
Estas condições de verdade estão todas graficamente representadas nas filas da tabela. Numa tabela de verdade temos de representar todas as condições de verdade. É evidente que tanto faz que P seja verdadeira e Q falsa como o contrário: P falsa e Q verdadeira. Em ambos os casos o resultado é V. Mas temos mesmo assim de representar essas duas condições de verdade.
![Page 13: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/13.jpg)
1.Disjunção
Chama-se disjunção a uma proposição da forma «P ou Q» e disjuntas a P e a Q.
A tabela de verdade da disjunção é uma forma simples de representar graficamente o significado verofuncional da disjunção:
REGRA LÓGICA: Uma disjunção só é falsa se
ambas as disjuntas forem falsas.
![Page 14: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/14.jpg)
Expressões
Expressão canónica “Platão refletiu sobre a ética ou Aristóteles refletiu sobre a ética”. Outras expressões • “Platão ou Aristóteles refletiram sobre a ética”. • “Quem refletiu sobre a ética foi Platão ou Aristóteles.” • “Platão refletiu sobre a ética a não ser que Aristóteles tenha refletido sobre a Ética”
Chama-se disjunção inclusiva à disjunção que acabámos de estudar.
![Page 15: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/15.jpg)
Disjunção exclusiva
“Ou Bieber é bom cantor ou é apenas bonito”
REGRA LÓGICA: Uma disjunção exclusiva só é verdadeira se uma das disjuntas for verdadeira e a outra falsa.
![Page 16: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/16.jpg)
Disjunção exclusiva
P Q PVQ
V V F
V F V
F V V
F F F
![Page 17: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/17.jpg)
3. CONJUNÇÃO
Chama-se conjunção a uma proposição da forma «P e Q», e conjuntas às proposições P e Q. As condições de verdade da conjunção são evidentes:
“J. Bieber é bom cantor e é bonito”
P Q P^Q
V V V
F V F
V F F
F F F
![Page 18: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/18.jpg)
REGRA
REGRA LÓGICA: Uma conjunção só é verdadeira se ambas as conjuntas forem verdadeiras.
Outras expressões • “O conhecimento e a fé são estudados pela filosofia”. • “O conhecimento é estudado pela filosofia e a fé também.” • Tanto o conhecimento como a fé são estudados pela filosofia”. • “A filosofia estuda quer o conhecimento, quer a fé”. • “O conhecimento é estudado pela filosofia mas a fé também o é”. • “O conhecimento é estudado pela filosofia, embora a fé também o seja”
![Page 19: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/19.jpg)
3. Negação
As condições de verdade da negação são ainda mais elementares do que as da disjunção e da conjunção. Chama-se negação a qualquer proposição da forma «não P». A tabela de verdade da negação é óbvia:
P ~P
V F
F V
![Page 20: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/20.jpg)
Expressões e regra da negação
REGRA LÓGICA: Uma negação é falsa unicamente quando a proposição de partida é verdadeira, e vice- -versa.
Expressão canónica O conhecimento não é possível. Outras expressões • Não é verdade que o conhecimento seja possível. • Não é o caso que o conhecimento seja possível. • O conhecimento é impossível
![Page 21: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/21.jpg)
CONDICIONAL OU IMPLICAÇÃO
Forma canónica
“Se um bom cantor é afinado então a sua voz é um bom instrumento”
![Page 22: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/22.jpg)
Antecedente e consequente
Chama-se condicional a qualquer proposição da forma «Se P, então Q», e chama-seantecedente a P e consequente a Q.
O antecedente de uma proposição condicional é uma condição suficiente e o consequente é a condição necessária
![Page 23: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/23.jpg)
Tabela de verdade de uma condicional
P Q P→Q
V V V
V F F
F V V
F F V
![Page 24: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/24.jpg)
Expressões e regra
REGRA LÓGICA: Uma condicional só é falsa quando a sua antecedente é verdadeira e a sua consequente falsa
Outras expressões • Se há pensamento, há matéria. • Há matéria, se houver pensamento. • Há pensamento somente se houver matéria. • Há matéria caso haja pensamento. • Não há pensamento, a menos que haja matéria. • Não há pensamento, a não ser que haja matéria. • Sempre que há pensamento, há matéria. • A matéria é uma condição necessária do pensamento. • O pensamento é uma condição suficiente da matéria.
![Page 25: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/25.jpg)
Comutatividade
Um operador binário é comutativo quando a ordem das proposições
pode ser invertida sem afetar os valores de verdade. Por exemplo, a conjunção é
comutativa porque dizer que o Asdrúbal e a Fortunata são estu-
dantes de sexologia epistolar é o mesmo que dizer que a Fortunata e o Asdrúbal são estudantes
de sexologia epistolar: «P e Q» é o mesmo que «Q e P».
Ao contrário dos outros quatro operadores, a condicional não é comutativa, como se pode ver
na sua tabela de verdade
P Q P→Q
V V V
F V V
V F F
F F V
![Page 26: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/26.jpg)
BICONDICIONAIS
Bicondicional
Quaisquer duas proposições P e Q podem ser ligadas com o bicondicional, gerando uma nova proposição complexa: P se e só se Q.
A proposição P se e só se Q é verdadeira se e apenas se P e Q tiverem o mesmo valor de verdade —se ambas P e Q forem verdadeiras ou ambas falsas.
A tabela de verdade de P se e só se Q é a seguinte:
![Page 27: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/27.jpg)
P Q P ↔ Q
V V V
F V F
V F F
F F V
REGRA LÓGICA: Uma bicondicional só é verdadeira se
ambas as proposições tiverem o mesmo valor de
verdade.
A BICONDICIONAL É COMUTATIVA
![Page 28: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/28.jpg)
Equivalência
Chama-se também
equivalência
à bicondicional, pois uma bicondicional verdadeira estabelece a equivalência de valores de verdade entre duas proposições: as duas proposições componentes são verdadeiras e falsas exatamente nas mesmas circunstâncias.
![Page 29: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/29.jpg)
REVISÃO
1. Considere-se a condicional «Se Deus existe, a vida tem
sentido». a) Admitindo que Deus não existe, a condicional é verdadeira
ou falsa? Porquê? b) Admitindo que Deus existe e que não sabemos se a vida
tem sentido, é possível saber se a condicional é verdadeira ou falsa? Porquê?
c) Admitindo que a vida tem sentido, a condicional é verdadeira ou falsa? Porquê?
2. Recorrendo a tabelas de verdade e a exemplos de proposições,
explique por que razão a bicondicional é comutativa mas a condicional não.
![Page 30: Ficha logica proposicional1](https://reader034.vdocuments.com.br/reader034/viewer/2022051521/5a6e3b827f8b9a505f8b5561/html5/thumbnails/30.jpg)
REVISÕES
3.
Considere-se a bicondicional «Deus existe se, e só se, a vida tem sentido».
a) Admitindo que Deus existe e que a vida não tem sentido, a bicondicional é verdadeira ou falsa? Porquê?
b) Admitindo que Deus não existe e que a vida não tem sentido, a bicondicional é verdadeira ou falsa? Porquê?
c) Admitindo que a vida tem sentido mas que não sabemos se Deus existe, é possível saber se a bicondicional é verdadeira ou falsa? Porquê?