Lógica Proposicional Flashcards

1
Q

Qual o símbolo e significado da disjunção inclusiva?

A

V e ou.

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

Qual o símbolo e significado da disjunção exclusiva?

A

V ou…ou…

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

Qual o símbolo e significado da conjunção?

A

^ e.

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

Qual o símbolo e significado da condicional?

A

—> se….então…

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

Qual o símbolo e significado da bicondicional?

A

<—-> se…somente…

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

Qual a ordem de resolução nas questãos de conectivos?

A

~;V; V; ^; —>; <—->.

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

,Quais são as negações presentes nas Leis de
Morgan?

A

a ∼ (p ∧ q) ≡ ∼ p ∼ q
b ∼ (p V q) ≡ ∼ p ∧ ∼ q

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

Qual é a negação de “Todo A é B”?

A

Algum A não é B.

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

Qual é a negação de “Nenhum A é B?

A

Algum A é B.

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

Em uma condicional, o que significa o “p” e o “q”?

A

Significa dizer que o “p” é condição suficiente para “q”.
Significa dizer que o “q” é condição necessária para “p”.

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

Qual é a lógica da tabela verdade para a Disjunção?

A

Para ser verdade basta uma ser verdade.

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

Qual é a lógica da tabela verdade para a Disjunção Exclusiva?

A

Para ser verdade apenas uma deve ser verdade, ou seja nunca VV ou FF.

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

Qual é a lógica da tabela verdade para a Conjunção?

A

Todas tem que ser verdade.

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

Qual é a lógica da tabela verdade para a condicional?

A

A única que é falsa é VFF.

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

Qual é a lógica da tabela verdade para a Bicondicional?

A

Para ser verdade as duas devem ser iguais, por exemplo VV e FF.

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

Como negar uma condicional?

A

MANÉ

Mantêm a primeira e nega a segunda.

17
Q

Como negar uma disjunção e uma conjunção?

A

Aplicação das Leis de Morgan.

18
Q

Como negar uma Bicondicional? [3].

A

Nega a primeira - Bicondicional - Mantêm a segunda;
Mantêm a primeira - Bicondicional - Nega a segunda;
Aplica ou …. ou ….. V sublinhado.

19
Q

Como negar uma Disjunção Exclusiva? [2].

A

Aplica se… somente se ….. Bicondicional

(p e q) ou (~p e ~q).

20
Q

A proposição “Existe” é negada por?

A

“Todo”.

21
Q

A proposição “Nenhum” é negada por?

A

“Existe”.

22
Q

O dizer “Existe” também pode ser compreendido, também por?

A

Pelo menos um ou algum.

23
Q

Quais são as equivalências da condicional?

A

Inverte negando

VF “Não p/ode ver q/ueijo = ~pvq

24
Q

Qual é a equivalência da disjunção exclusiva?

A

Duas condicionais ligadas por “e”, sendo na primeira condicional q falso e na segunda parte p falso.

25
Q

Quais são as equivalências de uma bicondicional?

A

Duas condicionais ligadas por “e”, com a segunda condicional invertida.

Duas condicionais ligadas por “e”, sendo a segunda com valores falsos.

26
Q

Quando um argumento é válido?

A

Quando suas premissas forem verdadeiras.

27
Q

Como testar se um argumento é válido?

A

1º Assumir que a conclusão é falsa;
2° Tentar deixar todas as premissas verdadeiras/
3° Se não foi possível deixar as premissas verdadeiras, o argumento é válido, caso contrário é inválido.

28
Q

Se aparecer uma negação e equivalência na mesma questão, o que prevalece?

A

Negação.

29
Q

O uso das palavras “caso; quando; quem, mesmo que” nas sentenças, devem ser entendidas como qual proposição?

A

Condicional.

30
Q

Qual a única forma de não se ter um argumento dedutivo válido?

A

Com premissas verdadeiras e conclusão falsa.