05 - Negação De Proposições Flashcards

1
Q

Como negar conjunção (e) (^)?

A

Nega-se as proposições (P, Q)

Troca-se o conectivo (e) (^)
Pelo conectivo (ou) (v)

A conjunção vira disjunção

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

~(P ^ Q) = ?

A

~P v ~Q

Dica:

Na conjunção volta-se negando tudo, invertendo todos os sinais (inclusive os ^ v)

~(P ^ Q) = ~P v ~Q

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

Como negar disjunção (ou) (v)?

A

Nega-se as proposições (P, Q)

Troca-se o conectivo (ou) (v)
Pelo conectivo (e) (^)

A disjunção vira conjunção

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

~(P v Q) = ?

A

~P ^ ~Q

Dica:

Na disjunção volta-se negando tudo, invertendo todos os sinais (inclusive os v ^)

~(P v Q) = ~P ^ ~Q

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

Como negar o condicional (se…, então) (→)?

A

Mantém o antecedente (1a proposição) nega-se o consequente (2a proposição)

Troca-se o conectivo (se..., então) (→)
Pelo conectivo (e) (^)

O condicional vira conjunção

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

~(P → Q) = ?

A

P ^ ~Q

Dica:

Mantém a 1a proposição, nega a 2a proposição

→ vira ^

~(P → Q) = P ^ ~Q

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

Como negar disjunção exclusiva (ou…, ou) (vsublinhado)?

A

Para negar a disjunção exclusiva
Faz-se o bicondicional

Troca-se o conectivo (ou..., ou) (vsublinhado)  
Pelo conectivo (se..., e somente se) (↔)

~(PvsublinhadoQ) = P ↔ Q

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

~(PvsublinhadoQ) = ?

A

P ↔ Q

Dica:

A negação da disjunção exclusiva vira o bicondicional

(vsublinhado) ↔

~(PvsublinhadoQ) = P ↔ Q

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

Como negar a bicondicional (se…, e somente se) (↔)?

A

Para negar a bicondicional
Faz-se a disjunção exclusiva

Troca-se o conectivo (se..., e somente se) (↔)  
Pelo conectivo (ou..., ou) (vsublinhado)

~(P ↔ Q) = PvsublinhadoQ

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

~(P ↔ Q) = ?

A

PvsublinhadoQ

Dica:

A negação da bicondicional vira a disjunção exclusiva

↔ (vsublinhado)

~(P ↔ Q) = PvsublinhadoQ

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