SlideShare uma empresa Scribd logo
1 de 12
Negação de Proposições
Simples ou Compostas
Cleone Silva
cleone.lima@ifrn.edu.br
http://docente.ifrn.edu.br/cleonelima
Construção de
Tabelas-Verdade
 Uma coisa muito importante que deve ser dita neste momento é que, na hora de
construirmos a tabela-verdade de uma proposição composta qualquer, teremos que
seguir uma certa ordem de precedência dos conectivos. Ou seja, os nossos passos
terão que obedecer a uma seqüência. Começaremos sempre trabalhando com o que
houver dentro dos parênteses. Só depois, passaremos ao que houver fora deles. Em
ambos os casos, sempre obedecendo à seguinte ordem:
1. Faremos as negações (~);
2. Faremos as conjunções ou disjunções, 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 proposição composta: P(p,q) = (p ∧ ~q) V (q ∧ ~p).
Negação de uma
Proposição Simples
 O símbolo que representa a negação é uma pequena cantoneira (¬) ou um sinal de til
(~), antecedendo a frase. (Adotaremos o til);
 Basta pôr a palavra não antes da sentença, e já a tornamos uma negativa. Exemplos:
João é médico. Negativa: João não é médico.
Maria é estudante. Negativa: Maria não é estudante.
 Reparemos que caso a sentença original já seja uma negativa (já traga a palavra não),
então para negar a negativa, teremos que excluir a palavra não. Assim:
João não é médico. Negativa: João é médico.
Maria não é estudante. Negativa: Maria é estudante.
 Podem-se empregar, também, como equivalentes de "não A", as seguintes expressões:
