In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] f, c ∈ L.
Per qualsiasi interpretazione i connettivi enunciativi e i quantificatori sono applicati sulle corrispondenti si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m. di ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] né bella.
A B A o B
V V V
V F V
F V V
F F F
L’implicazione
Un altro connettivologico fondamentale è l’implicazione, il cui scopo è quello di esprimere i ragionamenti del tipo «se A allora B», come nella frase ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] : v. automi, teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e manipolazione di dati: v. base dei simboli di termini sincategorematici (come connettivi e quantificatori); in essi si ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] – all’interno del calcolo classico dei sequenti LK per la logica elementare – ogni sequente dimostrabile Γ⇒Δ ha una dimostrazione che le applicazioni delle regole sui connettivi. Il teorema si può estendere a logiche diverse da quella classica (per ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] t.; se quest’ultimo sottoinsieme è vuoto, il sistema formale costituisce un calcolo logico. I calcoli logici in cui tra gli operatori logici si usano soltanto i connettivi si dicono enunciativi, quelli in cui si adoperano anche i quantificatori si ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] un risultato già provato da Gödel per cui se si traducono nel modo ovvio i connettivi in termini di ∧ e ← tutti i teoremi della logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ◆ [ALG] [FAF] Connettivi l.: espressioni che si premettono a un enunciato (la negazione non) o si interpongono fra due enunciati , con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti l. ...
Leggi Tutto
logica
lò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 viene espresso; in partic., in Aristotele,...
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...