LOGICA E COMUNICAZIONE

cos'è una proposizione logica?

cos'è una dimostrazione logica

cos'è una dimostrazione di una conclusione A da un'ipotesi B?

Cos'è un dibattito

La dimostrazione di A da B è uguale alla dimostrazione del duale logico di B dal duale logico di A?

Quali sono i principali concetti logici sulle classi?

Cos'è una classe ordinata?

Cos'è il dominio e cos'è il codominio di un'operazione?

Cos'è una strategia sequenziale e cos'è una strategia non-sequenziale?

Cos'è l'organizzazione assiomatica di una teoria?

Cosa si intende dicendo che la concezione classica delle proposizioni è bivalente?

Cosa si intende dicendo che la concezione classica delle proposizioni è atemporale ed aspaziale?

Cos'è il principio dell'interazione tra una proposizione e la sua negazione classica?

Quali sono i 4 principi fondamentali della logica classica?

modus ponens?

modus tollens?

Cos'è la regola del taglio?

Che cos'è la regola della consequetia mirabilis o regola della contrazione?

Cos'è la regola dell'A fortiori o regola dell'indebolimento?

Che cos'è la concezione estensionale e la concezione vero-funzionale dei connettivi?

la tavola dei connettivi della logica classica

Definisci l'implicazione classica a partire dalla disgiunzione classica e dalla negazione classica

Definisci l'alternativa classica e l'equivalenza classica a partire dalla congiunzione classica, dalla disgiunzione classica(oppure) e dalla negazione classica

Enuncia le regole della negazione delle proposizioni ottenute mediante i connettivi principali

Qual è la regola per ottenere una dimostrazione di una congiunzione classica?
Quali sono le regole per usare in una dimostrazione una congiunzione classica?

Qual è la regola per ottenere una dimostrazione di una disgiunzione classica?
Quali sono le regole per usare in una dimostrazione una disgiunzione classica?

Quali sono i principali tipi logici?

Qual è la negazione di di una proposizione che ha la forma ∃x : T A[x]?

Qual è la negazione di di una proposizione che ha la forma ∀x : T A[x]?

Come si può dimostrare una proposizione che ha la forma ∃x : T A[x]?

Come si può dimostrare una proposizione che ha la forma ∀x : T A[x]?

Come si può usare in una dimostrazione una proposizione che ha la forma ∀x : T A[x]?

Come si può usare in una dimostrazione una proposizione che ha la forma ∃x : T A[x]?

Cos'è il sillogismo BARBARA e cos'è il sillogismo DARII?

Come si scrivono - nella seconda lettura odierna - una proposizione categorica particolare affermativa e la sua negazione?

Come si scrivono - nella seconda lettura odierna - una proposizione categorica universale affermativa e la sua negazione?

Cos'è una proposizione del primo ordine?

Cos'è un modello di una formula del primo ordine? Cos'è un contromodello di una formula del primo ordine?

ci sono concetti extra-logici nelle formule del primo ordine?

Quando una formula del primo ordine è soddisfacibile? E come viene chiamata la formula che è la negazione di una formula chiamata soddisfacibile?

Quando una formula del primo ordine è una verità logica? E come viene chiamata la formula che è la negazione di una formula chiamata verità logica?

Quando una formula [A] è conseguenza logica di un insieme [M] di formule?

Esponi le linee generali del teorema di completezza della logica del primo ordine

Esponi le linee generali del teorema di incompletezza di Godel

La logica riesce a dimostrare con i propri metodi tutte le sue proposizioni vere?

Cosa sono gli insiemi?

Cos'è il principio di estensionalità delle classi?

Cos'è il principio di comprensione?

Esponi l'antinomia di Russel

Cos'è una definizione induttiva di un insieme?

Cosa vuol dire che due insiemi sono equipotenti? Mostra due insiemi infiniti che non sono equipotenti

Quante sono le successioni finite costituite da k bit?

Quando una funzione è una codificazione di un insieme X?

Enuncia il teorema che sta alla base della possibilità di rappresentare i numeri naturali in una base n (dove n è un numero naturale maggiore o uguale a 2)

Qual è un esempio di codificazione delle successioni finite di numeri naturali?

Qual è la definizione di algebra di Boole

Quali sono gli esempi principali di ciò che è chiamata Algebra di Boole?

Quanti sono i possibili connettivi binari? e quanti sono i possibili connettivi n-ari?

mediante la congiunzione classica, la disgiunzione classica e la negazione classica si possono definire tutte le possibili operazioni sui bit?

La macchina di Turing è il modello della nostra mente?

Cosa è una istruzione di una macchina di Turing? Cosa è un programma di una macchina di Turing?

Quando sono uguali due MdT?

cos'è una computazione di una MdT?

Quando una Macchina di Turing è una macchina per una funzione numerica unaria? E quando è una macchina per una funzione numerica k-aria?

Spiegare e commentare la Tesi di Church

Ci sono funzioni non-calcolabili? e perché?

Quando una macchina di Turing è deterministica?

Quali sono le principali assiomatizzazioni della logica del primo ordine?

Le dimostrazioni logiche si devono svolgere sempre all'interno di un prefissato formalismo?

Quali sono gli assiomi e le regole di derivazione, nella assiomatizzazione delle formule che sono verità logiche del primo ordine?

Come sono definiti i sequenti derivabili nel calcolo dei sequenti per la logica del primo ordine?

Come è definito un linguaggio formale del primo ordine?

È decidibile la proprietà di essere una formula derivabile (o un sequente derivabile) nella logica del primo ordine?

La logica è strumento in ogni disciplina? Ed è possibile ricondurre ogni disciplina alla sola logica?

La logica matematica è parte della filosofia, o lo è soltanto la logica filosofica?

Mostra alcune ragioni per le quali la logica è base della filosofia della scienza

Quali sono i principali approcci nell'indagine sui fondamenti delle scienze nella seconda metà dell'ottocento e del novecento?

Quali sono le principali branche della logica matematica?

Quali sono le principali nozioni di programma fornite dalla logica all'informatica?

Cos'è la corrispondenza di Curry-Howard?

Cos'è il calcolo Sintattico di Lambek