Você está na página 1de 12

Negao de Proposies

Simples ou Compostas
Cleone Silva
cleone.lima@ifrn.edu.br
http://docente.ifrn.edu.br/cleonelima
Construo de
Tabelas-Verdade
Uma coisa muito importante que deve ser dita neste momento que, na hora de
construirmos a tabela-verdade de uma proposio composta qualquer, teremos que
seguir uma certa ordem de precedncia dos conectivos. Ou seja, os nossos passos
tero que obedecer a uma seqncia. Comearemos sempre trabalhando com o que
houver dentro dos parnteses. S depois, passaremos ao que houver fora deles. Em
ambos os casos, sempre obedecendo seguinte ordem:

1. Faremos as negaes (~);


2. Faremos as conjunes ou disjunes, na ordem em que aparecerem;
3. Faremos o condicional;
4. Faremos o bicondicional.

Exemplo: Para fixar nossos conhecimentos vamos construir a tabela-verdade da


seguinte proposio composta: P(p,q) = (p ~q) V (q ~p).
Negao de uma
Proposio Simples
O smbolo que representa a negao uma pequena cantoneira () ou um sinal de til
(~), antecedendo a frase. (Adotaremos o til);

Basta pr a palavra no antes da sentena, e j a tornamos uma negativa. Exemplos:

Joo mdico. Negativa: Joo no mdico.


Maria estudante. Negativa: Maria no estudante.

Reparemos que caso a sentena original j seja uma negativa (j traga a palavra no),
ento para negar a negativa, teremos que excluir a palavra no. Assim:

Joo no mdico. Negativa: Joo mdico.


Maria no estudante. Negativa: Maria estudante.

Podem-se empregar, tambm, como equivalentes de "no A", as seguintes expresses:

No verdade que A.
falso que A.
Negao de uma Proposio
Conjuntiva
Para negar uma proposio no formato de conjuno (p e q), faremos o seguinte:

1. Negaremos a primeira parte (~p);


2. Negaremos a segunda parte (~q);
3. Trocaremos e por ou.

Exemplo: a questo dir: No verdade que Joo mdico e Pedro dentista, e


pedir que encontremos, entre as opes de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:

1. Nega-se a primeira parte (~p) = Joo no mdico;


2. Nega-se a segunda parte (~q) = Pedro no dentista;
3. Troca-se E por OU, e o resultado final ser o seguinte:

JOO NO MDICO OU PEDRO NO DENTISTA.


Negao de uma Proposio
Conjuntiva
Traduzindo para a linguagem da lgica, dizemos que:

Como fomos chegar essa concluso?


Negao de uma Proposio
Disjuntiva
Para negar uma proposio no formato de disjuno (p ou q), faremos o seguinte:

1. Negaremos a primeira parte (~p);


2. Negaremos a segunda parte (~q);
3. Trocaremos ou por e.

Exemplo: a questo dir: No verdade que Pedro dentista ou Paulo engenheiro,


e pedir que encontremos, entre as opes de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:
1. Nega-se a primeira parte (~p) = Pedro no dentista;
2. Nega-se a segunda parte (~q) = Paulo no engenheiro;
3. Troca-se OU por E, e o resultado final ser o seguinte:

PEDRO NO DENTISTA E PAULO NO ENGENHEIRO.


Negao de uma Proposio
Disjuntiva
Traduzindo para a linguagem da lgica, dizemos que:

Como fomos chegar essa concluso?


Negao de uma Proposio
Condicional
Para negar uma proposio no formato condicional (p q), faremos o seguinte:

1. Mantm-se a primeira parte (p); E


2. Nega-se a segunda parte (~q).

Exemplo: Como fica a negativa de se chover ento levarei o guarda-chuva.


Sol:
1. Mantm-se a primeira parte (p) = Chove;
2. Nega-se a segunda parte (~q) = No levo o guarda-chuva;

CHOVE E NO LEVO O GUARDA-CHUVA.


Negao de uma Proposio
Condicional
Traduzindo para a linguagem da lgica, dizemos que:

Como fomos chegar a essa concluso?

???
Recapitulando
Recapitulando
Perguntas???