Aula 01 (Equivalências) Flashcards

1
Q

Quais são as duas EQUIVALÊNCIA do Se então?

A

P→Q ≡ ~Q→~P (inverte negando)
P->Q ≡~PVQ (Sentou NeyMa)

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

Negação de “AND”

A

Nega as duas e passa pra OU

~(P^Q)≡~P∨~Q

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

NEGAÇÃO DA CONDICIONAL (SE…ENTÃO)

A

~(P→Q) ≡ P∧~Q (é MaNé)

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

Qual a equivalencia se <-> (se somente se )para -> se então?

A

P<->Q ≡ (P→Q) ∧ (Q→P)

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

Como transformo “se somente se” para “ou..ou”?

A

Basta eu negar uma das partes

P<->Q≡ ~P∨Q ≡ P∨~Q ≡ ~P∨_~Q

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

Negação de “Or”

A

Nega as duas e passa pra And

~(P^Q)≡~P^~Q

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

Negação de se somente se

A

Nega a primeira ou nega a segunda ou passa pra ou…ou

~(P<->Q)≡ ~P<->Q ≡ P<->~Q ≡ P∨_Q

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

NEgação de Ou…OU

A

passa pra se somente se

~(P∨_Q)≡P<->Q

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

Sentou Neyma é NEgação de é Mané

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

Qual a principal Tautologia?

A

P∨~P

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

Qual a principal Contradição?

A

P^~P

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

Como negar Todo, ALgum(Existe, Pelo menos um, Nenhum)

A

E T
N E
E N
T E

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

NA lógica de argumentação quais as principais formas de resolver?

A

Diagrama de Venn, Fio da meada (todas verdadeiras e testa), Wifi (Testa qual tem os dois V)

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