| dbo:description
|
- mathematischer Satz (de)
- inference that says that a conditional statement is logically equivalent to its contrapositive (en)
- inferencia que di que unha afirmación condicional é loxicamente equivalente á súa contrapositiva (gl)
- inversão e negação de partes de uma implicação lógica (pt)
- sklepanje, ki pravi, da je pogojna izjava logično enakovredna svojemu kontrapozitivu (sl)
- ある命題の仮定と結論を入れ替えたうえでそれぞれ否定して得られる命題 (ja)
- inferencia lógica (es)
- przykładowa reguła klasycznego rachunku zdań (pl)
- type de raisonnement mathématiques (fr)
- infero, el “A implicas B”, ke “ne-B implicas ne-A” (eo)
- שקילות בין גרירות (iw)
|
