About: Antecedent (logic)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAntecedent_%28logic%29

An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis. Examples: * If , then . This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if implies then is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition. * If is a man, then is mortal. " is a man" is the antecedent for this proposition. Let . If then

AttributesValues
rdfs:label
  • Antecedent (logic) (en)
  • Protasi (eu)
  • Antecedente (lógica) (es)
  • Antécédent (logique) (fr)
  • Poprzednik (pl)
  • Antecedente (lógica) (pt)
  • Antecedent (sv)
  • Антецедент (ru)
  • Антецедент (uk)
  • 前件 (zh)
rdfs:comment
  • Protasia, baldintza-perpausetan, baldintza 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, "Hamar mila dolar badituzu" protasia da. (eu)
  • Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis. (es)
  • Un antécédent est la première moitié d'une proposition hypothétique, lorsque la clause-si précède la clause-alors. Par exemple: * si P, alors Q. C'est une formulation non logique d'une proposition hypothétique. Ici, l’antécédent est P,et le conséquent est Q. Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. * SI X est un homme, alors X est mortel. "X est un homme" est l'antécédent de cette proposition. * Si un homme a marché sur la lune, alors je suis le roi de France. Ici, "un homme a marché sur la lune" est l'antécédent. (fr)
  • Poprzednik – w rachunku zdań pierwszy (w kolejności zapisu lub odczytywania) argument implikacji, w zapisie typu oznaczany symbolem Np. w zdaniu „Jeżeli pada deszcz, to na niebie są chmury” poprzednikiem jest zdanie „pada deszcz”. Drugi z argumentów implikacji nazywamy . (pl)
  • En antecedent är den aktiva delen av en logisk implikation. I implikationen "A leder till B" är A antecendent och B konsekvent. Antecedenten kallas ibland också "försats", och konsekventen "eftersats". Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
  • Um antecedente é a primeira metade de uma proposição hipotética, sempre que a cláusula "se" precede a cláusula "então". Ele também é conhecido pelos princípios de uma pessoa para um problema possível ou hipotético. (pt)
  • 前件(antecedent),亦稱前提,是命题的前半部分。 例子: * 如果P,那么Q。 这是假言命题的标准逻辑公式。在这种情况下,前件是P。 * 如X是人,则X是必死的。 X是人是这个命题的前件。 * 如果人类已经在月亮上行走,那么我是法国国王。 这里的人类已经在月亮上行走是前件。 (zh)
  • An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis. Examples: * If , then . This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if implies then is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition. * If is a man, then is mortal. " is a man" is the antecedent for this proposition. Let . If then (en)
  • Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает отчасти логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию. Вообще антецедентом называются предшествующие события, помогающие уяснению настоящего. В этом смысле говорят, например, об антецеденте какого-нибудь лица, желая этим выразить, что прежний его образ действий дает основания ожидать от него того-то или другого. (ru)
  • Антецедент (лат. antecedens, «той, що передує») — це активна частина логічної імплікації. Перша частина імплікації є умовою (основою, антецедентом), а друга — наслідком (консеквентом). Антецедент (попередній член) — попередня одиниця висловлювання (слово, словопоєднання, речення), з якою співвіднесено — замінюючи її, вказуючи на неї і т.п. — інша, наступна. Антецедент також відомий своїми принципами щодо можливої ​​чи гіпотетичної проблеми. Антецендент — це перша половина гіпотетичної пропозиції, коли в реченню «якщо» передує «тоді»; це перший член умовного (імплікативного) судження, якому передує слово «якщо» (або «тоді»). У зв'язаних умовних реченнях антецедент, тобто речення, яке починається з «якщо», завжди потребує продовжувача та продовжувача антецендента. Антецедент відомий як перед (uk)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis. Examples: * If , then . This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if implies then is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition. * If is a man, then is mortal. " is a man" is the antecedent for this proposition. * If men have walked on the moon, then I am the king of France. Here, "men have walked on the moon" is the antecedent. Let . If then (en)
  • Protasia, baldintza-perpausetan, baldintza 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, "Hamar mila dolar badituzu" protasia da. (eu)
  • Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis. (es)
  • Un antécédent est la première moitié d'une proposition hypothétique, lorsque la clause-si précède la clause-alors. Par exemple: * si P, alors Q. C'est une formulation non logique d'une proposition hypothétique. Ici, l’antécédent est P,et le conséquent est Q. Dans une implication, si implique alors est appelé l'antécédent et est appelé le conséquent. * SI X est un homme, alors X est mortel. "X est un homme" est l'antécédent de cette proposition. * Si un homme a marché sur la lune, alors je suis le roi de France. Ici, "un homme a marché sur la lune" est l'antécédent. (fr)
  • Poprzednik – w rachunku zdań pierwszy (w kolejności zapisu lub odczytywania) argument implikacji, w zapisie typu oznaczany symbolem Np. w zdaniu „Jeżeli pada deszcz, to na niebie są chmury” poprzednikiem jest zdanie „pada deszcz”. Drugi z argumentów implikacji nazywamy . (pl)
  • Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает отчасти логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию. Вообще антецедентом называются предшествующие события, помогающие уяснению настоящего. В этом смысле говорят, например, об антецеденте какого-нибудь лица, желая этим выразить, что прежний его образ действий дает основания ожидать от него того-то или другого. В условном высказывании «Если А, то В» высказывание «А» есть антецедент, а высказывание «В» называется консеквентом (лат. consequens — «следствие», «вывод»). Например, в условном высказывании «Если сейчас ночь, то темно»: антецедент — «сейчас ночь», а консеквент — «темно». (ru)
  • En antecedent är den aktiva delen av en logisk implikation. I implikationen "A leder till B" är A antecendent och B konsekvent. Antecedenten kallas ibland också "försats", och konsekventen "eftersats". Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
  • Um antecedente é a primeira metade de uma proposição hipotética, sempre que a cláusula "se" precede a cláusula "então". Ele também é conhecido pelos princípios de uma pessoa para um problema possível ou hipotético. (pt)
  • Антецедент (лат. antecedens, «той, що передує») — це активна частина логічної імплікації. Перша частина імплікації є умовою (основою, антецедентом), а друга — наслідком (консеквентом). Антецедент (попередній член) — попередня одиниця висловлювання (слово, словопоєднання, речення), з якою співвіднесено — замінюючи її, вказуючи на неї і т.п. — інша, наступна. Антецедент також відомий своїми принципами щодо можливої ​​чи гіпотетичної проблеми. Антецендент — це перша половина гіпотетичної пропозиції, коли в реченню «якщо» передує «тоді»; це перший член умовного (імплікативного) судження, якому передує слово «якщо» (або «тоді»). У зв'язаних умовних реченнях антецедент, тобто речення, яке починається з «якщо», завжди потребує продовжувача та продовжувача антецендента. Антецедент відомий як передумова, є першою половиною гіпотетичної пропозиції. Антет (фр. аn tete: на чолі) — заставка. Антецендентний (анцендентна пропозиція) — перша (по порядку) пропозиція у складі складного, що є антецендентом до союзного слова. Хоча антецедент визначається як перша частина умовного речення, це не означає, що антецедент обов'язково стоїть на початку речення. Наприклад, у реченні «Той, хто був мудрим, умів», хоча на початку стоїть «умів», але відповідно до змісту речення знання є передумовою здібностей і вважаються антецендентом. Тобто, інколи антецедент має розширювальне значення на позначення основи, причини, умови тощо; означає попередній чи наступний контекст (слова) для анафори. Антецедент іноді також називають «випереджувальним», а наступне — «постпозицією». Це частина, у якій виражається умова. Перша частина, яка встановлює умову.Безатенцедентна пропозиція — "його вже не чекали, коли він приїхав". ● У імплікації «А веде до Б», А є антецедентом, а В — консеквентом. У реченні «Коли йде сніг, земля біліє» антецедентом є «іде сніг».● Якщо P, то Q. Це стандартна логічна формула для гіпотетичної пропозиції. У цьому випадку антецедентом є P. В умовному реченні "Якщо А, то Б" вираз "А" є антецедент; вираз "Б" називають консеквентом (лат. соnsequens, наслідок, висновок). Наприклад, в умовному реченні "Якщо зараз ніч, то зараз темно": антецедент — "зараз ніч", а консеквент — "зараз темно". Цей приклад вказує на два висловлення, з яких за допомогою логічної операції імплікації («якщо..., то...») утворюється складне імплікативне висловлення.● У фразі «Якщо A є B, то C є D», «A є B» називається антецедентом цього умовного твердження.● Якщо людина ходила по Місяцю, то я король Франції. Передумовою є те, що люди вже ходили на Місяць. (Антецендент відносний) Якщо до 2016 року на Місяці будуть люди, то я король Франції. Тут попередником є ​​«до 2016 року на Місяці будуть люди».● У складному висловленні «Якщо у вас є десять тисяч доларів, ви можете подорожувати до Європи», «Якщо у вас є десять тисяч доларів» є антецедентом. Мовою старих філософів, особливо в логіків Кантівської школи, в їх ученні про судження, висновки і докази антецедент частково означає логічний підмет в його стосунку до присудка, частково — причину в стосунку до наслідка. Антецедентом називають загалом події, що передували, оскільки вони допомагають пояснити теперішнє. В цьому сенсі кажуть, наприклад, про антецедент якоїсь особи, маючи на увазі, що попередній образ її дій дає підстави очікувати від неї того чи іншого. (uk)
  • 前件(antecedent),亦稱前提,是命题的前半部分。 例子: * 如果P,那么Q。 这是假言命题的标准逻辑公式。在这种情况下,前件是P。 * 如X是人,则X是必死的。 X是人是这个命题的前件。 * 如果人类已经在月亮上行走,那么我是法国国王。 这里的人类已经在月亮上行走是前件。 (zh)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software