Académique Documents
Professionnel Documents
Culture Documents
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;
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.
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;
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.
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