Vyvození (logické)

Vyvození je proces logického uvažování, kterým se dochází k získání výsledku z předchozích známých premis.

Relevantní k vyvození (logické)