ANOTAO DE AULA
SUMRIO
NEGAO DE PROPOSIES COMPOSTAS
QUANTIFICADORES LGICOS
EQUIVALNCIA DE PROPOSIES COMPOSTAS
Proposio original
Negao
p^q
~p v ~q
pvq
P ^ ~q
Hoje quinta e no vou para o bar.
De Morgan
De
~p ^ ~q
Leis
p v q ou ~p v ~q
Ou sou feliz ou dano.
Ou no sou feliz ou no dano.
p
q ou ~p
~q
A negao da proposio composta que utiliza o conectivo E: devem-se negar as duas simples e o E vira
OU.
A negao da proposio composta que utiliza o conectivo OU: devem-se negar as duas simples e o OU
vira E.
A negao de proposio composta que utiliza o conectivo Se... ento...: mantm a primeira proposio, o
conectivo Se... ento... d lugar para o conectivo E e nego a segunda proposio.
A negao de proposio composta que utiliza o conectivo SE E SOMENTE SE: trocar o conectivo de SE E
SOMENTE SE para o conectivo OU ... OU. possvel tambm trocar os conectivos e negar as proposies.
A negao de proposio composta que utiliza o conectivo OU ... OU : trocar o conectivo de OU ... OU
para SE E SOMENTE SE. possvel tambm trocar os conectivos e negar as proposies.
Obs.: no caso de proposio com SE E SOMENTE SE e OU ... OU, caso sejam negadas as proposies, o
valor lgico permanece.
Questo. Negar a proposio:
Se (hoje sexta e est sol), (vou para a praia).
e
e
Obs.: havendo uma proposio com mais de um conectivo, se aparecer o Se ento, ele deve ser o
conectivo principal. Se no aparecer, qualquer outro conectivo pode ser o principal.
Questo. Negar a proposio:
Hoje sexta e vou para a praia ou para a piscina.
Resolvendo usando o e como conectivo principal:
(Hoje sexta)
ou
para a piscina).
Hoje no sexta
ou
em
ou
(para a piscina).
ne
e
m
ne
Nega as duas proposies e e vira ou.
e
ou
Pgina 2 de 5
QUANTIFICADORES LGICOS
Modificam a amplitude da frase.
1- Universal positiva ou afirmativa (Todos / todos...)
2- Universal negativa (Nenhum... )
3- Particular positiva (Algum... / Existe um / Pelo menos um / algum)
4- Particular negativa (Algum no... / Pelo menos um no / Existe um que no)
Positiv
a
Negativ
a
Univers
al
Particul
ar
Universal positiva
particular positiva
Trata-se de uma proposio composta que utiliza o conectivo Se... ento, sendo, portanto, uma
implicao.
Resposta: Para negar a proposta, deve-se manter a primeira proposio, o conectivo se... ento d lugar
ao conectivo e e nego a segunda proposio.
Todo co late e nenhuma ave voa.
Pgina 3 de 5
Obs.: a banca FCC, admite o conectivo nem todos. Usar de preferncia algum no.
EQUIVALNCIA DE PROPOSIES COMPOSTAS
concordar, afirmar. Duas proposies sero equivalentes quando tiverem o mesmo valor lgico.
Hoje no sexta
ou
2
Regra
hoje no sexta.
1
Regra
1 Regra: NEGA, NEGA, TROCA, TROCA. Nego as duas proposies envolvidas e depois troca de posio.
2 Regra: nego a primeira conexo, o conectivo se... ento d lugar para o conectivo ou e mantenho
a segunda proposio.
p
q
~p v q
Pgina 4 de 5
Pgina 5 de 5