25.04.2013 Views

NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA 1. NEGAÇÃO DA ...

NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA 1. NEGAÇÃO DA ...

NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA 1. NEGAÇÃO DA ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

COLÉGIO MILITAR <strong>DE</strong> FORTALEZA<br />

COOR<strong>DE</strong>NAÇÃO DO 1º ANO<br />

DISCIPLINA: MATEMÁTICA<br />

PROF.: Maj Klinger/Cap Queiroz<br />

AULA 3<br />

ASSUNTO: LÓGICA – <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

OBJETIVO: ESCREVER A <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

<strong>NEGAÇÃO</strong> <strong>DE</strong> <strong>UMA</strong> <strong>PROPOSIÇÃO</strong> <strong>COMPOSTA</strong><br />

<strong>1.</strong> <strong>NEGAÇÃO</strong> <strong>DA</strong> CONJUNÇÃO.<br />

A negação da proposição p ∧ q é a proposição ~p ∨ ~q. Simbolicamente:<br />

Verificação:<br />

~(p ∧ q) ⇔ ~p ∨ ~q<br />

p q p ∧ q ~(p ∧ q) ~p ~q ~p ∨ ~q<br />

V V V F F F F<br />

V F F V F V V<br />

F V F V V F V<br />

F F F V V V V<br />

Como as proposições p ∧ q e ~p ∨ ~q têm os mesmos valores lógicos, em<br />

cada linha da tabela-verdade, podemos concluir que elas são equivalentes.<br />

2. <strong>NEGAÇÃO</strong> <strong>DA</strong> DISJUNÇÃO.<br />

A negação da proposição p ∨ q é a proposição ~p ∧ ~q. Simbolicamente:<br />

Verificação:<br />

~(p ∨ q) ⇔ ~p ∧ ~q<br />

p q p ∨ q ~(p ∨ q) ~p ~q ~p ∧ ~q<br />

V V V F F F F<br />

V F V F F V F<br />

F V V F V F F<br />

F F F V V V V<br />

Como as proposições p ∨ q e ~p ∧ ~q têm os mesmos valores lógicos, em<br />

cada linha da tabela-verdade, podemos concluir que elas são equivalentes.<br />

3. EXEMPLOS (<strong>NEGAÇÃO</strong> <strong>DA</strong> CONJUNÇÃO E <strong>DA</strong> DISJUNÇÃO).<br />

Escreva a negação das seguintes proposições<br />

a) Pedro estudou e foi à praia.


COLÉGIO MILITAR <strong>DE</strong> FORTALEZA<br />

COOR<strong>DE</strong>NAÇÃO DO 1º ANO<br />

DISCIPLINA: MATEMÁTICA<br />

PROF.: Maj Klinger/Cap Queiroz<br />

AULA 3<br />

ASSUNTO: LÓGICA – <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

OBJETIVO: ESCREVER A <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

Resposta: Pedro não estudou ou não foi à praia.<br />

b) Joana saiu de saia preta ou blusa branca.<br />

Resposta: Joana não saiu de saia preta e não saiu de blusa branca.<br />

c) Paulo, durante o almoço, comeu feijão ou não comeu farofa.<br />

Resposta: Paulo, durante o almoço, não comeu feijão e comeu farofa.<br />

d) Maria foi ao Iguatemi e não foi ao cinema.<br />

Resposta: Maria não foi ao Iguatemi ou foi ao cinema.<br />

4. <strong>NEGAÇÃO</strong> <strong>DA</strong> CONDICIONAL SIMPLES (SE...ENTÃO...)<br />

A negação da proposição p→q é a proposição p ∧ ~q. Simbolicamente:<br />

Verificação:<br />

~(p→q) ⇔ p ∧ ~q<br />

p q ~q p→q ~(p→q) p ∧ ~q<br />

V V F V F F<br />

V F V F V V<br />

F V F V F F<br />

F F V V F F<br />

Como as proposições ~(p→q) e p∧~q têm os mesmos valores lógicos, em<br />

cada linha da tabela-verdade, podemos concluir que elas são equivalentes.<br />

Exemplo:<br />

Considere a proposição:<br />

“Se Yolanda estuda, então passa de ano.”<br />

Sua negação é:<br />

“Yolanda estuda, mas não passa de ano.”<br />

5. <strong>NEGAÇÃO</strong> <strong>DA</strong> BICONDICIONAL (SE, E SOMENTE SE...)<br />

A negação da proposição p↔q é a proposição (p ∧ ~q)∨(q ∧ ~p) ou ainda,<br />

(p ∧ q) ∨ (~p ∧ ~q)<br />

Simbolicamente:<br />

~(p↔q) ⇔ (p ∧ ~q)∨(q ∧ ~p)


COLÉGIO MILITAR <strong>DE</strong> FORTALEZA<br />

COOR<strong>DE</strong>NAÇÃO DO 1º ANO<br />

DISCIPLINA: MATEMÁTICA<br />

PROF.: Maj Klinger/Cap Queiroz<br />

AULA 3<br />

ASSUNTO: LÓGICA – <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

OBJETIVO: ESCREVER A <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

ou<br />

~(p↔q) ⇔ (p ∧ q) ∨ (~p ∧ ~q)<br />

Vamos verificar a primeira equivalência:<br />

p q ~p ~q p↔q ~(p↔q) p ∧ ~q q ∧ ~p (p ∧ ~q)∨(q ∧ ~p)<br />

V V F F V F F F F<br />

V F F V F V V F V<br />

F V V F F V F V V<br />

F F V V V F F F F<br />

Como as proposições ~(p↔q) e (p ∧ ~q)∨(q ∧ ~p) têm os mesmos valores<br />

lógicos, em cada linha da tabela-verdade, podemos concluir que elas são<br />

equivalentes.<br />

Exemplo:<br />

Considere a proposição:<br />

“O Ceará será campeão se, e somente se, ganhar do Fortaleza.”<br />

Sua negação pode ser escrita como:<br />

“O Ceará será campeão e não vai ganhar do Fortaleza, ou vai ganhar do<br />

Fortaleza e não será campeão.”<br />

6. <strong>NEGAÇÃO</strong> DOS QUANTIFICADORES (∀ e ∃).<br />

1) A negação da proposição (∀ x)(p(x)) é a proposição (∃ x)( ~p(x)).<br />

Exemplos:<br />

a) A negação de (∀ x)(x – 4 ≠ 0) é a proposição (∃ x)( x – 4 = 0).<br />

b) A negação de “Todo político é corrupto” é “Existe pelo menos um<br />

político não corrupto”.<br />

2) A negação da proposição (∃ x)(p(x)) é a proposição (∀ x)(~p(x)).<br />

Exemplos:


COLÉGIO MILITAR <strong>DE</strong> FORTALEZA<br />

COOR<strong>DE</strong>NAÇÃO DO 1º ANO<br />

DISCIPLINA: MATEMÁTICA<br />

PROF.: Maj Klinger/Cap Queiroz<br />

AULA 3<br />

ASSUNTO: LÓGICA – <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

OBJETIVO: ESCREVER A <strong>NEGAÇÃO</strong> <strong>DE</strong> PROPOSIÇÕES <strong>COMPOSTA</strong>S<br />

a) A negação de (∃ x)( x 2 + 4 > 0) é (∀ x)(x 2 + 4 ≤ 0).<br />

b) A negação de “Existe cearense que é torcedor do Botafogo” é “Todo<br />

cearense não torce pelo Botafogo”.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!