| rdfs:comment
| - En lògica s'anomena sil·logisme hipotètic aquell tipus de sil·logisme o més aviat regla d'inferència que en la seva expressió planteja un cas hipotètic, per la qual cosa pot tenir termes vàlids o no. En la lògica proposicional un sil·logisme hipotètic pot expressar una regla d'inferència, mentre que en la els sil·logismes hipotètics han estat una antelació de la . (ca)
- In classical logic, a hypothetical syllogism is a valid argument form, a syllogism with a conditional statement for one or both of its premises. An example in English: If I do not wake up, then I cannot go to work.If I cannot go to work, then I will not get paid.Therefore, if I do not wake up, then I will not get paid. The term originated with Theophrastus. (en)
- 논리학에서, 가언적 삼단 논법(假言的三段論法, 영어: hypothetical syllogism) 또는 연쇄 논법(連鎖論法, 영어: chain argument)은 두 개의 가언 명제로부터 추이성을 통해 새로운 가언 명제를 유도하는 삼단 논법이다. 즉, “만약 P라면, Q이다. 만약 Q라면, R이다. 따라서, 만약 P라면, R이다.”와 같은 꼴이다. (ko)
- 仮言三段論法（かげんさんだんろんぽう、英: Hypothetical syllogism）とは、論理学において、一般的に「大前提」のみを仮言命題（条件付き命題）にした三段論法のこと。ただし、大前提・小前提・結論すべての命題が仮言命題（条件付き命題）である場合もある。仮言的三段論法あるいは蓋然的三段論法とも。また、論理学史では、ある種の論理的帰結を得る理論を指すこともある。 (ja)
- Em lógica, um silogismo hipotético tem dois usos. Em lógica proposicional o silogismo hipotético expressa uma regra de inferência, enquanto na história da lógica, o silogismo hipotético é uma ajuda para a teoria da consequência. (pt)
- 假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。 在逻辑中，假言三段论是服从下列形式的有效的论证: P → Q.Q → R.所以, P → R. 在逻辑运算符记号中 换句话说，这种论证陈述如果第一个蕴涵第二个，并且第二个蕴涵第三个，则第一个蕴涵第三个。假言三段论的一个例子: 如果我不能起床，则我不能上班。如果我不能上班，则我不能得到报酬。所以，如果我不能起床，则我不能得到报酬。 (zh)
- En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lógica proposicional, el silogismo hipotético es una regla de inferencia válida (llamado también argumento cadena, regla de cadena, o el principio de transitividad de la implicación, y a veces abreviado SH). El silogismo hipotético se puede escribir formalmente como: donde la regla es que cada vez que las instancias de "" y "" aparecen en las líneas de demostración, "" se puede colocar en una línea posterior. (es)
- En logique classique, un syllogisme hypothétique est une règle d'inférence valide, qui prend la forme d'un syllogisme ayant une implication pour un ou deux de ses prémisses. Si je ne me réveille pas, alors je ne peux pas aller travailler.Si je ne peux pas aller travailler, alors je ne vais pas être payé.Par conséquent, si je ne me réveille pas, alors je ne vais pas être payé. où la règle est que chaque fois que les instances de «», et «» apparaissent, «» peut être placé sur la ligne de conclusion. (fr)
- Nella logica classica, il sillogismo ipotetico è una forma logica valida che possiede una istruzione condizionale in una o in entrambe le sue premesse. Esempio: Se io non mi sveglio, quindi non posso andare a lavorare.Se non posso andare a lavorare, io non vengo pagato.Pertanto, se non mi sveglio, allora io non vengo pagato. dove la regola è che ogni volta che le istanze di "", e "" sono nella parte superiore della linea, relativa alla dimostrazione, e " viene scritto nella parte inferiore. (it)
- Hypotetisk slutledning är en slutledning, i logiken kallad syllogism i vilken översatsen är en konditionalsats, ett hypotetiskt villkor. En sådan slutledning kallas ren, om undersatsen är ett hypotetiskt villor. Den äger då formen:
* Om A är, så är B.
* Om C är, så är A,
* alltså: Om C är, så är B. I formell logiknotation kan detta skrivas: Ett alternativt Hypotetiskt bevis - Hypsografi
* Om A är, så är B.
* Om B är, så är D,
* alltså: Om A är, så är D.
* Om A är, så är B.
* Nu är A,
* alltså är B, eller ock formen (i vilket fall man sägs sluta enligt "modus tollens"): eller eller (sv)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)