sincategorema
sincategorèma s. m. [comp. di sin- e categorema] (pl. -i). – Nella logica formale (in contrapp. a categorema), termine di un enunciato che di per sé non ha un significato compiuto, come, [...] per es., la copula, i connettivilogici, i quantificatori (v. sincategorematico). ...
Leggi Tutto
logicalògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto [...] di validità dell’inferenza unicamente in base al significato dei connettivi, cioè di espressioni come «e», «o», «non», «se ... allora», ecc.; l. dei predicati, la parte della logica che studia le condizioni di validità dell’inferenza anche in ...
Leggi Tutto
se-allora
sé-allóra [ALG] [FAF] Uno dei connettivi logici, e precis. implicazione logica o condizionale logico, di simb. →; agisce su due enunciati A e B trasformandoli nell'unico enunciato A→B, che risulta falso se A è vero mentre B è falso,...
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico auspicando l’introduzione di tecniche...