Silogismo disjuntivo Índice Disjunção inclusiva Vs Disjunção exclusiva | Relação regra da eliminação dos literais complementares e o Silogismo disjuntivo | Formas de argumento relacionadas | Ver também | Menu de navegaçãoadicioneGooglenotíciaslivrosacadêmico

Lógica


argumentocláusulasliterais (Lógica)








Question book.svg

Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde Abril de 2013). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
—Encontre fontes: Google (notícias, livros e acadêmico)

O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo:


P ou Q

Não P

Logo, Q

Um exemplo cotidiano:


Ele tem mais que 16 anos ou ele é criança.


Ele não tem mais que 16 anos.
Logo, ele é criança

Na notação logica:


P∨Qdisplaystyle Pvee Q, ¬Pdisplaystyle neg P ⊢Qdisplaystyle vdash Q


onde ⊢displaystyle vdash representa a relação de consequência lógica.


A razão para este argumento anterior ser chamado de "silogismo disjuntivo" é: primeiro, é um silogismo de um argumento com três passos e, finalmente, por conter uma disjunção.




Índice





  • 1 Disjunção inclusiva Vs Disjunção exclusiva


  • 2 Relação regra da eliminação dos literais complementares e o Silogismo disjuntivo


  • 3 Formas de argumento relacionadas


  • 4 Ver também




Disjunção inclusiva Vs Disjunção exclusiva |


Existem dois tipos de disjunção logica : a inclusiva e a exclusiva.


  • Inclusiva: significa que pelo menos uma das sentenças tem que ser verdadeira ou as duas têm que ser verdadeiras.

Por exemplo:


Comerei algo hoje ou passarei fome.


Não comerei algo hoje.
Logo, passarei fome.
  • Exclusiva: significa que uma das sentenças tem que ser verdadeira e a outra tem que ser falsa, ou seja, ambas as sentenças não podem ser verdadeiras ou falsas.

Por exemplo:


Comerei algo hoje ou passarei fome.


Comerei algo hoje.
Logo, não passarei fome.


Relação regra da eliminação dos literais complementares e o Silogismo disjuntivo |


A regra de resolução é aplicada a todos os possíveis pares de cláusulas que contém literais (Lógica) complementares. Após cada aplicação da regra de resolução, a cláusula resultante é simplificada removendo-se os literais repetidos. Se a cláusula contém literais complementares, ele é descartada (como tautologia), esse descarte é possível pela utilização da regra da eliminação dos literais complementares, que é uma generalização do silogismo disjuntivo


Um exemplo simples dessa relação acima e:


Seja Cdisplaystyle C um conjunto de cláusulas, seja C′displaystyle C' um conjunto de cláusulas diferente de Cdisplaystyle C e "," uma representação da disjunção V (Saiba mais em "Ver também").


Aplica-se então a regra de inferência (Generalização do Silogismo Disjuntivo):


  • C,pC′,¬pC,C′displaystyle frac C,pquad C',neg pC,C'


Formas de argumento relacionadas |


Diferente de modus ponendo ponens e modus ponendo tollens, com os quais não deve ser confundido, silogismo disjuntivo muitas vezes não é feito através de regras ou axiomas de sistemas lógicos, já que os argumentos acima podem ser provados através da combinação das regras de redução ao absurdo e eliminação da disjunção.



Ver também |


  • Silogismo hipotético

  • Notação utilizada no Método de resolução


-

Popular posts from this blog

Era Viking Índice Início da Era Viquingue | Cotidiano | Sociedade | Língua | Religião | A arte | As primeiras cidades | As viagens dos viquingues | Viquingues do Oeste e Leste | Fim da Era Viquingue | Fontes históricas | Referências Bibliografia | Ligações externas | Menu de navegação«Sverige då!»«Handel I vikingetid»«O que é Nórdico Antigo»Mito, magia e religião na volsunga saga Um olhar sobre a trajetória mítica do herói sigurd«Bonden var den verklige vikingen»«Vikingatiden»«Vikingatiden»«Vinland»«Guerreiras de Óðinn: As Valkyrjor na Mitologia Viking»1519-9053«Esculpindo símbolos e seres: A arte viking em pedras rúnicas»1679-9313Historia - Tema: VikingarnaAventura e Magia no Mundo das Sagas IslandesasEra Vikinge

