[go: up one dir, main page]

About: Consequent

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis. Examples: * If , then . is the consequent of this hypothetical proposition. * If is a mammal, then is an animal. Here, " is an animal" is the consequent. * If computers can think, then they are alive. "They are alive" is the consequent. * If monkeys are purple, then fish speak Klingon.

Property Value
dbo:abstract
  • التالي عند المنطقيين هو الجزء الثاني من القضية الشرطية. سمي به لتلوه الجزء الأول المسمى لتقدمه على الجزء الثاني، فقولنا إن كانت الشمس طالعة من قولنا إن كانت الشمس طالعة فالنهار موجود مقدم وقولنا فالنهار موجود تال. (ar)
  • Konsekvent, neboli sémantický důsledek, případně i tautologický důsledek (symbol ), je sémantický termín výrokové logiky z matematické logiky. Označuje následek nebo následující člen. (cs)
  • El conseqüent o apòdosi en alguns contextos, és la segona meitat d'una proposició hipotètica. Completa el significat del que ha estat exposat, que es va proposar prèviament en la pròtasi. Per exemple, el Codi d'Hammurabi i els centenars de tractats mèdics conservats es construeixen en realitat com una successió de proposicions condicionals introduïdes per la condició i formades per una pròtasi i una apòdosi. En lògica, atès l'enunciat condicional si p llavors q: l'enunciat component que segueix el «llavors» és el conseqüent o l'implicat o apòdosi. A l'enunciat compost "Si tens deu mil dòlars, llavors podràs viatjar a Europa", l'apòdosi és "podràs viatjar a Europa Exemples: * Si , llavors . Q és el conseqüent d'aquesta proposició hipotètica. * Si és un mamífer, llavors és un animal. Aquí, " es un animal" és el conseqüent. * Si les computadores poden pensar, llavors són vives. "Són vives" és el conseqüent. El conseqüent en una proposició hipotètica no és necessàriament un predicat de l'antecedent.Si els micos són morats, llavors els peixos parlen Klingon. "Els peixos parlen Klingon" és el conseqüent aquí, però intuïtivament no és una prèdica categòrica de (ni té res a veure amb) l'afirmació feta en l'antecedent que "els micos són morats". (ca)
  • El consecuente o apódosis en algunos contextos,​ es la segunda mitad de una proposición hipotética. Completa el sentido de lo expuesto que se planteó inicialmente en la prótasis. Por ejemplo, el Código de Hammurabi y los cientos de tratados médicos conservados se construyen en realidad como una sucesión de proposiciones condicionales introducidas por la condición y formadas por una prótasis y una apódosis.​ En lógica, dado el enunciado condicional si p entonces q: el enunciado componente que sigue al «entonces» es el consecuente o el implicado o apódosis. En el enunciado compuesto " Si tiene diez mil dólares, entonces podrás viajar a Europa", la apódosis es "podrás viajar a Europa​ Ejemplos: * Si , entonces . Q es el consecuente de esta proposición hipotética. * Si es un mamífero, entonces es un animal. Aquí, " es un animal" es el consecuente. * Si las computadoras pueden pensar, entonces están vivas. "Están vivas" es el consecuente. El consecuente en una proposición hipotética no es necesariamente un predicado del antecedente.Si los monos son morados, entonces los peces hablan Klingon. "Los peces hablan Klingon" es el consecuente aquí, pero intuitivamente no es una prédica categórica de (ni tiene nada que ver con) la afirmación hecha en el antecedente de que "los monos son morados". (es)
  • A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis. Examples: * If , then . is the consequent of this hypothetical proposition. * If is a mammal, then is an animal. Here, " is an animal" is the consequent. * If computers can think, then they are alive. "They are alive" is the consequent. The consequent in a hypothetical proposition is not necessarily a consequence of the antecedent. * If monkeys are purple, then fish speak Klingon. "Fish speak Klingon" is the consequent here, but intuitively is not a consequence of (nor does it have anything to do with) the claim made in the antecedent that "monkeys are purple. (en)
  • Apodosia, baldintza-perpausetan, ondorioa adierazten den zatia da. Lehenbiziko zatiari, baldintza jartzen duenari alegia, protasia deitzen zaio, eta baldintzaren ondorioari apodosia. "Hamar mila dolar badituzu, orduan Europara bidaiatu ahal izango duzu" enuntziatu konposatuan, "Europara bidaiatu ahal izango duzu" da apodosia. (eu)
  • Sa loighic, aon chonclúid a infeirítear go bailí riachtanach ó na réamhleaganacha, is cuma an fíor na réamhleaganacha nó nach fíor. Mar shampla, is bailí an argóint: Is slánuimhreacha A agus B, agus mar sin is slánuimhir B, ach ní bailí an argóint Is slánuimhir A nó B, agus mar sin is slánuimhir B. (ga)
  • Un conséquent est la seconde moitié d'une proposition hypothétique. Dans la forme standard d'une telle proposition, il est la partie qui suit « alors ». Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. Par exemple : * Si P, alors Q. Q est le conséquent de cette proposition. * Si X est un mammifère, alors X est un animal. Ici, « X est un animal » est le conséquent. * Si les ordinateurs peuvent penser, alors ils sont en vie. — « ils sont en vie » est le conséquent. Le conséquent d'une proposition hypothétique n'est pas nécessairement une conséquence de l'antécédent. * Si les singes sont violet, alors les poissons parlent français. — « les poissons parlent français » est le conséquent ici, mais intuitivement ce n'est pas une conséquence de l'affirmation (ni rien à voir avec) faite dans l'antécédent que « les singes sont violets ». (fr)
  • Een gevolg of effect is een gebeurtenis of omstandigheid die optreedt als resultaat van een of meer oorzaken en bijdragende factoren en omstandigheden. De menselijke drang tot verklaring verklaart de neiging om alle gebeurtenissen of fenomenen als een gevolg te beschouwen van andere gebeurtenissen of fenomenen die samen de oorzaak vormen. De relatie die tussen een oorzaak en haar gevolg bestaat, heet bij afspraak een causale relatie, ook wel een geval van causaliteit. Bij een deterministische kijk op het heelal waarin geen ruimte is voor toeval, wordt uitsluitend uitgegaan van wetmatigheden van het type "als situatie X zich voordoet, zal situatie Y het gevolg zijn". In de wiskunde is een gevolg een stelling die (vrijwel) direct volgt uit een andere stelling. (nl)
  • Konsekventen är ett begrepp inom logiken. I en implikation utgörs konsekventen av den senare satsen. Den första satsen kallas för antecedenten. I "Om Kalle har körkort så kan han köra bil" är "Om Kalle har körkort" antecedenten och "Kalle kan köra bil" konsekventen. (sv)
  • Um consequente é a segunda metade de um proposição condicional. Na forma padrão desta proposição é a parte que se segue ao "então". Em uma implicação do tipo se P implica Q, P é chamado antecedente e Q é chamado o consequente. Em alguns contextos, o consequente é chamado o apodosis. Exemplos: * Se P, então Q. Q é o consequente desta proposição condicional. * Se X é um mamífero, então X é um animal. Aqui, "X é um animal" é o consequente. * Se os computadores podem pensar, então eles estão vivos. "Eles estão vivos" é o consequente. O consequente numa proposição não é necessariamente uma consequência do antecedente. * Se os macacos são roxos, então os peixes falam Klingon. "Os peixes falam Klingon" é o consequente aqui, mas intuitivamente não é uma consequência de (nem está relacionado com) a afirmação feita no antecedente que "macacos são roxos". (pt)
  • Сле́дствие (также консекве́нт, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцеде́нт, от succedens — «от sub после + cedere "идти"») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту. В условном высказывании «если , то » высказывание есть антецедент; высказывание называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно». В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в консеквентом является ), так и в понятиях о выводимости, например, в исчислении секвенций, где основным выражением является секвенция вида , показывающая выводимость формул списка из формул списка , сукцедентом (консеквентом) называется список . (ru)
  • 后件是假言命题的后半部分。在这种命题的标准形式中,它是在“那么”之后的部分。 例子: * 如果P,那么Q。 Q是这个假言命题的后件。 * 如果X是哺乳动物,那么X是动物。 这里的X是动物是后件。 * 如果计算机可以思考,那么它们是活的。 它们是活的是后件。 请注意在假言命题中的后件不必须是前件的结论。 * 如果猴子是橘子,那么鱼说星际语。 鱼说星际语是这里的后件,但是很明显的它不是(或者没有任何关系)在前件中断言的猴子是橘子的结论。 (zh)
  • Консеквент (лат. consequens, наслідок, результат) — мовою старих філософів, особливо в логіків Кантівської школи, в їх ученні про судження, висновки і докази консеквент означає в його стосунку до присудка наслідок в стосунку до причини. В умовному реченні "Якщо А, то Б" вираз "Б" є консеквент; вираз "А" називають антецедентом. Наприклад, в умовному реченні "Якщо зараз ніч, то зараз темно": антецедент — "зараз ніч", а консеквент — "зараз темно". (uk)
