Matches in Wikidata for { <http://www.wikidata.org/entity/Q655742> ?p ?o ?g. }
- Q655742 description "Figure de raisonnement logique concernant l'implication" @default.
- Q655742 description "Schlussregel der formalen Logik" @default.
- Q655742 description "X Y'yi ima ediyorsa ve X doğruysa, Y doğrudur" @default.
- Q655742 description "if X implies Y, and X is true, then Y is true" @default.
- Q655742 description "inferencoregulo, laŭ kiu, donita P→Q kaj P, oni inferencas Q" @default.
- Q655742 description "odvozovací pravidlo" @default.
- Q655742 description "pravilo formalne logike: če X pomeni Y in je X resničen, je tudi Y resničen" @default.
- Q655742 description "regola di inferenza della logica proposizionale" @default.
- Q655742 description "правило вывода в исчислении высказываний" @default.
- Q655742 description "قاعدة للاستدلال المنطقي" @default.
- Q655742 name "Jákvæð játunarregla" @default.
- Q655742 name "Modus ponendo ponens" @default.
- Q655742 name "Modus ponendo ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "Modus ponens" @default.
- Q655742 name "aserta modalo" @default.
- Q655742 name "modus ponendo ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "modus ponens" @default.
- Q655742 name "Модус поненс" @default.
- Q655742 name "Модус поненс" @default.
- Q655742 name "Модус поненс" @default.
- Q655742 name "מודוס פוננס" @default.
- Q655742 name "قياس استثنائي" @default.
- Q655742 name "قیاس استثنایی" @default.
- Q655742 name "モーダスポネンス" @default.
- Q655742 name "肯定前件" @default.
- Q655742 name "肯定前件" @default.
- Q655742 name "肯定前件" @default.
- Q655742 name "肯定前件" @default.
- Q655742 name "전건 긍정의 형식" @default.
- Q655742 type Item @default.
- Q655742 label "Jákvæð játunarregla" @default.
- Q655742 label "Modus ponendo ponens" @default.
- Q655742 label "Modus ponendo ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "Modus ponens" @default.
- Q655742 label "aserta modalo" @default.
- Q655742 label "modus ponendo ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "modus ponens" @default.
- Q655742 label "Модус поненс" @default.
- Q655742 label "Модус поненс" @default.
- Q655742 label "Модус поненс" @default.
- Q655742 label "מודוס פוננס" @default.
- Q655742 label "قياس استثنائي" @default.
- Q655742 label "قیاس استثنایی" @default.
- Q655742 label "モーダスポネンス" @default.
- Q655742 label "肯定前件" @default.
- Q655742 label "肯定前件" @default.
- Q655742 label "肯定前件" @default.
- Q655742 label "肯定前件" @default.
- Q655742 label "전건 긍정의 형식" @default.
- Q655742 altLabel "Abtrennungsregel" @default.
- Q655742 altLabel "Affermazione dell'antecedente" @default.
- Q655742 altLabel "Aðskilnaðarháttur" @default.
- Q655742 altLabel "Aðskilnaðarregla" @default.
- Q655742 altLabel "MP" @default.
- Q655742 altLabel "Modus ponendo ponens" @default.
- Q655742 altLabel "Modus ponendo ponens" @default.
- Q655742 altLabel "Modus ponendo ponens" @default.
- Q655742 altLabel "Modus ponendo ponens" @default.
- Q655742 altLabel "Modus ponendo ponens" @default.
- Q655742 altLabel "Modus ponens" @default.
- Q655742 altLabel "Modus ponens" @default.
- Q655742 altLabel "Modus ponens" @default.
- Q655742 altLabel "Pravidlo modus ponens" @default.
- Q655742 altLabel "Pravidlo odlúčenia" @default.