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