forma normale disgiuntiva
forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di) ...
Leggi Tutto
forma proposizionale
forma proposizionale in logica, espressione sinonimo di → enunciato o, in termini più formali, non facendo riferimento ad alcuna semantica, di → forma enunciativa. ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...