Image
Era Viking suecodinamarquêsnorueguêsislandêsEscandináviavikingsPaíses Nórdicospré-históriaIdade do FerroIdade MédiaEscandinávianavios viquinguesthrallamantes legítimasagriculturacomérciocomerciantesartesãosHeidibaRibeSigtunapadrescristianizaçãopedras rúnicasnórdico antigocaracteres rúnicoscristianismoassesOdimTorFreirCristoAnsgárioLuís Ipedras rúnicasgravuras rupestresRibeJutlândiaHedebyAlemanhaDinamarcaKaupangNoruegaUppåkraEscâniaBircaVale do MalarSigtunaEscaraVísbianórdicosEscandináviaEuropaÁsiaÁfricaAméricaDinamarcaSuéciadanosFrançaIlhas BritânicasNoruegaIslândiaGroenlândiaAmérica do NorteSuelândiasuíonesGotlândiagotasPaíses BálticosRússiamar NegroMar CáspioImpério BizantinoCalifado AbássidaNovogárdiaQuieveAnatóliavareguesMediterrâneoCruzadasGotl...
Read more

Which organization defines CJK Unified Ideographs? The Next CEO of Stack OverflowCharacters which have several different shapesHow useful are the kanji in reading Chinese?Can Chinese readers scan large amounts of text faster/more accurately than their alphabet-using counterparts?丼: why is “well” also “bowl of food”?What Does Unicode 8.0 Mean For Chinese?How are blanks indicated for placeholders in Chinese (like ???)Is there a dictionary of standard character variants?How to display CJK Extension F?How is it decided as to which character is used on the tech terminology?How does 子 come to mean 'midnight'?

Image
Apart from "berlinern", do any other German dialects have a corresponding verb? Horror movie/show or scene where a horse creature opens its mouth really wide and devours a man in a stables I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin How do I construct this japanese bowl? How to Reset Passwords on Multiple Websites Easily? If I blow insulation everywhere in my attic except the door trap, will heat escape through it? How do I go from 300 unfinished/half written blog posts, to published posts? What happens if you roll doubles 3 times then land on "Go to jail?" Text adventure game code Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low? How did people program for Consoles with multiple CPUs? Is it my responsibility to learn a new technology in my own time my employer wants to implement? Unreliable Magic - Is it worth it? What is the point of a new v...
Read more

What is best way to wire a ceiling receptacle in this situation? Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I wire a switch/receptacle combination?Is there some kind of adapter for an old ceiling box?Rewiring a switch controlled receptacle to a ceiling lightOddball wiring for ceiling lightWhat is the purpose of these removable “collars” on ceramic light fixturesHow close can light be to exposed insulation?Convert light fixture to receptacleWill cutting section of 2x4 reduce strengthWiring a ceiling light to a switched receptacleRunning wire in basement with drop ceiling

Image
Strange behavior of Object.defineProperty() in JavaScript What is the chair depicted in Cesare Maccari's 1889 painting "Cicerone denuncia Catilina"? Lagrange four-squares theorem --- deterministic complexity How does light 'choose' between wave and particle behaviour? Putting class ranking in CV, but against dept guidelines What would you call this weird metallic apparatus that allows you to lift people? What does 丫 mean? 丫是什么意思？ How does Belgium enforce obligatory attendance in elections? How can I prevent/balance waiting and turtling as a response to cooldown mechanics How much damage would a cupful of neutron star matter do to the Earth? What's the point of the test set? Random body shuffle every night—can we still function? Trademark violation for app? Sum letters are not two different How to compare two different files line by line in unix? An adverb for when you're not exaggerating What d...
Read more