LINGUAGEM FORMAL Flashcards

1
Q

O que é uma tabela verdade?

A

é onde se apresentam as possíveis interpretações para uma proposição simples ou composta V ou F

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

Quais são os operadores/conectivos lógicos da conjunção e qual é seu símbolo?

A

e, mas, tanto como
símbolo A ^ B

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

Quais são os operadores/conectivos lógicos da disjunção inclusiva e qual é seu símbolo?

A

ou
símbolo AˇB

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

Quais são os operadores/conectivos lógicos da disjunção exclusiva e qual é seu símbolo?

A

ou…ou…
símbolo A -ˇ B

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

Quais são os operadores/conectivos lógicos da condicional e qual é seu símbolo?

A

se… então…, quando, como
símbolo A -> B

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

Quais são os operadores/conectivos lógicos da bicondicional e qual é seu símbolo?

A

se, e somente se / tanto quanto
símbolo A <-> B

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

Quais são os operadores/conectivos lógicos da negação/modificador lógico e qual é seu símbolo?

A

não
símbolo ~ A / ¬ A

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

Qual é a hierarquia quanto a intensidade dos operadores lógicos?

A
  1. bicondicional
  2. condicional
  3. conjunção/disjunção
  4. negação
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Para que servem os parênteses?

A

quando não quiser obedecer a hierarquia dos operadores

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

Qual é a tabela verdade da conjunção?

A

A ^ B = B ^ A
Só é verdadeiro, se todos forem verdadeiros

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

Qual é a tabela verdade da disjunção inclusiva?

A

a ˇ b = b ˇ a
Basta 1 verdade para ser verdadeiro

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

Qual é a tabela verdade da disjunção exclusiva?

A

a -ˇ b = b -ˇ a
Basta 1 verdade para ser verdadeiro

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

Qual é a tabela verdade da condicional?

A

a -> b XXXX b -> a
Só é falso se for VERA FISHER

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

Qual é a tabela verdade da bicondicional?

A

a <-> b = (a -> b) ^ (b -> a)
a <-> b = b <-> a
Precisa ser VV ou FF

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

Qual é a tabela verdade da negação?

A

o que não está em A, está em ~A
O contrário do A

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

O que é tautologia?

A

Proposição formada por 2+ proposições sendo sempre verdadeira, independente da verdade de seus termos

17
Q

O que é contradição/contraválida?

A

é uma proposição composta formada por 2+ proposições, se ela for sempre falsa, independente da verdade em seus termos

18
Q

O que é contingência/proposições contingentes/proposições indeterminadas?

A

é sempre uma proposição composta que não é nem uma tautologia, nem uma contradição