Logica matematica

Lezione 002

01. Che cosa studia la logica come disciplina formale?

• Risposta corretta: I ragionamenti, ossia sequenze di descrizioni in cui alcune premesse

giusti cano una conclusione determinata.

02. Qual è la caratteristica essenziale di una descrizione dichiarativa o apofantica?

• ◦ Risposta corretta: È un enunciato che a erma qualcosa del mondo e può essere

valutato come vero o falso nel suo contesto.

03. Come si rappresenta formalmente un ragionamento in logica matematica?

• Risposta corretta: Come una coppia ordinata (Γ, a), in cui è l'insieme delle premesse e a

la conclusione del ragionamento.

04. Qual è la di erenza tra linguaggio naturale e linguaggio arti ciale?

• Risposta corretta: Il linguaggio naturale è ambiguo e contestuale, mentre quello arti ciale

è rigoroso, non ambiguo e manipolabile formalmente.

05. Quale funzione epistemologica svolge la logica all'interno del sapere scienti co?

• Risposta corretta: Fornisce strumenti per distinguere i ragionamenti validi da quelli fallaci,

garantendo coerenza teorica alle scienze.

01. Quando si può dire che un ragionamento è fondato secondo la logica?

• Risposta corretta: Quando è corretto dal punto di vista logico e tutte le descrizioni che lo

compongono sono vere nello stesso tempo.

02. In che cosa si distingue la correttezza di un ragionamento dalla verità delle sue

• descrizioni?

Risposta corretta: La correttezza riguarda la forma inferenziale del ragionamento, mentre

la verità riguarda i contenuti delle descrizioni che lo compongono.

03. Perché la logica classica esclude i contesti non vero-funzionali, come quelli che

• esprimono credenze o possibilità?

Risposta corretta: Perché in tali contesti il valore di verità complessivo non dipende solo

da quello delle descrizioni componenti.

04. Quali categorie si applicano rispettivamente ai ragionamenti e alle descrizioni secondo

• la logica formale?

Risposta corretta: Ai ragionamenti si applicano le categorie di correttezza o scorrettezza,

alle descrizioni quelle di verità o falsità.

fi ff ff fi fi fi

05. Qual è il principio di vero-funzionalità nella logica classica e che cosa implica per le

• descrizioni composte?

Risposta corretta: Il valore di verità di una descrizione composta dipende interamente dai

valori di verità delle descrizioni componenti che la formano.

01. Qual è il motivo principale per cui la logica matematica utilizza linguaggi formali?

• Risposta corretta: Per eliminare l'ambiguità del linguaggio naturale e garantire univocità di

riferimento in ogni descrizione logica.

02. Perché in logica non è possibile rappresentare con lo stesso simbolo due proposizioni

• come "piove poco" e "piove pochino"?

Risposta corretta: Perché anche minime di erenze di signi cato richiedono espressioni

distinte in base al principio di univocità dei linguaggi formali.

03. Che cosa caratterizza il linguaggio della logica proposizionale rispetto a quello della

• logica del primo ordine?

Risposta corretta: Il linguaggio proposizionale tratta intere proposizioni come unità

indivisibili, senza analizzarne la struttura interna.

04. In che modo la logica del primo ordine amplia la capacità espressiva della logica

• proposizionale?

Risposta corretta: Introducendo variabili, predicati e quanti catori che permettono di

rappresentare relazioni e generalizzazioni tra oggetti.

05. Quale relazione lega la logica proposizionale alla logica del primo ordine dal punto di

• vista teorico?

Risposta corretta: La logica proposizionale è un caso particolare della logica del primo

ordine in cui mancano variabili e quanti catori.

• Domanda: Che cosa si intende per morfologia in relazione alla struttura sintattica di un

linguaggio?

Risposta: È la parte della sintassi che studia gli elementi minimi del linguaggio, cioè i

simboli fondamentali con cui si costruiscono le espressioni.

• Domanda: Che cosa de nisce la sintassi di un linguaggio logico e quale funzione svolge

nel determinarne la correttezza formale?

Risposta: La sintassi de nisce le regole che stabiliscono quali combinazioni di simboli

costituiscono espressioni ben formate all'interno del linguaggio.

fi

fi fi ff fi fi

• Domanda: Per quale motivo il signi cato di un'espressione in un linguaggio formale non è

intrinseco ma assegnato?

Risposta: Perché ogni simbolo riceve il suo signi cato da un sistema interpretativo o

modello che de nisce a cosa si riferisce.

• Domanda: Qual è la funzione della semantica nei linguaggi formali rispetto alla sintassi?

Risposta: La semantica assegna signi cato alle espressioni formalmente corrette,

collegandole a entità, proprietà, relazioni o valori di verità.

• Domanda: In che senso la sintassi e la semantica sono considerate componenti

inseparabili di un linguaggio?

Risposta: Perché la sintassi da sola genera forme prive di senso e la semantica da sola

non può operare senza oggetti ben formati.

Lezione 006

• Domanda: Qual è la principale ragione logica per distinguere tra sintassi e semantica nei

linguaggi formali?

