Lógica Proposicional Flashcards
(24 cards)
Qual é o principal objetivo da lógica formal?
1) Estudar e garantir a validade dos raciocínios com base na sua forma, independentemente do conteúdo.
A Lógica permite construir tabelas de verdade que são…
1) Dispositivos organizados e estruturados que permitem concluir a validade dos argumentos, isto é, se são válidos ou inválidos e o valor de verdade de uma determinada proposição, ou seja, se é verdadeiro ou falsa.
A lógica traduz frases…
1) Da linguagem natural para a linguagem formal
2) Recorre para isto à formalização que se divide em dois passos: fazer o dicionário e formalizar.
3) Traduz, portanto, para linguagem/sistema de símbolos.
O que são variáveis proposicionais?
1) A cada proposição atribui-se uma letra a partir do P (P, Q, R S….)
2) Estas constituem variáveis proposicionais, uma vez que, dependendo do contexto podem expressar proposições diferentes.
O que são constantes lógica?
1) São os símbolos utilizados para expressar uma conectiva entre duas proposições simples
2)Designam-se por constantes, uma vez que, independentemente do contexto, assumem sempre o mesmo valor.
Quais são as diferentes constantes lógicas que existem?
1)Negação – símbolo: ¬
2)Conjunção – símbolo: ∧
3) Disjunção inclusiva – símbolo: ∨
4)Disjunção exclusiva – símbolo: V/
5)Condicional – símbolo: →
6)Bicondicional – símbolo: ↔
Quais são os passos para construir uma tabela de verdade?
1) Fazer o dicionário
2)Formalizar
3) Introduzir os valores de verdade
4)Calcular os valores de verdades de determinada proposição
Tabela de verdade de negação
Conclusão:
Se uma proposição é verdadeira, a sua negação é falsa;
se a proposição é falsa, a sua negação é verdadeira.
Tabela de verdade de conjunção
Conclusão:
A conjunção é verdadeira apenas quando as duas proposições são verdadeiras ao mesmo tempo.
Tabela de verdade de disjunção inclusiva
Conclusão:
A disjunção inclusiva é verdadeira quando pelo menos uma das proposições é verdadeira.
Só é falsa quando as duas são falsas.
Tabela de verdade de disjunção exclusiva
Conclusão:
A disjunção exclusiva é verdadeira apenas quando uma e só uma das proposições é verdadeira.
Se ambas forem verdadeiras ou ambas falsas, o resultado é falso.
Tabela de verdade da condicional
Conclusão:
Apenas se a antecedente for verdadeira e a consequente falsa é que a condicional será falsa.
Tabela de verdade da bicondicional
Conclusão:
Apenas se ambas forem verdadeiras ou ambas falsas é que a proposição será verdadeira.
Como podem ser classificadas as proposições de acordo com a sua tabela de verdade? Explica cada um dos conceitos.
1) De acordo com as diferentes tabelas de verdade, as proposições podem ser classificadas como: contingentes, tautologia ou contradição.
2) Contingencia: quando na sua tabela de verdade consta uma, ou mais, opções verdadeiras e falsas
3) Tautologia: quando na sua tabela de verdade apenas existem possibilidades verdadeiras
4) Contradição: quando na sua tabela de verdade, apenas existem possibilidades falsas
O que é um argumento?
1) É um conjunto de proposições organizadas e estruturadas
2) Possui uma ou mias premissas ( aquilo que visa comprovar a conclusão)
3) Possui apenas uma conclusão (aquilo que visa ser comprovado pelas premissas)
4) Todo argumento é proposição, mas nem toda a proposição é argumento
O que são entimemas?
1) Argumentos que possuem uma ou mais premissas ocultas
O que permite concluir a tabela de validade de um argumento?
1) Ao contrário das tabelas de verdade nas proposições, estas não visam provar a falsidade ou a verdade, antes mostrar se os argumentos são válidos ou inválidos
O que são argumentos válidos?
1) São aqueles que a verdade das premissas implica a verdade da conclusão, não precisando a premissa de ser necessariamente verdadeira, mas caso o fosse, garantiria a verdade da conclusão.
O que é um argumento dedutivo?
1) Um argumento dedutivo, caso válido, é aquele que inequivocamente, para premissas verdadeiras, garante a verdade da conclusão.
O que é um argumento não dedutivo?
1) É um argumento que, caso possua premissas verdadeiras não implica, necessariamente a verdade da conclusão. Assim, a conclusão será muito dificilmente falsa, mas ainda pode ser.
O que é um argumento sólido?
1) A validade é uma condição necessária, mas não suficiente para constituir um bom argumento.
2) Todos os argumentos sólidos são válidos, mas nem todos os válidos são sólidos.
3) Os argumentos sólidos são aqueles em que, para premissas efetivamente verdadeiras, a conclusão é, também, necessariamente verdadeira.
Quais são as formas argumentativas válidas? Explica cada uma delas.
1) Dupla contradição
Exemplo: Não é verdade que Picasso não seja um pintor famoso. Logo Picasso é um pintor famoso.
Explicação: O facto de ser negar duplamente a mesma proposição, faz com que, necessariamente, a proposição “Picasso é pintor” seja verdadeira.
2) Modus ponens
Exemplo: Se estiver bom tempo, então vamos à praia. Esta bom tempo, logo vamos à praia
Explicação :No Modus Ponens, o antecedente (p) é uma condição suficiente, e isso basta para garantir que, se ele acontecer, a consequência (q) também acontece.
3) Modus Tollens
Exemplo: Se estiver bom tempo, então vou jogar bola. Não fui jogar bola, então não estava bom tempo.
Explicação: O facto do consequente ser condição necessária, implica que se ele não acontece é necessário que o antecedente também não aconteceu.
4) Contraposição
Exemplo: Se me amas, então gostas de mim. Logo, se não gostas de mim, então não me amas.
Explicação: O consequente é condição necessária, ou seja, o facto dele acontecer implica o acontecimento do antecedente. Ao negarmos o consequente negamos, necessariamente, o antecedente.
5) Silogismo hipotético
Exemplo: Se tomar banho, então fico cheiroso. Se fico cheiroso, então fico bonito. Logo, se tomo banho, fico bonito.
Explicação: As condicionais expressam relações de causa e efeito, portanto, todos estes acontecimentos causais derivam da primeira causa: tomar banho.
6) Silogismo disjuntivo
Exemplo: Este animal ou é um cão ou um gato. Este animal não é um cão, logo é um gato.
Explicação: A disjunção exclusiva, como o próprio nome indica, exclui, ou seja, ou é isto ou é aquilo. O facto de não ser uma das alternativas, implica, necessariamente ser a outra.
7) Negação da conjunção
Exemplo: Não é verdade que hoje está frio e sol. Logo hoje não está frio ou calor.
8) Negação da disjunção
Exemplo: Não é verdade que hoje está calor ou frio. Logo, hoje não está calor nem frio.
O que é uma falácia?
1) Trata-se de um argumento inválido, mas que, há primeira vista, aparenta ser válido e coerente
Falácias formais
1) Afirmação do consequente
Exemplo: Se estiver calor, vamos à praia. Vamos à praia, logo esta calor.
Explicação: A condição necessária (ir à praia) pode ocorrer sem que a condição suficiente (calor) esteja presente.
Por isso, afirmar o consequente não garante a verdade do antecedente.
2) Negação do antecedente
Exemplo: Se está calor, vou à praia. Não está calor, então não vou à praia.
Explicação: O facto de estar calor é suficiente para ir à praia, mas não implica necessariamente ir à praia.
