0% acharam este documento útil (0 voto)
4 visualizações6 páginas

Lógica Proposicional: Versão Condensada

O documento aborda a lógica proposicional, focando na negação de proposições simples e compostas, incluindo conjunções, disjunções, implicações e bi-implicações. Ele apresenta exemplos práticos e as Leis de De Morgan, que regem as negações dessas proposições. Além disso, inclui exercícios e gabaritos para prática e verificação do entendimento.

Enviado por

Weslley Beloni
Direitos autorais
© All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd
0% acharam este documento útil (0 voto)
4 visualizações6 páginas

Lógica Proposicional: Versão Condensada

O documento aborda a lógica proposicional, focando na negação de proposições simples e compostas, incluindo conjunções, disjunções, implicações e bi-implicações. Ele apresenta exemplos práticos e as Leis de De Morgan, que regem as negações dessas proposições. Além disso, inclui exercícios e gabaritos para prática e verificação do entendimento.

Enviado por

Weslley Beloni
Direitos autorais
© All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF, TXT ou leia on-line no Scribd

LÓGICA PROPOSICIONAL

Versão Condensada
Sumário
LÓGICA PROPOSICIONAL������������������������������������������������������������������������������������������������������������������������������������������������ 3

NEGAÇÃO DE PROPOSIÇÕES������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������3

CONCEITO�����������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������3

NEGAÇÃO DE PROPOSIÇÕES COMPOSTAS�������������������������������������������������������������������������������������������������������������������������������������������������������������������������3

EXERCÍCIOS��������������������������������������������������������������������������������������������������������������������������������������������������������������������������� 5

GABARITOS����������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������6

 2
LÓGICA PROPOSICIONAL

NEGAÇÃO DE PROPOSIÇÕES

CONCEITO

Seja p uma proposição qualquer, chamados de ~p ou ¬p a negação da proposição p, ou seja, a proposição que possuí
valor lógico contrário à proposição p, independente do que aconteça.

Exemplos:

p = A Alemanha foi campeã mundial de futebol em 2014.

~p = A Alemanha não foi campeã mundial de futebol em 2014.

q = Hoje não está sol

~q = Hoje está sol.

NEGAÇÃO DE PROPOSIÇÕES COMPOSTAS

ͫ Negação da conjunção

Para a negação de uma conjunção (proposição composta que utiliza o conectivo “e”) é necessário fazer a negação de
ambos os conjuntos (proposições simples dentro de uma conjunção) e modificar o conectivo “e” para o conectivo “ou”.

Exemplo:

A negação da proposição composta “Hoje é sábado e não está sol” será “Hoje não é sábado ou está sol”.

Assim, na forma simbólica, podemos dizer que:

"#&$#"#!%#=#" $#!#" !
ͫ Negação da disjunção inclusiva

Para a negação de uma disjunção inclusiva (proposição composta que utiliza o conectivo “ou”) é necessário fazer a
negação de ambos os disjuntos (proposições simples dentro de uma disjunção inclusiva) e modificar o conectivo “ou”
para o conectivo “e”.

LÓGICA PROPOSICIONAL 3
Exemplo:

A negação da proposição composta “Vou comer a torta ou comer o pudim” será “Não vou comer a torta e não vou
comer o pudim”

Assim, na forma simbólica, podemos dizer que:

"#&$#"#!%#=#" $#!#" !
NOTA: As regras de negação das conjunções e disjunções inclusivas são conhecidas como “Leis de De Morgan”.

Primeira Lei de De Morgan: "#&$#"#!%#=#" $#!#" !

Segunda Lei de De Morgan: "#&$#"#!%#=#" $#!#" !


ͫ Negação da implicação

Para a negação de uma implicação (proposição composta que utiliza o conectivo “Se...então”) é necessário fazer a
negação do consequente (segunda proposição simples dentro de uma implicação “proposição q”), manter o valor lógico
do antecedente (primeira proposição simples dentro de uma implicação “proposição p”) e modificarmos o conectivo
“Se...então” para o conectivo “e”.

Exemplo:

A negação da proposição composta “Se minha mãe briga comigo, então fico triste” será “Minha mãe briga comigo e
não fico triste”

Assim, na forma simbólica, podemos dizer que:

~ (p ® q) = p � ~ q
ͫ Negação da bi implicação

Existem várias formas de negação de uma bi implicação (proposição composta que utiliza o conectivo “se, e somente
se,”), dentre estas formas se destacam duas em especial, podemos simplesmente trocar o conectivo “se, e somente
se” pelo conectivo “ou...ou” (disjunção exclusiva), mas se além de trocar o conectivo ainda quisermos fazer a negação
das duas proposições simples envolvidas, também chegaremos em uma forma de negação válida.

LÓGICA PROPOSICIONAL 4
Exemplo:

A negação da proposição composta “Vou dançar se, e somente se, cantar” poderá ser “Ou vou dançar ou vou cantar”
ou “Ou não vou dançar ou não vou cantar”.

Assim, na forma simbólica, podemos dizer que:

"#&$#"#!%#=#$ !#" !
ͫ Negação da disjunção exclusiva

Analogamente à Bi implicação, podemos negar a disjunção exclusiva (proposição composta que utiliza o conectivo “Ou...
ou”) simplesmente modificando o conectivo para “se, e somente se,”, mas se além de trocar o conectivo ainda quisermos
fazer a negação das duas proposições simples envolvidas, também chegaremos em uma forma de negação válida.

Exemplo:

A negação da proposição composta “Ou vou dançar ou vou cantar” poderá ser “Vou dançar se, e somente se, cantar”
ou “Não vou dançar se, e somente se, não cantar”.

Assim, na forma simbólica, podemos dizer que:

"#&$#"#!%#=#$#!#!#=#" $#!#" !

EXERCÍCIOS

Exercícios 5
1. A negação da proposição “se Renato caminha, então Mauro é maluco” é logicamente equivalente à proposição:

a) Renato não caminha e Mauro não é maluco.

b) Renato caminha e Mauro não é maluco.

c) Renato caminha ou Mauro não é maluco.

d) Se Renato não caminha, então Mauro não é maluco.

e) Renato não caminha ou Mauro é maluco.

Aplicando a regra de negação para uma proposição que utiliza o conectivo “se...então” (Mantém a primeira,
vira “e” e nega a segunda)

se Renato caminha, então Mauro é maluco

=(Renato caminha), E ~(Mauro é maluco)

Assim:

Renato caminha e Mauro não é maluco.

GABARITOS

1B

Exercícios 6

Você também pode gostar