Risposta: Evitare che un linguaggio possa esprimere al suo interno la propria teoria della

verità, generando enunciati autoriferiti e paradossi.

• Domanda: In che modo il teorema di Tarski contribuisce a preservare la coerenza dei

sistemi logici formali?

Risposta: Dimostrando che una teoria della verità coerente non può essere formulata

all'interno del linguaggio a cui si applica.

• Domanda: Che cosa si intende per linguaggio oggetto nella costruzione dei linguaggi

formali?

Risposta: È il linguaggio che vogliamo analizzare e che contiene solo simboli, regole di

formazione e strutture deduttive.

• Domanda: Qual è la funzione del metalinguaggio nella distinzione tra livelli linguistici?

Risposta: De nire la semantica del linguaggio oggetto, assegnando signi cato e

condizioni di verità alle sue formule.

•

fi fi fi fi fi fi

Domanda: Qual è la conseguenza logica dell'autoriferimento nei linguaggi che non

• distinguono tra sintassi e semantica?

Risposta: L'esplosione del sistema, poiché da una contraddizione diventa possibile

dedurre qualsiasi formula o proposizione.

• Domanda: Qual è la relazione tra correttezza delle inferenze e solidità di un sistema

formale?

Risposta: La solidità di un sistema dipende dalla correttezza delle inferenze che in esso

conservano la verità da premesse a conclusioni.

• Domanda: In che senso la correttezza rappresenta una condizione epistemica

fondamentale nei sistemi logici?

Risposta: Perché garantisce che da premesse vere si possano ottenere conclusioni vere,

assicurando la solidità del ragionamento.

• Domanda: Quale funzione svolge la correttezza nel collegare il livello sintattico e quello

semantico di una teoria logica?

Risposta: La correttezza unisce il calcolo sintattico alla teoria della verità, assicurando la

conservazione della verità nel ragionamento.

• Domanda: Perché un'inferenza non può essere de nita come vera o falsa, ma solo come

corretta o scorretta?

Risposta: Perché la verità riguarda le descrizioni, mentre la correttezza riguarda la

connessione logica tra premesse e conclusione.

• Domanda: Che cosa si intende per correttezza di un'inferenza nella logica formale?

Risposta: L'impossibilità che le premesse siano vere e la conclusione falsa in qualunque

interpretazione possibile.

Lezione 008

• Domanda: Perché la coppia che costituisce il linguaggio L si dice "ordinata"?

◦ Risposta: Perché il secondo elemento dipende dal primo: non si possono costruire

formule senza aver prima de nito i simboli dell'alfabeto.

fi fi

• Domanda: Quali categorie di simboli compongono l'alfabeto del linguaggio

proposizionale?

Risposta: Simboli proposizionali, connettivi logici e parentesi tonde usate per

disambiguare la struttura delle formule.

• Domanda: Quale ruolo svolgono le parentesi nel linguaggio proposizionale formale?

Risposta: Servono a eliminare ambiguità, indicando la precedenza e la gerarchia delle

operazioni logiche.

• Domanda: Come viene de nito formalmente un linguaggio nella logica matematica?

Risposta: Come una coppia ordinata, in cui il primo elemento è l'alfabeto dei simboli e il

secondo è l'insieme delle formule ben formate.

• Domanda: Che cosa garantisce la de nizione del linguaggio formale come coppia dal

punto di vista logico?

Risposta: Garantisce rigore, controllo nella costruzione delle formule e la possibilità di

veri care passo per passo le inferenze.

Lezione 009

• Domanda: Qual è la rilevanza metodologica della de nizione induttiva nella logica formale?

Risposta: Consente rigore, tracciabilità e fondamento per le dimostrazioni per induzione

sulla complessità delle formule.

• Domanda: Qual è la clausola di base nella de nizione induttiva dell’insieme delle formule

ben formate F?

Risposta: Ogni simbolo proposizionale p appartenente a P appartiene anche all’insieme F

delle formule ben formate.

• Domanda: Perché la de nizione induttiva è detta anche “ricorsiva”?

Risposta: Perché il metodo si basa su una ripetizione controllata che genera nuove

formule a partire da quelle già ottenute.

• Domanda: In cosa consiste la struttura di una de nizione induttiva di formule ben formate?

Risposta: Nella presenza di una base, un passo induttivo e una chiusura che esclude tutto

ciò che non deriva da essi.

fi fi fi fi fi fi fi

• Domanda: Qual è lo scopo principale delle regole di formazione nel linguaggio

proposizionale?

Risposta: Stabilire quali sequenze di simboli sono accettabili e ben formate, escludendo

quelle prive di senso logico.

Lezione 010

• Domanda: Perché la distinzione tra formule atomiche e molecolari è metodologicamente

importante?

Risposta: Perché consente di analizzare la struttura dei ragionamenti, distinguendo il livello

base da quello composto.

• Domanda: Quale condizione distingue le formule molecolari unarie dalle binarie?

Risposta: Le unarie sono formate solo da simboli atomici, mentre le binarie richiedono

operatori semantici esterni.

