NEGAÇÃO DE PROPOSIÇÕES COMPOSTAS

Conectivos Lê-se Símbolo Explicação Negação ˜ Macete EQUIVALÊNCIAS

Conjunção E ^ Se ambas forem Troca o e por ou e nega
verdadeiras. Se uma for tudo
conjunto falsa todas são falsas
Disjunção OU ˅ Ambas não podem ser Troca o ou por e e nega
verdadeiras. Vai ser falsa tudo
inclusiva de todas foram falsas.
Ou uma coisa ou outra
Disjunção OU..OU Ele vai ser verdadeiro se Troca o ou ou por se e
exclusiva ⊻ tiver um Vou F , F ou V
Exclusão
somente se

Condicional SE..ENTÃO → Só existe uma firma de Mantem a 1º MANÉ Mantem Se então

ser falsa: 1º v e 2º F = F Troca se então por e Inverte, nega, nega
1º F e 2º v = V
Nega a 2º
Ou pode

Mantem a 1º negando Trocar o

se então por ou mantem a
2º( Neymar)
Bicondicional SE ↔ Duas condições. Mais comum trocar se
Ambas iguais somente se por ou ou
SOMENTE V= F,F V,V (IGUAIS)
SE F= F, V V,F (FALSO)

Negação do Todo é sinonimo de EPA

qualquer Tirar o todo e colocar:
todo/ Existe um
qualquer Pelo menos um
Algum
Nega a frse
Negação do Usar o quantificador Tirar o nenhum e colocar: EPA
existencial. Existe um
Nenhum Pelo menos um
Algum
Mantém a frase

Negação do Todo
Não nega a frase
existencial
Existe um
Pelo menos um
Algum
TAUTOLOGIA F V
V FSÃO
VERDADE