|
"Figure de raisonnement logique concernant l'implication"@fr
"Schlussregel der formalen Logik"@de
"X Y'yi ima ediyorsa ve X doğruysa, Y doğrudur"@tr
"figura do razoamento lóxico"@gl
"forma lógica"@es
"if X implies Y, and X is true, then Y is true"@en
"inferencoregulo, laŭ kiu, donita P→Q kaj P, oni inferencas Q"@eo
"jika X berimplikasi pada Y, dan X adalah benar, maka Y benar"@id
"odvozovací pravidlo"@cs
"pravilo formalne logike: če X pomeni Y in je X resničen, je tudi Y resničen"@sl
"regola di inferenza della logica proposizionale"@it
"reguła wnioskowania nazywana też odrywaniem – z implikacji i jej poprzednika wynika jej następnik"@pl
"правило вывода в исчислении высказываний"@ru
"כלל לוגי"@he
"قاعدة للاستدلال المنطقي"@ar
|