• Domanda: Qual è la clausola base della de nizione induttiva dell’insieme delle formule ben

formate F?

Risposta: Ogni simbolo proposizionale appartenente a P appartiene anche a F,

costituendo una formula atomica.

• Domanda: Quando una formula del linguaggio proposizionale è detta atomica?

Risposta: Quando consiste in un solo simbolo proposizionale privo di connettivi logici o

operatori.

• Domanda: Come si costruisce una formula molecolare nel linguaggio proposizionale?

Risposta: Combinando due o più formule, atomiche o molecolari, tramite connettivi logici

binari o unari.

• Domanda: Qual è la condizione che consente di applicare il principio di induzione?

Risposta: Che una proprietà valga per 0 e che, se vale per n, allora valga anche per n+1.

• Domanda: Qual è il vantaggio metodologico della de nizione induttiva nella logica

formale?

Risposta: Permette di costruire insiemi in niti da regole nite, rendendo veri cabile ogni

formula del linguaggio. fi fi fi fi fi

• Domanda: Qual è il legame concettuale tra induzione e ricorsione nel linguaggio

proposizionale?

Risposta: Entrambe si fondano sulla ripetizione di regole: l’una per dimostrare proprietà,

l’altra per costruire formule.

• Domanda: In cosa consiste il passo induttivo nella de nizione dell’insieme delle formule

ben formate F?

Risposta: Nell’indicare che da formule già appartenenti a F se ne possono costruire di

nuove tramite connettivi.

• Domanda: Qual è la funzione del caso base nel principio di induzione?

Risposta: Dimostrare che la proprietà considerata vale per il primo elemento, cioè per n =

0.

Lezione 012

• Domanda: Perché le metavariabili sono indispensabili nella de nizione delle regole di

formazione?

Risposta: Consentono di esprimere regole generali e nite che valgono per in nite

combinazioni di formule.

• Domanda: Che cosa rappresenta una metavariabile nel contesto della logica formale?

Risposta: Un simbolo del metalinguaggio che rappresenta genericamente una formula del

linguaggio-oggetto.

• Domanda: In che modo le metavariabili si distinguono dai simboli proposizionali come p,

q, r?

Risposta: Le metavariabili appartengono al metalinguaggio, mentre p, q, r fanno parte del

linguaggio-oggetto.

• Domanda: Qual è la funzione principale delle metavariabili come strumenti di astrazione

sintattica?

Risposta: Indicare la posizione che una formula può occupare nella struttura formale

senza assegnarle verità. fi

fi fi fi

• Domanda: Che cosa mostra l’esempio con φ = (p (q r)) e ψ = (¬s -> (t <-> u))?

∧ ∨

Risposta: Che le metavariabili possono rappresentare formule complesse e fungere da

segnaposto strutturali.

Lezione 013

• Domanda: Quando è possibile omettere le parentesi in una formula senza generare

ambiguità sintattiche?

Risposta: Quando la formula presenta più connettivi ma segue le regole della forza e della

priorità.

• Domanda: Che cosa si intende per occorrenza di un simbolo all’interno di una formula

logica?

Risposta: Una presenza concreta e distinta di un simbolo in una formula, anche se

identico ad altri.

• Domanda: Come si de nisce il campo di un’occorrenza in una formula del linguaggio

proposizionale?

Risposta: La sottoformula in cui il connettivo compare come principale e che ne delimita

l’estensione.

• Domanda: Quando un’occorrenza α si dice subordinata a un’altra occorrenza β nella

stessa formula?

Risposta: Quando il campo di α è contenuto nel campo di β secondo la relazione

gerarchica interna.

• Domanda: In che ordine decrescente si dispone convenzionalmente la forza sintattica dei

connettivi logici?

Risposta: ¬, ->, <-> secondo la precedenza dal più forte al più debole nel linguaggio

∧, ∨,

formale.

Lezione 014

• Domanda: Qual è la caratteristica che rende ¬a una formula ben formata nel linguaggio

proposizionale?

Risposta: È il risultato dell’applicazione di un connettivo unario a una formula già ben

formata.

fi

• Domanda: Che cosa signi ca formalizzare una proposizione nel linguaggio

proposizionale?

Risposta: Tradurre una proposizione dichiarativa in una formula sintatticamente ben

formata.

• Domanda: Quale principio metodologico emerge dalla costruzione di formule ben formate

nella logica proposizionale?

Risposta: L’attenzione alla struttura sintattica garantisce una traduzione fedele e coerente

del signi cato logico.

• Domanda: In quale modo la formula "(p h) -> a" rappresenta correttamente

∧

un’interpretazione logica complessa?

Risposta: Indica che se due condizioni sono vere contemporaneamente, allora segue una

terza proposizione.

• Domanda: Quando una formalizzazione logica risulta sintatticamente scorretta nel

linguaggio proposizionale?

Risposta: Quando l’uso dei connettivi o delle parentesi altera la struttura inferenziale

prevista dalla formula.

• Domanda: Che cosa de nisce formalmente una semantica nella logica formale?

Risposta: Un apparato matematico che