Ficha 4 – Lógica
proposicional: Revisões. Lição 7/8
1. O que estuda a Lógica?
A lógica estuda as condições de validade dos raciocínios ou argumentos. Estuda as regras universais de validade de inferências formais e informais.
2. O que é uma variável
proposicional e um operador verofuncional?
Uma variável proposicional é uma letra ou símbolo que é usada na Lógica proposicional e representa uma proposição qualquer. Por exemplo a letra "P" pode substituir uma proposição qualquer.
Um operador verofuncional é uma expressão que liga duas proposições simples e forma uma outra proposição composta. O operador verofuncional permite saber em que condições uma proposição composta é verdadeira ou falsa.. Dê exemplos.Caso ou fico solteira. "Ou" é um operador verofuncional.
3. O que é uma tabela de verdade?
Uma tabela de verdade é um dispositivo gráfico que permite exibir as
condições de verdade de uma forma proposicional dada.
4. a) Considere a conjunção” A
Escola é boa e a vida também” Se a Escola não for boa, a conjunção é verdadeira
ou falsa?
FALSA, PORQUE PARA UMA CONJUNÇÃO SER VERDADEIRA TÊM QUE SER AMBAS AS PROPOSIÇÕES CONJUNTAS VERDADEIRAS.
B) Considere a condicional “Se
estudar passo de ano” Se considerarmos
que o antecedente é verdadeiro e o consequente falso a condicional é verdadeira
ou falsa?
FALSA, PORQUE UMA PROPOSIÇÃO CONDICIONAL SÓ È FALSA QUANDO O ANTECEDENTE É VERDADEIRO E O CONSEQUENTE FALSO:
5. Identifique e depois formalize as seguintes proposições:
a) “Se Platão era filósofo então não era ignorante.” _CONDICIONAL. Forma lógica: (P→~Q )
B) “Sempre que poupo água, sinto-me bem” CONDICIONAL. (P→Q) )
c) “Não existem tigres em Portugal” NEGAÇÃO. ~P
d) “Ou Deus existe ou a vida não faz sentido” DISJUNÇÃO EXCLUSIVA. (PV~Q)
e) “O Homem é um animal racional e não é um
deus” CONJUNÇÃO. (PΛ~Q)
f) “Nem o João nem a Maria vão ao
concerto do Justin Bieber” CONJUNÇÃO. (~PΛ~Q)
g) "Só estudo
Filosofia se e só se me derem um blusão de cabedal” BICONDICIONAL. (P⇄ Q)
6. Identifique as inferências ou
argumentos seguintes e teste a sua validade através de um Inspetor de
circunstância/tabela de verdade.
1. Se chover então molho-me.
Chove
Logo, molho-me
MODUS PONENS INFERÊNCIA VÁLIDA
Afirmação do antecedente
|
P
|
Q
|
P→Q
|
P
|
∴Q
|
|
V
|
V
|
V
|
V
|
V
|
||
V
|
F
|
F
|
V
|
F
|
||
F
|
V
|
V
|
F
|
V
|
||
F
|
F
|
V
|
F
|
F
|
||
2. É falso que copiei ou menti no teste.
Logo, não copiei e não
menti.
INFERÊNCIA VÁLIDA -APLICAÇÃO DAS LEIS DE MORGAN
Na tabela de verdade os valores de verdade das premissas
|
P
|
Q
|
~(PVQ)
|
∴~PΛ~Q
|
||
V
|
V
|
F
|
F | |||
V
|
F
|
F
|
F | |||
F
|
V
|
F
|
F | |||
F
|
F
|
V
|
V | |||
3. Se for ao concerto então fico sem dinheiro.(consequente)
Fiquei sem dinheiro
(Afirma-se o consequente na 2ª premissa)
Logo, fui ao concerto
INFERÊNCIA INVÁLIDA - AFIRMAÇÃO DO CONSEQUENTE
|
P
|
Q
|
P→Q
|
Q
|
∴P
|
|
V
|
V
|
V
|
V
|
V
|
||
V
|
F
|
F
|
F
|
V
|
||
F
|
V
|
V
|
V
|
F
|
||
F
|
F
|
V
|
F
|
F
|
||
4.No sábado ou fico a dormir ou estudo a manha inteira.
Não fiquei a dormir
Logo, estudei a manhã inteira.
Silogismo disjuntivo Válido
|
P
|
Q
|
PVQ
|
~P
|
∴Q
|
|
V
|
V
|
V
|
F
|
V
|
||
V
|
F
|
V
|
F
|
F
|
||
F
|
V
|
V
|
V
|
V
|
||
F
|
F
|
F
|
V
|
V
|
||
5. Se perder o jogo fico triste
Não fiquei triste
Logo, não perdi o jogo
INFERÊNCIA VÁLIDA - MODUS TOLLENS
(Negação do consequente)
|
P
|
Q
|
P→Q
|
~Q
|
∴~P
|
|
V
|
V
|
V
|
F
|
F
|
||
V
|
F
|
F
|
V
|
F
|
||
F
|
V
|
V
|
F
|
V
|
||
F
|
F
|
V
|
V
|
V
|
||
6. Se Aristóteles era grego
então era lógico
Aristóteles não era grego
(Na segunda premissa nego o antecedente )
Logo, não era lógico.
INFERÊNCIA INVÁLIDA, NEGAÇÂO DO ANTECEDENTE
|
P
|
Q
|
P→Q
|
~P
|
∴~Q
|
|
V
|
V
|
V
|
F
|
F
|
||
V
|
F
|
F
|
F
|
V
|
||
F
|
V
|
V
|
V
|
F
|
||
F
|
F
|
V
|
V
|
V
|
Nenhum comentário:
Postar um comentário