Unidade 2 - Lógica Formal Flashcards

1
Q

De quantas maneiras é possível que um argumento seja caracterizado e quais?

A

É 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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

O que é um argumento dedutivamente válido?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

O que é a Lógica proposicional clássica?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Qual é a importância de avaliar a validez do argumento?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

O que é uma proposição simples?

A

Uma proposição simples é uma proposição sem qualquer conetiva ou operador proposicional.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

O que é uma proposição complexa, ou composta?

A

Uma proposição complexa, ou composta, é uma proposição com pelo menos uma conetiva, ou operador proposicional.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

O que é uma conetiva, ou operador proposicional?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Quais são os símbolos das diversas conetivas, ou operadores proposicionais verofuncionais?

A

Ver no manual pagina 36 ou no resumo escrito.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

O que são variáveis proposicionais?

A

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…

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

O que é o dicionário?

A

O dicionário é uma lista utilizada para um determinado caso com as proposições simples, sem qualquer operador ou conetiva.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

O que é o operador da negação?

A

O operador da negação, que na linguagem natural surge com a expressão “não”.

Exemplo:
“A tortura NÃO é moralmente correta.”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

O que é o operador da conjunção?

A

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”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

O que é o operador da disjunção inclusiva?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

O que é o operador da disjunção exclusiva?

A

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”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

O que é o operador da condicional, ou implicação?

A

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”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

O que é o operador da bicondicional, ou equivalência?

A

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”.

16
Q

O que é o âmbito de uma conetiva?

A

O âmbito de uma conetiva numa determinada fórmula lógica é a parte sobre a qual ela opera.

17
Q

O que significa a conetiva de “maior âmbito” e “menor âmbito”?

A

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.

18
Q

O que são tabelas de verdade?

A

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.

19
Q

Qual é a função para cada operador?

A

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.

20
Q

Quais são as formas de avaliar uma fórmula proposicional?

A

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.

21
Q

Como é que se constrói uma tabela de verdade?

A

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.

22
Q

Como é que se avalia a validade dos argumentos dedutivos?

A

Para avaliar a validade dos argumentos dedutivos é necessário recorrer ao inspetor de circunstâncias, também designado por “tabela de validade”.

23
Q

O que é um inspetor de circunstâncias?

A

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.

24
Q

O que é uma forma de inferência válida?

A

Uma forma de inferência válida é uma fórmula argumentativa válida que podem ser útil para reconhecer facilmente padrões argumentos válidos, sem ter de recorrer a inspetores de circunstâncias e para construir rapidamente argumentos válidos.

25
Q

Quais são as principais formas de inferências válidas?

A

Há 4 principais inferências válidas:

  1. Modus ponens
  2. Modus tollens
  3. Silogismo hipotético
  4. Silogismo disjuntivo
26
Q

Qual é a inferência válida “Modus ponens”?

A

A inferência válida de “Modus ponens” é:
(1) (A -> B)
(2) A
(3) .: B

27
Q

Qual é a inferência válida “Modus tollens”?

A

A inferência válida de “Modus tollens” é:
(1) (A -> B)
(2) (não) B
(3) .: (não) A

28
Q

Qual é a inferência válida “Silogismo hipotético”?

A

A inferência válida de “Silogismo hipotético” é:
(1) (A -> B)
(2) (B -> C)
(3) .: (A -> C)

29
Q

Qual é a inferência válida “Silogismo disjuntivo”?

A

A inferência válida de “Silogismo disjuntivo” é:

(1) (A V B)
(2) (não) A
(3) .: B

(ou vice-versa)

30
Q

O que são equivalências lógicas?

A

Equivalências lógicas são duas fórmulas proposicionais com os mesmos valores de verdade em quaisquer circunstâncias, são então, fórmulas equivalentes.

31
Q

Quais são as principais equivalências lógicas?

A

Temos em primeiro lugar os dois princípios de De Morgan que afirma que a negação da disjunção “A ou B” é igual à conjunção “não-A e não-B” - (Igual forma da matemática.)

De seguida temos a “contraposição” que é:

(1) (A -> B)
(2) .: (não-B -> não-A)

Por fim, temos a dupla negação:

(1) não-não-A
(2) .: A

32
Q

Quantas falácias formais existem?

A

Há duas principais falácias formais:

  1. A falácia da afirmação da consequente, que é falácia da modus ponens.
  2. A falácia da negação da antecedente, que é a falácia da modus tollens.
33
Q

Qual é a composição da falácia da afirmação da consequente?

A

A falácia da afirmação da consequente é:

(1) (A -> B)
(2) B
(3) .: A

O que é um argumento inválido, pois na verdade deveria ser:

(1) (A -> B)
(2) A
(3) .: B
———————-
Exemplo:
(1) Se Mariana estudar muito, então entrará na universidade.
(2) Mariana entrou na universidade.
(3) Portanto, Mariana estudou muito.

Esse argumento é falacioso porque mesmo que as premissas sejam verdadeiras, a conclusão pode ser falsa. Supondo que Mariana tenha entrado na universidade, não podemos concluir disso que tenha estudado muito. Ela pode ter copiado na prova, tido sorte, ter poucos candidatos concorrentes etc.

34
Q

Qual é a composição da falácia da negação da antecedente?

A

A falácia da negação da antecedente é:

(1) (A -> B)
(2) não-A
(3) .: não-B

O que é um argumento inválido, pois na verdade deveria ser:

(1) (A -> B)
(2) não-B
(3) .: não-A
———————–
Exemplo:
(1) Se João ganhar no euromilhões, então se tornará rico.
(2) João não ganhou no euromilhões.
(3) Portanto, João não se tornará rico.

Esse argumento é falacioso porque ganhar no euromilhões é uma condição suficiente, mas não necessária para ficar rico. Uma pessoa pode ficar rica de outras maneiras (inclusive ganhando em outra loteria). Portanto, é uma falácia concluir que, pelo fato de não ter ganho no euromilhões, não ficará rico.

35
Q

O que é uma fórmula Tautológica?

A

Uma fórmula Tautológica é quando uma fórmula proposicional é verdadeira em todos os casos.

36
Q

O que é uma fórmula Contraditória?

A

Uma fórmula Contraditória é quando uma fórmula proposicional é falsas em todos os casos.

37
Q

O que é uma fórmula Contingente?

A

Uma fórmula Contingente é quando uma fórmula proposicional é falsa em alguns casos e verdadeira em outros.