Traduktion ( lat. traductio - bevægelse) er en type indirekte slutning , hvor præmisser og konklusioner er vurderinger af samme grad af almenhed. Traduktiv ræsonnement er en analogi . Afhængigt af karakteren af lokalerne og konklusionen kan traditionen være af tre typer:
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||