dbo:wikiPageID
  • 804778 (xsd:integer)
dbo:wikiPageLength
  • 1568 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1055384031 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • التالي عند المنطقيين هو الجزء الثاني من القضية الشرطية. سمي به لتلوه الجزء الأول المسمى لتقدمه على الجزء الثاني، فقولنا إن كانت الشمس طالعة من قولنا إن كانت الشمس طالعة فالنهار موجود مقدم وقولنا فالنهار موجود تال. (ar)
  • Konsekvent, neboli sémantický důsledek, případně i tautologický důsledek (symbol ), je sémantický termín výrokové logiky z matematické logiky. Označuje následek nebo následující člen. (cs)
  • Apodosia, baldintza-perpausetan, ondorioa adierazten den zatia da. Lehenbiziko zatiari, baldintza jartzen duenari alegia, protasia deitzen zaio, eta baldintzaren ondorioari apodosia. "Hamar mila dolar badituzu, orduan Europara bidaiatu ahal izango duzu" enuntziatu konposatuan, "Europara bidaiatu ahal izango duzu" da apodosia. (eu)
  • Sa loighic, aon chonclúid a infeirítear go bailí riachtanach ó na réamhleaganacha, is cuma an fíor na réamhleaganacha nó nach fíor. Mar shampla, is bailí an argóint: Is slánuimhreacha A agus B, agus mar sin is slánuimhir B, ach ní bailí an argóint Is slánuimhir A nó B, agus mar sin is slánuimhir B. (ga)
  • Konsekventen är ett begrepp inom logiken. I en implikation utgörs konsekventen av den senare satsen. Den första satsen kallas för antecedenten. I "Om Kalle har körkort så kan han köra bil" är "Om Kalle har körkort" antecedenten och "Kalle kan köra bil" konsekventen. (sv)
  • 后件是假言命题的后半部分。在这种命题的标准形式中,它是在“那么”之后的部分。 例子: * 如果P,那么Q。 Q是这个假言命题的后件。 * 如果X是哺乳动物,那么X是动物。 这里的X是动物是后件。 * 如果计算机可以思考,那么它们是活的。 它们是活的是后件。 请注意在假言命题中的后件不必须是前件的结论。 * 如果猴子是橘子,那么鱼说星际语。 鱼说星际语是这里的后件,但是很明显的它不是(或者没有任何关系)在前件中断言的猴子是橘子的结论。 (zh)
  • Консеквент (лат. consequens, наслідок, результат) — мовою старих філософів, особливо в логіків Кантівської школи, в їх ученні про судження, висновки і докази консеквент означає в його стосунку до присудка наслідок в стосунку до причини. В умовному реченні "Якщо А, то Б" вираз "Б" є консеквент; вираз "А" називають антецедентом. Наприклад, в умовному реченні "Якщо зараз ніч, то зараз темно": антецедент — "зараз ніч", а консеквент — "зараз темно". (uk)
  • El conseqüent o apòdosi en alguns contextos, és la segona meitat d'una proposició hipotètica. Completa el significat del que ha estat exposat, que es va proposar prèviament en la pròtasi. Per exemple, el Codi d'Hammurabi i els centenars de tractats mèdics conservats es construeixen en realitat com una successió de proposicions condicionals introduïdes per la condició i formades per una pròtasi i una apòdosi. Exemples: * Si , llavors . Q és el conseqüent d'aquesta proposició hipotètica. * Si és un mamífer, llavors és un animal. Aquí, " es un animal" és el conseqüent. "Són vives" és el conseqüent. (ca)
  • A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis. Examples: * If , then . is the consequent of this hypothetical proposition. * If is a mammal, then is an animal. Here, " is an animal" is the consequent. * If computers can think, then they are alive. "They are alive" is the consequent. * If monkeys are purple, then fish speak Klingon. (en)
  • El consecuente o apódosis en algunos contextos,​ es la segunda mitad de una proposición hipotética. Completa el sentido de lo expuesto que se planteó inicialmente en la prótasis. Por ejemplo, el Código de Hammurabi y los cientos de tratados médicos conservados se construyen en realidad como una sucesión de proposiciones condicionales introducidas por la condición y formadas por una prótasis y una apódosis.​ Ejemplos: * Si , entonces . Q es el consecuente de esta proposición hipotética. * Si es un mamífero, entonces es un animal. Aquí, " es un animal" es el consecuente. (es)
  • Un conséquent est la seconde moitié d'une proposition hypothétique. Dans la forme standard d'une telle proposition, il est la partie qui suit « alors ». Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. Par exemple : * Si P, alors Q. Q est le conséquent de cette proposition. * Si X est un mammifère, alors X est un animal. Ici, « X est un animal » est le conséquent. * Si les ordinateurs peuvent penser, alors ils sont en vie. — « ils sont en vie » est le conséquent. * Si les singes sont violet, alors les poissons parlent français. (fr)
  • Een gevolg of effect is een gebeurtenis of omstandigheid die optreedt als resultaat van een of meer oorzaken en bijdragende factoren en omstandigheden. De menselijke drang tot verklaring verklaart de neiging om alle gebeurtenissen of fenomenen als een gevolg te beschouwen van andere gebeurtenissen of fenomenen die samen de oorzaak vormen. De relatie die tussen een oorzaak en haar gevolg bestaat, heet bij afspraak een causale relatie, ook wel een geval van causaliteit. In de wiskunde is een gevolg een stelling die (vrijwel) direct volgt uit een andere stelling. (nl)
  • Um consequente é a segunda metade de um proposição condicional. Na forma padrão desta proposição é a parte que se segue ao "então". Em uma implicação do tipo se P implica Q, P é chamado antecedente e Q é chamado o consequente. Em alguns contextos, o consequente é chamado o apodosis. Exemplos: * Se P, então Q. Q é o consequente desta proposição condicional. * Se X é um mamífero, então X é um animal. Aqui, "X é um animal" é o consequente. * Se os computadores podem pensar, então eles estão vivos. "Eles estão vivos" é o consequente. * Se os macacos são roxos, então os peixes falam Klingon. (pt)
  • Сле́дствие (также консекве́нт, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцеде́нт, от succedens — «от sub после + cedere "идти"») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту. В условном высказывании «если , то » высказывание есть антецедент; высказывание называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно». (ru)
rdfs:label
  • تال (منطق) (ar)
  • Apòdosi (ca)
  • Konsekvent (cs)
  • Apódosis (es)
  • Consequent (en)
  • Apodosi (eu)
  • Asbheirt (ga)
  • Conséquent (logique) (fr)
  • Gevolg (nl)
  • Consequente (pt)
  • Консеквент (ru)
  • Konsekvent (sv)
  • Консеквент (uk)
  • 后件 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License