SlideShare uma empresa Scribd logo
1 de 3
Baixar para ler offline
Video aulas em www.raciociniomaislogico.com.br



NEGAÇÃO             DE         PROPOSIÇÃO
                              SIMPLES
                                              ~p              =         ¬p
                                              ~q              =         ¬q
                         p         ~p
                         V             F
                         F             V




NEGATIVA DE CADA PROPOSIÇÃO COMPOSTA



NEGAÇÃO DE CONJUNÇÃO
~(p e q)                      ~(p ∧ q) = ~p ∨ ~q



p                   q             p∧q              ~(p ∧ q)
V                   V              V                  F
V                   F              F                  V
F                   V              F                  V
F                   F              F                  V




NEGAÇÃO DE
DISJUNÇÃO

~(p OU q)         ~(p ∨ q) = ~p ∧ ~q

p            q     p∨q           ~(p ∨ q)
V            V      V               F
V            F      V               F
F            V      V               F
F            F      F               V

             OU

p            q      ~p             ~q                             ~p ∧ ~q
V            V       F              F                                F

Aula Negação de proposições                                                  Página 1
Video aulas em www.raciociniomaislogico.com.br

V              F       F              V                                 F
F              V       V              F                                 F
F              F       V              V                                 V

                                                        CONCLUSAO A COLUNA ACIMA É IGUAL A
                                                        CONCLUSAO DA TABELA ACIMA OU SEJA
                                  ELAS SÃO
                               LOGICAMENTE
                                 IDENTICAS

                    OU DE OUTRA FORMA, QUANDO AS TABELAS VERDADES DE DUAS PROP. SÃO
                    IDENTICAS ELAS SÃO
                    IDENTICAS LOGICAMENTE.
                    SÃO NO SENTIDO LOGICO IDENTICAS.
                    EQUIVALENTES.
                    CORRESPONDENTES



Negação de uma Proposição Disjuntiva: ~(p ou q)

~(p ∨ q)                     = ~p ∧ ~q

p              q     p∨q           ~(p ∨ q)
V              V      V               F
V              F      V               F
F              V      V               F
F              F      F               V




Negação de uma Proposição Condicional: ~(p →       q)




~(p → q)                    = p ∧ ~q
 Negação de uma Proposição Condicional: ~(p → q)

           TABELA VERDADE



 ~(p → q) = p ∧   ~q
         uma das mais comuns em concursos



Aula Negação de proposições                                                                  Página 2
Video aulas em www.raciociniomaislogico.com.br

p       q        ~q           p>q       ~(p → q)   p ∧ ~q
V       V        F            V         F          F
V       F        V            F         V          V
F       V        F            V         F          F
F       F        V            V         F          F




Aula Negação de proposições                                 Página 3

Mais conteúdo relacionado

Mais procurados (10)

Lógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do IntelectoLógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do Intelecto
 
Mat utfrs 16. angulos formados por duas paralelas e uma transversal
Mat utfrs 16. angulos formados por duas paralelas e uma transversalMat utfrs 16. angulos formados por duas paralelas e uma transversal
Mat utfrs 16. angulos formados por duas paralelas e uma transversal
 
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreApostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
m60
m60m60
m60
 
Construção da tabela verdade
Construção da tabela verdadeConstrução da tabela verdade
Construção da tabela verdade
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
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
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Enunciado ficha logica
Enunciado ficha logicaEnunciado ficha logica
Enunciado ficha logica
 

Destaque

15 Consejos para encontrar empleo 2015
15 Consejos para encontrar empleo 201515 Consejos para encontrar empleo 2015
15 Consejos para encontrar empleo 2015Carolina Flores Prieto
 
Engl 101 final exam 2
Engl 101 final exam 2Engl 101 final exam 2
Engl 101 final exam 2cacasc
 
Andreu buenafuente empresa
Andreu buenafuente empresaAndreu buenafuente empresa
Andreu buenafuente empresaAbril Fabà
 
Contents page analysis 2
Contents page analysis 2Contents page analysis 2
Contents page analysis 2conordowd
 
El resto del video de habilidades sociales
El resto del video de habilidades socialesEl resto del video de habilidades sociales
El resto del video de habilidades socialesMariángeles Fernández
 
Presentación curso 2013 14
Presentación curso 2013 14 Presentación curso 2013 14
Presentación curso 2013 14 ncallem
 
資訊科技中級評估(Ii) 運動
資訊科技中級評估(Ii) 運動資訊科技中級評估(Ii) 運動
資訊科技中級評估(Ii) 運動tangyin430
 
Resetting gravestones on base
Resetting gravestones on baseResetting gravestones on base
Resetting gravestones on baseJenn Marcelais
 
Inaugural address, part v
Inaugural address, part vInaugural address, part v
Inaugural address, part valwayspbraun
 
