Clausola

• Clausola ( logica ). Nella logica matematica la clausola è una disgiunzione finita di letterali, in cui ogni letterale è una formula atomistica. La clausola logica è utilizzata nella programmazione logica e nella rappresentazione del linguaggio naturale in forma logica.