An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. It is also known for a person's principles to a possible or hypothetical issue. In some contexts the antecedent is called the protasis. Examples: * If P, then Q. 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. * If X is a man, then X is mortal. "X is a man" is the antecedent for this proposition.

Property Value
dbo:abstract
  • An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. It is also known for a person's principles to a possible or hypothetical issue. In some contexts the antecedent is called the protasis. Examples: * If P, then Q. 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. * If X is a man, then X is mortal. "X 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. (en)
  • Pour les articles homonymes, voir Antécédent. 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 exemples: * 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) argumet implikacji, w zapisie typu oznaczany symbolem . Tak np. w zdaniu "Jeżeli pada deszcz to na niebie są chmury" poprzednikiem jest zdanie "pada deszcz". Drugi z argumentów implikacji nazywamy następnikiem. (pl)
  • 前件,亦稱前提,是假言命题的前半部分。 例子: * 如果P,那么Q。 这是假言命题的标准逻辑公式。在这种情况下,前件是P。 * 如X是人,则X是必死的。 X是人是这个命题的前件。 * 如果人类已经在月亮上行走,那么我是法国国王。 这里的人类已经在月亮上行走是前件。 (zh)
  • 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 — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает отчасти логическое подлежащее в его отношении к сказуемому, отчасти причину в отношении к следствию. Антецедентом называются вообще предшествовавшие события, поскольку они помогают уяснению настоящего. В этом смысле говорят, например, об антецеденте какого-нибудь лица, желая этим выразить, что прежний его образ действий дает основания ожидать от него того-то или другого. В условном высказывании «Если А, то В» высказывание «А» есть антецедент; высказывание «В» называется консеквентом (лат. соnsequens — «следствие», «вывод»). Например, в условном высказывании «Если сейчас ночь, то темно»: антецедент — «сейчас ночь», а консеквент — «темно». (ru)
dbo:wikiPageID
  • 804755 (xsd:integer)
dbo:wikiPageRevisionID
  • 729354086 (xsd:integer)
dct:subject
rdfs:comment
  • Poprzednik – w rachunku zdań pierwszy (w kolejności zapisu lub odczytywania) argumet implikacji, w zapisie typu oznaczany symbolem . Tak np. w zdaniu "Jeżeli pada deszcz to na niebie są chmury" poprzednikiem jest zdanie "pada deszcz". Drugi z argumentów implikacji nazywamy następnikiem. (pl)
  • 前件,亦稱前提,是假言命题的前半部分。 例子: * 如果P,那么Q。 这是假言命题的标准逻辑公式。在这种情况下,前件是P。 * 如X是人,则X是必死的。 X是人是这个命题的前件。 * 如果人类已经在月亮上行走,那么我是法国国王。 这里的人类已经在月亮上行走是前件。 (zh)
  • 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)
  • An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. It is also known for a person's principles to a possible or hypothetical issue. In some contexts the antecedent is called the protasis. Examples: * If P, then Q. 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. * If X is a man, then X is mortal. "X is a man" is the antecedent for this proposition. (en)
  • Pour les articles homonymes, voir Antécédent. 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 exemples: * 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. (fr)
  • Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает отчасти логическое подлежащее в его отношении к сказуемому, отчасти причину в отношении к следствию. Антецедентом называются вообще предшествовавшие события, поскольку они помогают уяснению настоящего. В этом смысле говорят, например, об антецеденте какого-нибудь лица, желая этим выразить, что прежний его образ действий дает основания ожидать от него того-то или другого. (ru)
rdfs:label
  • Antecedent (logic) (en)
  • Antécédent (logique) (fr)
  • Poprzednik (pl)
  • Antecedente (lógica) (pt)
  • Антецедент (ru)
  • 前件 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of