Unidade 2 - Lógica Formal Flashcards
(38 cards)
De quantas maneiras é possível que um argumento seja caracterizado e quais?
É possível que um argumento seja caracterizado de duas maneiras diferentes.
Dedutivo: que é um argumento que se pretende que as premissas garantam ou estabeleçam a conclusão.
Não dedutivos: que é um argumento em que se pretende que as premissas apoiem ou suportem a conclusão.
O que é um argumento dedutivamente válido?
Um argumento dedutivamente válido é quando é contraditório ou impossível ter as premissa todas verdadeiras e a conclusão falsa.
Exemplo:
(1) Sócrates era um homem.
(2) Todos os homens são mortais.
(3) Sócrates é mortal.
O que é a Lógica proposicional clássica?
A lógica proposicional clássica é um instrumento para distinguir os argumentos dedutivamente válidos dos inválidos.
É designada clássica, para distinguir das restantes lógicas contemporâneas e porque aceita o princípio da bivalência, ou seja, cada proposição só pode ser verdadeira ou falsa.
Qual é a importância de avaliar a validez do argumento?
A importância de avaliar a validez de um argumento é que se tiverem um caráter dedutivo mas forem inválidos, saberemos imediatamente que são maus argumentos.
O que é uma proposição simples?
Uma proposição simples é uma proposição sem qualquer conetiva ou operador proposicional.
O que é uma proposição complexa, ou composta?
Uma proposição complexa, ou composta, é uma proposição com pelo menos uma conetiva, ou operador proposicional.
O que é uma conetiva, ou operador proposicional?
Uma conetiva, ou operador proposicional é uma expressão do tipo “se… então”, “não”, “e”, “ou”, etc… que se adiciona a proposições simples de modo a formar novas proposições.
Exemplo:
SE está calor, ENTÃO vou à praia.
Quais são os símbolos das diversas conetivas, ou operadores proposicionais verofuncionais?
Ver no manual pagina 36 ou no resumo escrito.
O que são variáveis proposicionais?
As variáveis proposicionais são um número infinito e corresponde a uma proposição simples, e é utilizado as letras minúsculas tal como “p”, “q”, “r”, etc…
O que é o dicionário?
O dicionário é uma lista utilizada para um determinado caso com as proposições simples, sem qualquer operador ou conetiva.
O que é o operador da negação?
O operador da negação, que na linguagem natural surge com a expressão “não”.
Exemplo:
“A tortura NÃO é moralmente correta.”
O que é o operador da conjunção?
Tipicamente, a conjunção é com o proposito de juntar duas proposições simples, é utilizado a linguagem natural o “e”, “tanto…como”, “mas… também”, etc…
Exemplo:
“Sócrates foi um importante filósofo E Platão desenvolveu um pensamento original”.
O que é o operador da disjunção inclusiva?
O operador da disjunção inclusiva é uma disjunção em que um ou ambos os disjuntos podem ser simultaneamente verdadeiros e na linguagem natural é utilizado o “ou”.
Exemplo:
“O José OU a Vera ganhou o Euromilhões”, contudo, ambos podem ter ganho ao mesmo tempo.
O que é o operador da disjunção exclusiva?
O operador da disjunção exclusiva é uma disjunção em que os disjuntos não podem ser simultaneamente verdadeiros e na linguagem natural é utilizado o “ou…ou”
Exemplo:
“OU Sócrates nasceu em Atenas OU nasceu em Roma”.
O que é o operador da condicional, ou implicação?
A condicional, ou implicação é tipicamente introduzia na linguagem natural como “se… então…”, “desde que…”.
Exemplo:
“SE Sócrates foge da prisão, ENTÃO Sócrates viola as leis da cidade de Atenas”.
O que é o operador da bicondicional, ou equivalência?
A bicondicional, ou equivalência, expressa simultaneamente condições necessárias e suficientes e é utilizado na linguagem natural as expressões “… se, e só se, …”, “… se, e somente se, …”
Exemplo:
“Um coisa é ouro SE, E SÓ SE, tem número atómico 79”.
O que é o âmbito de uma conetiva?
O âmbito de uma conetiva numa determinada fórmula lógica é a parte sobre a qual ela opera.
O que significa a conetiva de “maior âmbito” e “menor âmbito”?
A conetiva de maior âmbito é a conetiva que aplica a toda a proposição complexa, enquanto as de menor âmbito opera apenas numa determina proposição simples.
O que são tabelas de verdade?
As tabelas de verdade são diagramas lógicas que listam todas as possíveis combinações de valores de verdade (V ou F) para cada variável proposicional presente numa determinada fórmula proposicional.
Sendo que só há 2^n casos possíveis, sendo n o número de variáveis numa determina fórmula.
Qual é a função para cada operador?
Negação - Inverte o valor da verdade
Conjunção - Só é VERDADEIRA se ambas as proposições elementares forem verdadeiras.
Disjunção inclusiva - Só é FALSA se ambas as proposições elementares forem falsas.
Disjunção exclusiva - Só é VERDADEIRA quando uma proposição for verdadeira e a outra falsa, e vice-versa.
Condicional - Só é FALSA se a antecedente for verdadeira e a sequente falsa.
Bicondicional - Só é VERDADEIRA quando as proposições tiverem o mesmo valor de verdade, ou seja, ambas verdadeiras ou ambas falsas.
Quais são as formas de avaliar uma fórmula proposicional?
Existem 3 formas de avaliar as fórmulas proposicionais:
Tautológica - Quando a fórmula proposicional tem o valor de verdade (V) para todas as possíveis combinações.
Contraditória - Quando a fórmula proposicional tem o valor de falsidade (F) para todas as possíveis combinações.
Contingente - Quando a fórmula proposicional tenha o valor de verdade (V) para alguns casos e o valor de falsidade (F) para outros.
Como é que se constrói uma tabela de verdade?
Uma tabela de verdade é construída colocando todas combinações possíveis de p e de q (VV, VF, FV, FF), após disso, é construída do menor âmbito para o maior e no final, será possível avaliar a fórmula proposicional. Sendo Tautológica, Contraditória ou Contingente.
Ver explicação com tabela de exemplo na página 44.
Como é que se avalia a validade dos argumentos dedutivos?
Para avaliar a validade dos argumentos dedutivos é necessário recorrer ao inspetor de circunstâncias, também designado por “tabela de validade”.
O que é um inspetor de circunstâncias?
O inspetor de circunstância é um conjunto de tabelas de verdade que mostra o valor de verdade de cada premissa e da conclusão para todas as combinações possíveis.
