Você está na página 1de 3

Negao de Proposies Compostas

Aps um prvio conhecimento sobre as definies de proposies (conectivos lgicos, tabela verdade, negao de uma proposio simples) podemos iniciar o estudo sobre negao de proposies compostas, mas antes iremos definir o que equivalncia lgica.
Equivalncia lgica So proposies que apresentam a mesma tabela verdade, ou seja, so proposies que expressas de um modo diferente possuem o mesmo valor lgico. Ex: Se Braslia a Capital do Brasil ento Santiago a Capital do Chile (p q) Se Santiago no a capital do Chile ento Braslia no a Capital do Brasil.(q p) Vejamos as tabelas verdade de ambas s proposies compostas: Condicional: p q P V V F F Condicional: q p Q F V F V P F F V V Q P V F V V Q V F V F PQ V F V V

Podemos verificar que as duas proposies possuem a mesma tabela verdade (valorao), portanto so equivalentes. P Q <=> Q P (Representao da equivalncia lgica) Agora passemos para negao das proposies compostas Negao da operao da Conjuno. p e q (P ^ Q ) <=> P v Q (Lei de Morgan)

Para negarmos uma proposio composta ligada pelo conectivo operacional E , basta negarmos ambas as proposies individuais(simples) e trocarmos o conectivo e pelo conectivoou. Ou seja, transformaremos uma conjuno em uma disjuno. Vejamos;

Ex:Pedro Mineiro e Joo Capixaba.

P= Pedro Mineiro Q= Joo Capixaba

Negando-a ,temos; Pedro no mineiro ou Joo no capixaba. Pela tabela verdade podemos confirmar a negao da proposio. P V V F F Q V F V F P^Q V F F F (P ^ Q) F V V V P F F V V Q F V F V P v Q F V V V

Negao da operao da Disjuno Inclusiva. p ou q P v Q <=> P ^ Q Lei de Morgan Para negarmos uma proposio composta ligada pelo conectivo operacional OU , basta negarmos ambas as proposies individuais(simples) e trocarmos o conectivo ou pelo conectivoe. Ou seja, transformaremos uma disjuno inclusiva em uma conjuno. Vejamos; Augusto feio ou Maria Bonita.

P= Augusto feio Q= Maria bonita

Negando-a, temos; Augusto no feio e Maria no bonita . Pela tabela verdade podemos confirmar a negao da proposio. P V V F F Q V F V F PvQ V V V F (P v Q) F F F V P F F V V Q F V F V P ^ Q F F F V

Negao da operao da Disjuno Exclusiva. ou p ou q (P v Q) <=> P Q Para negarmos uma proposio com a estrutura de uma disjuno exclusiva , transform-laemos em uma estrutura bicondicional. Vejamos;

Ou Joo rico ou Pedro Bonito.

P= Joo rico Q= Pedro Bonito

Negando-a temos; Joo rico se e somente se Pedro bonito Pela tabela verdade podemos confirmar a negao da proposio P V V F F Q V F V F PvQ F V V F (P v Q) V F F V PQ V F F V

Obviamente podemos perceber que a negao de uma estrutura bicondicional tambm a disjuno exclusiva Negao da operao da condicional (ou implicao). (p q) <=> p^ q Para negarmos uma proposio condicional, repete-se a primeira parte troca-se o conectivo por e e nega-se a segunda parte.Vejamos Ex: Se sou inteligente ento passarei de ano.

P= Sou inteligente Q= Passarei de ano

Negando-a, temos; Sou inteligente e no passarei de ano Pela tabela verdade podemos confirmar a negao da proposio. P V V F F Q V F V F PQ V F V V (P Q) F V F F Q F V F V P ^ Q F V F F