| dbo:description
|
- forma lógica (es)
- Schlussregel der formalen Logik (de)
- regola di inferenza della logica proposizionale (it)
- règle d'inférence en logique propositionnelle (fr)
- if X implies Y, and Y isn't true, then neither is X (en)
- prawo logiczne mówiące, że przy poprawnej implikacji fałsz wniosku prowadzi do fałszu przesłanki (pl)
- inferencoregulo, laŭ kiu, donita P→Q kaj ¬Q, oni inferencas ¬P (eo)
- рассуждение от противного (ru)
- jika X berimplikasi Y, dan Y tidak benar, maka X pun tidak benar (in)
|