Aparell exretor copia
Aparell exretor   copiaAparell exretor   copia
Aparell exretor copiaAriadnaVi
 
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slide
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slideEscola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slide
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slideThalita Soares Vansan
 
Biologia molecular
Biologia molecularBiologia molecular
Biologia molecularalejaxela
 

Destaque (20)

Formulario1
Formulario1Formulario1
Formulario1
 
36 03 cantar de los cantares www.gftaognosticaespiritual.org
36 03  cantar  de los cantares www.gftaognosticaespiritual.org36 03  cantar  de los cantares www.gftaognosticaespiritual.org
36 03 cantar de los cantares www.gftaognosticaespiritual.org
 
15 Consejos para encontrar empleo 2015
15 Consejos para encontrar empleo 201515 Consejos para encontrar empleo 2015
15 Consejos para encontrar empleo 2015
 
Engl 101 final exam 2
Engl 101 final exam 2Engl 101 final exam 2
Engl 101 final exam 2
 
Beavatás....gerle éva
Beavatás....gerle évaBeavatás....gerle éva
Beavatás....gerle éva
 
Revista 17
Revista 17Revista 17
Revista 17
 
Andreu buenafuente empresa
Andreu buenafuente empresaAndreu buenafuente empresa
Andreu buenafuente empresa
 
tolerancia
toleranciatolerancia
tolerancia
 
De que arvore
De que arvoreDe que arvore
De que arvore
 
Contents page analysis 2
Contents page analysis 2Contents page analysis 2
Contents page analysis 2
 
El resto del video de habilidades sociales
El resto del video de habilidades socialesEl resto del video de habilidades sociales
El resto del video de habilidades sociales
 
Presentación curso 2013 14
Presentación curso 2013 14 Presentación curso 2013 14
Presentación curso 2013 14
 
資訊科技中級評估(Ii) 運動
資訊科技中級評估(Ii) 運動資訊科技中級評估(Ii) 運動
資訊科技中級評估(Ii) 運動
 
Resetting gravestones on base
Resetting gravestones on baseResetting gravestones on base
Resetting gravestones on base
 
Inaugural address, part v
Inaugural address, part vInaugural address, part v
Inaugural address, part v
 
Presentación1
Presentación1Presentación1
Presentación1
 
Aparell exretor copia
Aparell exretor   copiaAparell exretor   copia
Aparell exretor copia
 
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slide
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slideEscola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slide
Escola municipal vereador salvador ferreira de aguiar pólo atividade 2.2 slide
 
Biologia molecular
Biologia molecularBiologia molecular
Biologia molecular
 
Yada yada iv
Yada yada  ivYada yada  iv
Yada yada iv
 

Negação de proposições simples e compostas

  • 1. Video aulas em www.raciociniomaislogico.com.br NEGAÇÃO DE PROPOSIÇÃO SIMPLES ~p = ¬p ~q = ¬q p ~p V F F V NEGATIVA DE CADA PROPOSIÇÃO COMPOSTA NEGAÇÃO DE CONJUNÇÃO ~(p e q) ~(p ∧ q) = ~p ∨ ~q p q p∧q ~(p ∧ q) V V V F V F F V F V F V F F F V NEGAÇÃO DE DISJUNÇÃO ~(p OU q) ~(p ∨ q) = ~p ∧ ~q p q p∨q ~(p ∨ q) V V V F V F V F F V V F F F F V OU p q ~p ~q ~p ∧ ~q V V F F F Aula Negação de proposições Página 1
  • 2. Video aulas em www.raciociniomaislogico.com.br V F F V F F V V F F F F V V V CONCLUSAO A COLUNA ACIMA É IGUAL A CONCLUSAO DA TABELA ACIMA OU SEJA ELAS SÃO LOGICAMENTE IDENTICAS OU DE OUTRA FORMA, QUANDO AS TABELAS VERDADES DE DUAS PROP. SÃO IDENTICAS ELAS SÃO IDENTICAS LOGICAMENTE. SÃO NO SENTIDO LOGICO IDENTICAS. EQUIVALENTES. CORRESPONDENTES Negação de uma Proposição Disjuntiva: ~(p ou q) ~(p ∨ q) = ~p ∧ ~q p q p∨q ~(p ∨ q) V V V F V F V F F V V F F F F V Negação de uma Proposição Condicional: ~(p → q) ~(p → q) = p ∧ ~q Negação de uma Proposição Condicional: ~(p → q) TABELA VERDADE ~(p → q) = p ∧ ~q uma das mais comuns em concursos Aula Negação de proposições Página 2
  • 3. Video aulas em www.raciociniomaislogico.com.br p q ~q p>q ~(p → q) p ∧ ~q V V F V F F V F V F V V F V F V F F F F V V F F Aula Negação de proposições Página 3