PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] di grandi dimensioni. Le istruzioni di un programma in prolog sono particolari scritture logiche, alla cui definizione si perviene attraverso l’uso dei connettivi e delle regole del calcolo dei predicati. Si definisce come letterale una proposizione ...
Leggi Tutto
logica combinatoria
logica combinatoria locuzione utilizzata in due diverse accezioni:
• per indicare un modello di calcolo logico introdotto nel 1920 dal matematico ucraino M.I. Schönfinkel (combinatory [...] , ridotta al solo frammento implicativo (cioè utilizzando nel linguaggio logico solo il connettivo di implicazione), e i termini della logica combinatoria, ciò in analogia a quanto stabilito dall’isomorfismo di → Curry-Howard.
Per definire ...
Leggi Tutto
sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] di derivazione si dividono in regole logiche, regole strutturali e regola del taglio.
Regole logiche
Le regole logiche sono utilizzate per introdurre, a destra o a sinistra del simbolo di sequente, i → connettivi e i → quantificatori. Per esempio ...
Leggi Tutto
Horn, clausola di
Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] equivalente, come implicazione; per esempio:
• la clausola ￢A ∨ B è logicamente equivalente all’implicazione A ⇒ B (il simbolo ⇒ indica il connettivo di implicazione) come si deduce confrontando le rispettive tavole di verità;
• generalizzando ...
Leggi Tutto
deduzione, catena di
deduzione, catena di rappresentazione formale di un ragionamento consistente in una sequenza di formule ben formate (ƒbƒ), ognuna delle quali è legata alla successiva da determinate [...] può essere riassunta nello schema seguente:
In un calcolo logico si definisce formalmente una deduzione di una formula α legge «A implica A», il simbolo ⇒ rappresenta il connettivo della implicazione). Per costruire tale deduzione si utilizzano due ...
Leggi Tutto
logica deontica
logica deontica estensione della logica classica che studia gli enunciati che fanno riferimento ai concetti di dovere, potere ecc. Il suo nome deriva infatti dal verbo greco déomai (devo); [...] necessario esplicitare degli assiomi. Per esempio, nel sistema della logica deontica minimale, ideato da von Wright, si utilizza l’assioma: Oƒ ⇒ Pƒ in cui ƒ è un enunciato, il simbolo ⇒ rappresenta il connettivo di implicazione mentre i simboli O e P ...
Leggi Tutto
nand
nand operatore logico (o porta logica) che a ogni coppia di valori binari in ingresso (0 e 1) associa un solo valore in uscita: tale valore è 0 se e solo se i valori in ingresso sono entrambi 1, [...] nel linguaggio degli enunciati. Esso è un particolare connettivo corrispondente alla negazione di una congiunzione: dati due . La sua tavola di verità è pertanto:
Il circuito logico corrispondente all’operatore nand si ottiene con la connessione in ...
Leggi Tutto
logica paraconsistente
logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché [...] connettivo di implicazione. Ciò non accade nelle logiche paraconsistenti. Se L è un sistema formale di una logica B. I primi sistemi paraconsistenti furono formulati nel 1948 dal logico polacco Stanisław Jaśkowski (1906-65); lo sviluppo della teoria ...
Leggi Tutto
and
and uno degli operatori logici fondamentali dell’algebra di → Boole, detto anche prodotto logico e indicato con ×. Corrisponde al connettivo ∧ della congiunzione che, dati due enunciati A e B, ne [...] cui sia A sia B siano veri ed è falso in tutti gli altri casi. La tavola di verità che esprime la funzione logica dell’operatore and è quindi la seguente (a e b indicano due qualsiasi espressioni booleane; 0 può essere interpretato come il valore di ...
Leggi Tutto
doppia negazione
doppia negazione in logica, applicazione, effettuata due volte, del connettivo della negazione, indicato dal simbolo ￢ (si legge «non»), a una formula A in modo da ottenere la formula [...] , la frase «qui non c’è nessuno» ha un significato di negazione pur contenendo due negazioni. L’equivalenza logica fra la formula A e la formula ￢￢A corrisponde al fatto che le due formule hanno lo stesso valore di verità, come si vede anche dalla ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente detto, c. adiposo, c. cordoide o vescicolare,...