Lógica Flashcards

(17 cards)

1
Q

~p

A

negação

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

pVq

A

disjunção (OU)
BASTA UMA ser V para ser V

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

pV̲q

A

disjunção exclusiva (OU…OU)
APENAS UMA pode ser V para ser V

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

p^q

A

conjunção (E)
TODAS tem que ser V para ser V

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

p → q

A

condicional (SE…ENTÃO)
só Vera Fisher é Falsa (só é F se 1ª v e 2ª f)

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

p ↔ q

A

bicondicional (SE E SOMENTE SE)
só é V se forem iguais (VV ou FF)

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

concluí-se algo a partir de uma situação semelhante

A

ANALOGIA

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

concluí-se algo tirando uma conclusão a partir de evidências indiretas (2 premissas juntas levam a uma conclusão)

A

INFERÊNCIA

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

parte de uma “premissa universal” invariavelmente verdadeira para chegar a conclusão

A

DEDUÇÃO

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

a partir de casos particulares define uma premissa geral

A

INDUÇÃO

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

cria hipotese mais provável, sem garantia de ser verdade

A

ABDUÇÃO

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

número de linhas na tabela da verdade

A

2ⁿ (n=número de proposições)

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

2 Leis de Morgan

A

OU vira E
E vira OU
~(p ∧ q) = ~p V ~q
~(p ∨ q) = ~p ∧ ~q

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

negação: ~(p→q)

A

p ∧ ~q (MAntém a 1ª E NEga a segunda)

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

negação: ~(p ↔ q)

A

~p ↔ q
p ↔ ~q
p V̲ q

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

equivalências a p→q

A

~p → ~q
~p V q

17
Q

tautologia e contradição

A

tautologia- sempre verdadeira
contradição- sempre falsa