Não é verdade que A.
É falso que A.
Negação de uma Proposição
Conjuntiva
 Para negar uma proposição no formato de conjunção (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 questão dirá: “Não é verdade que João é médico e Pedro é dentista”, e
pedirá que encontremos, entre as opções de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:
1. Nega-se a primeira parte (~p) = João não é médico;
2. Nega-se a segunda parte (~q) = Pedro não é dentista;
3. Troca-se E por OU, e o resultado final será o seguinte:
JOÃO NÃO É MÉDICO OU PEDRO NÃO É DENTISTA.
Negação de uma Proposição
Conjuntiva
 Traduzindo para a linguagem da lógica, dizemos que:
 Como fomos chegar à essa conclusão?
Negação de uma Proposição
Disjuntiva
 Para negar uma proposição no formato de disjunção (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 questão dirá: “Não é verdade que Pedro é dentista ou Paulo é engenheiro”,
e pedirá que encontremos, entre as opções de resposta, aquela frase que seja
logicamente equivalente a esta fornecida.
Sol:
1. Nega-se a primeira parte (~p) = Pedro não é dentista;
2. Nega-se a segunda parte (~q) = Paulo não é engenheiro;
3. Troca-se OU por E, e o resultado final será o seguinte:
PEDRO NÃO É DENTISTA E PAULO NÃO É ENGENHEIRO.
Negação de uma Proposição
Disjuntiva
 Traduzindo para a linguagem da lógica, dizemos que:
 Como fomos chegar à essa conclusão?
Negação de uma Proposição
Condicional
 Para negar uma proposição no formato condicional (p  q), faremos o seguinte:
1. Mantém-se a primeira parte (p); E
2. Nega-se a segunda parte (~q).
 Exemplo: Como fica a negativa de “se chover então levarei o guarda-chuva”.
Sol:
1. Mantém-se a primeira parte (p) = Chove;
2. Nega-se a segunda parte (~q) = Não levo o guarda-chuva;
CHOVE E NÃO LEVO O GUARDA-CHUVA.
Negação de uma Proposição
Condicional
 Traduzindo para a linguagem da lógica, dizemos que:
 Como fomos chegar a essa conclusão?
? ? ?
Recapitulando
Recapitulando
Perguntas???

Mais conteúdo relacionado

Semelhante a NEGACAO_PROPOSICOES_SIMPLES_E_COMPOSTAS.ppt

Prova de Raciocínio Lógico do TCE-SP 2015
Prova de Raciocínio Lógico do TCE-SP 2015Prova de Raciocínio Lógico do TCE-SP 2015
Prova de Raciocínio Lógico do TCE-SP 2015Estratégia Concursos
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoJ M
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçaoJ M
 
resumo de raciocínio logico logico.pptx
resumo de raciocínio logico  logico.pptxresumo de raciocínio logico  logico.pptx
resumo de raciocínio logico logico.pptxLucasFerreira372945
 
Raciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiRaciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiDani Brasil
 
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Lizandra Guarnieri Gomes
 
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptx
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptxLÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptx
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptxcamilasantosjessica
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026macielneto
 
Apostila logica-cespe
Apostila logica-cespeApostila logica-cespe
Apostila logica-cespeSamid Reis
 
Apostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginasApostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginasErica Surmay
 
Aula 02 Logica de Programacao - Logica Matematica 2.pdf
Aula 02 Logica de Programacao - Logica Matematica 2.pdfAula 02 Logica de Programacao - Logica Matematica 2.pdf
Aula 02 Logica de Programacao - Logica Matematica 2.pdfEizoKato
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Manuel Matos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosLizandra Guarnieri Gomes
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosiran rodrigues
 

Semelhante a NEGACAO_PROPOSICOES_SIMPLES_E_COMPOSTAS.ppt (20)

Prova de Raciocínio Lógico do TCE-SP 2015
Prova de Raciocínio Lógico do TCE-SP 2015Prova de Raciocínio Lógico do TCE-SP 2015
Prova de Raciocínio Lógico do TCE-SP 2015
 
Apostila logica equivalencias-logicas
Apostila logica equivalencias-logicasApostila logica equivalencias-logicas
Apostila logica equivalencias-logicas
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçao
 
resumo de raciocínio logico logico.pptx
resumo de raciocínio logico  logico.pptxresumo de raciocínio logico  logico.pptx
resumo de raciocínio logico logico.pptx
 
Raciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiRaciocinio logico simplificado_principai
Raciocinio logico simplificado_principai
 
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptx
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptxLÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptx
LÓGICA PROPOSICIONAL E LÓGICA BOOLEANA.pptx
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026
 
Apostila logica-cespe
Apostila logica-cespeApostila logica-cespe
Apostila logica-cespe
 
Apostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginasApostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginas
 
Aula 02 Logica de Programacao - Logica Matematica 2.pdf
Aula 02 Logica de Programacao - Logica Matematica 2.pdfAula 02 Logica de Programacao - Logica Matematica 2.pdf
Aula 02 Logica de Programacao - Logica Matematica 2.pdf
 
19-aula19.pdf
19-aula19.pdf19-aula19.pdf
19-aula19.pdf
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3
 
Raciocinio logico 01
Raciocinio logico 01Raciocinio logico 01
Raciocinio logico 01
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Condições
CondiçõesCondições
Condições
 

Último

GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdf
GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdfGEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdf
GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdfElianeElika
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....LuizHenriquedeAlmeid6
 
análise de redação completa - Dissertação
análise de redação completa - Dissertaçãoanálise de redação completa - Dissertação
análise de redação completa - DissertaçãoMaiteFerreira4
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)ElliotFerreira
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Ilda Bicacro
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdfLeloIurk1
 
CRUZADINHA - Leitura e escrita dos números
CRUZADINHA   -   Leitura e escrita dos números CRUZADINHA   -   Leitura e escrita dos números
CRUZADINHA - Leitura e escrita dos números Mary Alvarenga
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelGilber Rubim Rangel
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteVanessaCavalcante37
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãIlda Bicacro
 
Noções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdfNoções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdflucassilva721057
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxleandropereira983288
 
Ficha de trabalho com palavras- simples e complexas.pdf
Ficha de trabalho com palavras- simples e complexas.pdfFicha de trabalho com palavras- simples e complexas.pdf
Ficha de trabalho com palavras- simples e complexas.pdfFtimaMoreira35
 
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOFASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOAulasgravadas3
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...IsabelPereira2010
 
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESCOMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESEduardaReis50
 

Último (20)

GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdf
GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdfGEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdf
GEOGRAFIA - ENSINO FUNDAMENTAL ANOS FINAIS.pdf
 
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
Slides Lição 5, Betel, Ordenança para uma vida de vigilância e oração, 2Tr24....
 
análise de redação completa - Dissertação
análise de redação completa - Dissertaçãoanálise de redação completa - Dissertação
análise de redação completa - Dissertação
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
CRUZADINHA - Leitura e escrita dos números
CRUZADINHA   -   Leitura e escrita dos números CRUZADINHA   -   Leitura e escrita dos números
CRUZADINHA - Leitura e escrita dos números
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim Rangel
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! Sertã
 
Noções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdfNoções de Farmacologia - Flávia Soares.pdf
Noções de Farmacologia - Flávia Soares.pdf
 
CINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULACINEMATICA DE LOS MATERIALES Y PARTICULA
CINEMATICA DE LOS MATERIALES Y PARTICULA
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptx
 
Ficha de trabalho com palavras- simples e complexas.pdf
Ficha de trabalho com palavras- simples e complexas.pdfFicha de trabalho com palavras- simples e complexas.pdf
Ficha de trabalho com palavras- simples e complexas.pdf
 
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃOFASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
FASE 1 MÉTODO LUMA E PONTO. TUDO SOBRE REDAÇÃO
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
 
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕESCOMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
COMPETÊNCIA 4 NO ENEM: O TEXTO E SUAS AMARRACÕES
 

NEGACAO_PROPOSICOES_SIMPLES_E_COMPOSTAS.ppt

  • 1. Negação de Proposições Simples ou Compostas Cleone Silva cleone.lima@ifrn.edu.br http://docente.ifrn.edu.br/cleonelima
  • 2. Construção de Tabelas-Verdade  Uma coisa muito importante que deve ser dita neste momento é que, na hora de construirmos a tabela-verdade de uma proposição composta qualquer, teremos que seguir uma certa ordem de precedência dos conectivos. Ou seja, os nossos passos terão que obedecer a uma seqüência. Começaremos sempre trabalhando com o que houver dentro dos parênteses. Só depois, passaremos ao que houver fora deles. Em ambos os casos, sempre obedecendo à seguinte ordem: 1. Faremos as negações (~); 2. Faremos as conjunções ou disjunções, 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 proposição composta: P(p,q) = (p ∧ ~q) V (q ∧ ~p).
  • 3. Negação de uma Proposição Simples  O símbolo que representa a negação é uma pequena cantoneira (¬) ou um sinal de til (~), antecedendo a frase. (Adotaremos o til);  Basta pôr a palavra não antes da sentença, e já a tornamos uma negativa. Exemplos: João é médico. Negativa: João não é médico. Maria é estudante. Negativa: Maria não é estudante.  Reparemos que caso a sentença original já seja uma negativa (já traga a palavra não), então para negar a negativa, teremos que excluir a palavra não. Assim: João não é médico. Negativa: João é médico. Maria não é estudante. Negativa: Maria é estudante.  Podem-se empregar, também, como equivalentes de "não A", as seguintes expressões: Não é verdade que A. É falso que A.
  • 4. Negação de uma Proposição Conjuntiva  Para negar uma proposição no formato de conjunção (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 questão dirá: “Não é verdade que João é médico e Pedro é dentista”, e pedirá que encontremos, entre as opções de resposta, aquela frase que seja logicamente equivalente a esta fornecida. Sol: 1. Nega-se a primeira parte (~p) = João não é médico; 2. Nega-se a segunda parte (~q) = Pedro não é dentista; 3. Troca-se E por OU, e o resultado final será o seguinte: JOÃO NÃO É MÉDICO OU PEDRO NÃO É DENTISTA.
  • 5. Negação de uma Proposição Conjuntiva  Traduzindo para a linguagem da lógica, dizemos que:  Como fomos chegar à essa conclusão?
  • 6. Negação de uma Proposição Disjuntiva  Para negar uma proposição no formato de disjunção (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 questão dirá: “Não é verdade que Pedro é dentista ou Paulo é engenheiro”, e pedirá que encontremos, entre as opções de resposta, aquela frase que seja logicamente equivalente a esta fornecida. Sol: 1. Nega-se a primeira parte (~p) = Pedro não é dentista; 2. Nega-se a segunda parte (~q) = Paulo não é engenheiro; 3. Troca-se OU por E, e o resultado final será o seguinte: PEDRO NÃO É DENTISTA E PAULO NÃO É ENGENHEIRO.
  • 7. Negação de uma Proposição Disjuntiva  Traduzindo para a linguagem da lógica, dizemos que:  Como fomos chegar à essa conclusão?
  • 8. Negação de uma Proposição Condicional  Para negar uma proposição no formato condicional (p  q), faremos o seguinte: 1. Mantém-se a primeira parte (p); E 2. Nega-se a segunda parte (~q).  Exemplo: Como fica a negativa de “se chover então levarei o guarda-chuva”. Sol: 1. Mantém-se a primeira parte (p) = Chove; 2. Nega-se a segunda parte (~q) = Não levo o guarda-chuva; CHOVE E NÃO LEVO O GUARDA-CHUVA.
  • 9. Negação de uma Proposição Condicional  Traduzindo para a linguagem da lógica, dizemos que:  Como fomos chegar a essa conclusão? ? ? ?