logica prima metà domande

Quale tra questi autori viene considerato all'unisono il fondatore della "logica classica"?. Platone. Parmenide. Democrito. Aristotele.

Quale tra queste NON è una caratteristica della "logica arcaica"?. Distinzione tra i piani del pensiero, della realtà e del linguaggio. Coincidenza di parole e cose. Carattere eminentemente verbale dell'«errore». Unità di pensiero, realtà e linguaggio.

Quale tra queste affermazioni rispecchia la cosiddetta «unità indifferenziata di parole e cose», caratteristica della "logica arcaica"?. Nessuna delle precedenti. Tra parole e cose c'è una relazione intrinseca. Tra parole e cose non c'è una relazione convenzionale. I nomi sono una semplice "etichetta" aderente alle cose da essi designate.

Come si spiega la «natura eminenentemente verbale dell'errore» nella "logica arcaica"?. L'errore è dovuto alla trasgressione del "principio di non contraddizione" e del "terzo escluso". L'errore è dovuto a una mancata adeguazione di discorsi a stati di fatto. L'errore è dovuto a una mancata adeguazione del pensiero al linguaggio. L'errore è dovuto alla semplice espressione verbale scorretta.

Quale relazione sussiste tra parole e cose nella "logica arcaica"?. Differenza specifica tra parole e cose. Unità indifferenziata di parole e cose. Indifferenza delle cose nei confronti delle parole. Indifferenza delle parole nei confronti delle cose.

Stando a Parmenide, quale tra i seguenti termini sfugge alle "opposizioni" tra denominazioni costitutive del linguaggio verbale?. Eternità. Essere. Sostanza. Non-essere.

Quale tra i seguenti è un dispositivo produttivo per l'argomentare di Eraclito?. L'uso del formalismo matematico. L'impiego dell'osservazione sistematica e ripetuta di stati di cose fisici. L'uso del formalismo geometrico. L'impiego che egli fa di determinate possibilità espressive offertegli dalla lingua greca.

Dal modo di argomentare di Eraclito possiamo accertare che le conclusioni cui egli giunse provengono: da nessuna delle precedenti. da un'osservazione ripetuta di stati di cose. dalla considerazione della struttura del reale come necessariamente concordante con la struttura del linguaggio. dalla non-identità di realtà e linguaggio.

Quali tra questi autori rappresenta al contempo il culmine e il superamento della "logica arcaica"?. Democrito. Zenone. Anassagora. Aristotele.

Quale tra queste è una tesi di Eraclito?. Tra parole e cose vige una relazione convenzionale. La relazione oppositiva tra parole è un conflitto e un connubio di realtà opposte, perchè le antitesi verbali sono antitesi effettive. L'«essere» è, ed è impossibile non sia. La relazione oppositiva tra parole non è un conflitto e un connubio di realtà opposte perché vige «armonia».

I paradossi di Zenone. annunciano alcune aporie intrinseche alla "logica arcaica", le quali non sono risolvibili nel suo stesso ambito. sono aporie soltanto apparenti dal punto di vista della "logica arcaica". risolvono le aporie intrinseche alla "logica arcaica", senza valicarne i confini. sono dovuti a un fraintendimento dell'impostazione parmenidea del «problema logico».

Quale intuizione si cela alla base del paradosso zenoniano della "freccia"?. La freccia, pur in movimento, di fatto risulta immobile. Nessuna delle precedenti. La freccia, pur immobile, di fatto risulta in movimento. Uno spazio finito non è divisibile all'infinito.

Chi tra questi fu l'autore dei due celebri paradossi di "Achille e la tartaruga" e della "freccia"?. Parmenide. Democrito. Aristotele. Zenone di Elea.

Da quale atteggiamento mentale scaturiscono i paradossi di Zenone?. L'attribuzione a uno stesso soggetto di due predicati contraddittori, data per garantita la corrispondenza tra struttura verbale e realtà del mondo. L'attribuzione a due soggetti di un medesimo predicato. L'idea che ciò che è «certo» non è detto sia «vero». La tendenza a considerare le parole distinte dalle cose, creandosi così una frattura fra ciò che accade e ciò che si dice.

Quale intuizione si cela alla base del paradosso di Zenone di "Achille e la tartaruga"?. Il valore delle velocità è relativo al punto in cui si trova l'osservatore. Chi insegue deve raggiungere anzitutto il punto da cui muove chi fugge. Uno spazio finito non è divisibile all'infinito. Chi fugge deve raggiungere prima il punto da cui muove chi insegue.

Quale tra queste NON è una caratteristica degli «atomi» per Democrito?. L'essere di numero e forme indefiniti. L'essere invisibili e piccolissimi. L'essere senza mutamento. L'essere insecabili.

Quale tra queste NON è una tesi di Democrito?. Indipendenza della realtà dal pensiero. Identità di pensiero e linguaggio. Indipendenza delle cose dai loro nomi. Indipendenza del pensiero dal linguaggio.

Stando a Democrito, se vogliamo pervenire a una «conoscenza certa», dobbiamo anzitutto. riconoscere l'identità di pensiero e linguaggio. dobbiamo rivolgerci al linguaggio, non alle cose. dobbiamo rivolgerci alle cose in quanto «cose-nomi». revocare l'unità tipicamente "arcaica" di pensiero, linguaggio e realtà materiale, dimostrandone l'inconsistenza.

Stando a Democrito, che relazione vige tra parole e cose?. Una relazione sostanziale. Una relazione convenzionale. Una relazione intrinseca. Una relazione oppositiva.

Con quale "motto" Democrito si prese gioco dell'impostazione del «problema logico» da parte della "logica arcaica"?. «Una e medesima [è detta ed è] la via che va in su (la salita) e la via che va in giù (la discesa)». «Il niente dal niente». «Tutte le cose che sono si differenziano dalla stessa cosa, e sono questa stessa cosa». «L'iente non è più del niente».

Secondo la dottrina aristotelica, di cosa si compone un «termine»?. Di una concatenazione necessaria di enunciati. Di due premesse e una conclusione. I «termini» sono elementi primi e non ulteriormente riducibili. Di dieci «giudizi».

Secondo la dottrina aristotelica, di cosa si compone un «giudizio»?. Di una concatenazione necessaria di enunciati. Di due premesse e una conclusione. Di «giudizi» sono elementi primi e non ulteriormente riducibili. Di «termini».

Secondo Aristotele, in un sillogismo. le premesse vanno sempre «fondate» come conclusione di un precedente sillogismo. la conclusione deve necessariamente fungere da premessa di un ulteriore sillogismo. la conclusione deve essere «risolta» nelle premesse da cui deriva necessariamente. le premesse devono essere «risolte» nella conclusione a cui ambiscono.

Con quale locuzione Aristotele definisce ciò che noi oggi chiamiamo "logica"?. «Visione immediata». «Induzione». «Categoria». «Sapere certo analitico».

Che cos'è un «sillogismo» secondo Aristotele?. Una concatenazione logicamente necessaria di proposizioni. Una relazione logica tra i «termini» di una proposizione. Una relazione convenzionale di una conclusione con le sue premesse. Un modo di ricavare alcune premesse da una conclusione.

Aristotele impiega di rado il termine «logica» per indicare ciò che noi intendiamo con essa. Quale locuzione usa Aristotele per indicarla?. «Sapere corretto non necessariamente veritiero». «Sapere analitico non reale». «Sapere certo analitico». «Sapere certo sintetico».

Come si chiama il corpus di testi che contiene le opere di logica di Aristotele?. Aforismi sulla logica. Organon. La metafisica. La retorica.

Che cos'è la "logica" per Aristotele?. La forma del discorso probante. Una scienza poietica. Una disciplina etica. La "scienza prima".

Di cosa si compone un «sillogismo» qualsiasi?. Di premesse indispensabili per la sua comprensione. Di «giudizi» o enunciati. Di quattro «termini». Di dieci «categorie».

Stando ad Aristotele, in base alla "qualità" i giudizi si dividono in. veri e falsi. universali, particolari e singolari. affermativi e negativi. possibili e necessari.

Che cosa sono le «categorie» per Aristotele?. Elementi che rendono possibile l'esperienza oggettiva. Enunciati necessariamentei veri o falsi. I predicati possibili di un soggetto. Le nozioni generali alle quali deve essere riportabile qualsiasi «termine» della «proposizione».

A quale ambito rimanda in prima istanza il termine «categoria»?. Scientifico. Filosofico. Medico. Giuridico.

Secondo Aristotele, quale tra questi giudizi per ragioni formali NON sarebbe di pertinenza della logica?. «Aristotele non è un logico». «Aiutatemi, vi prego!». «Dio esiste». «Gli asini volano».

Stando ad Aristotele, in base alla "quantità" i giudizi si dividono in. universali, singolari e particolari. affermativi e negativi. possibili e necessari. veri e falsi.

Stando ad Aristotele, in base alla "modalità" i giudizi si dividono in. universali, singolari e particolari. affermativi e negativi. veri e falsi. possibili e necessari.

Del classico sillogismo aristotelico: "Tutti gli uomini sono mortali, Socrate è uomo, Socrate è mortale", qual è il «termine medio»?. «é». «Socrate». «Uomo». «Mortale».

Di quanti «termini» si compone un «sillogismo» aristotelico?. Sei. Tre. Quattro. Cinque.

Quale tra queste affermazioni NON è vera secondo la dottrina del sillogismo di Aristotele?. Il termine «medio» può figurare come predicato sia nella premessa maggiore che nella minore. Il «termine medio» può figurare come soggetto nella premessa maggiore e come predicato nella minore. Il «termine medio» può figurare come soggetto in entrambe le premesse. Il «termine medio» compare sempre nella conclusione di un sillogismo.

Del classico sillogismo aristotelico: "Tutti gli uomini sono mortali, Socrate è uomo, Socrate è mortale", qual è l'«estremo minore»?. «Uomo». «Socrate». «é». «Mortale».

Del classico sillogismo aristotelico: "Tutti gli uomini sono mortali, Socrate è uomo, Socrate è mortale", qual è l'«estremo maggiore»?. «Socrate». «Uomo». «Tutti». «Mortale».

Di quante proposizioni si compone un «sillogismo» aristotelico?. Una. Cinque. Tre. Due.

Del classico sillogismo aristotelico: "Tutti gli uomini sono mortali, Socrate è uomo, Socrate è mortale", qual è la «premessa maggiore»?. Socrate è mortale. Socrate è uomo. Tutti gli uomini sono mortali. Nessuna delle precedenti.

Che cos'è secondo Aristotele un «sillogismo dimostrativo» o «scientifico»?. Un sillogismo dalle premesse «vere», ma dalla conclusione «falsa». Un sillogismo formalmente corretto e «vero» al contempo. Un sillogismo che concerne esclusivamente la matematica o la fisica. Un sillogismo dalla conclusione «vera», ma dalle premesse «false».

Del classico sillogismo aristotelico: "Tutti gli uomini sono mortali, Socrate è uomo, Socrate è mortale", qual è la «premessa minore»?. Nessuna delle precedenti. Socrate è uomo. Tutti gli uomini sono mortali. Socrate è mortale.

Su quale proprietà della logica trovano il loro fondamento il "principio di non contraddizione" e il "principio del terzo escluso"?. Incompletezza della logica del primo ordine. Dualità logica. Esistenza di funzioni non calcolabili. Indecidibilità logica.

Ammessa la sua equivalenza logica con il principio del "terzo escluso" e con il "principio di identità", che cosa afferma di preciso il cosiddetto "principio di non contraddizione" nella sua formulazione classica?. Se a uguali si tolgono uguali rimangono uguali. Non è possibile affermare e negare al contempo uno stesso predicato a un medesimo soggetto. Ogni cosa è uguale a se stessa. Da premesse vere scaturiscono necessariamente conclusioni vere.

Che cos'è l'«induzione» per Aristotele?. Un procedimento non-inferenziale per mezzo del quale si ottengono premesse vere. Una forma di deduzione. Un procedimento non-inferenziale per mezzo del quale si ottiene una conclusione vera. Un procedimento opposto alla deduzione perché produce un'inferenza nel verso opposto.

Stando ad Aristotele, quale natura ha l'«induzione»?. E' una facoltà extra-logica. E' una facoltà logica. E' una facoltà di tipo inferenziale. E' una facoltà verbale.

Quale carattere hanno il principio di "non contraddizione" e del "terzo escluso"?. Nessuno dei precedenti. Logico. Empirico. Induttivo.

Che cos'è la "retorica" per gli Stoici?. Il procedimento con cui ottenere una conclusione falsa da premesse vere. Il procedimento con cui ottenere premesse vere da una conclusione falsa. L'ornamento oratorio del procedere per argomenti. La scienza del discutere rettamente su argomenti per domanda e risposta.

Che cos'è per gli Stoici una «rappresentazione catalettica»?. Una rappresentazione sempre verace e punto di partenza per la formazione dei giudizi corretti. Una rappresentazione sempre falsa e punto di partenza per la formazione di giudizi errati. Nessuna delle precedenti. Una rappresentazione che comporta un giudizio.

Che cos'è la "dialettica" per gli Stoici?. Il procedimento con cui ottenere una conclusione falsa da premesse vere. La scienza del discutere rettamente su argomenti per domanda e risposta. Il procedimento con cui ottenere premesse vere da una conclusione falsa. L'ornamento oratorio del procedere per argomenti.

In quali discipline di divide la logica per gli Stoici?. "Deduzione" e "induzione". "Dialettica" e "retorica". "Ontologia" e "deontologia". "Etica" e "fisica".

Quale tra questi fu il logico più importante e prolifico della scuola stoica?. Democrito. Pirrone. Diogene Laerzio. Crisippo.

A rigore, per gli Stoici che cos'è congiunto in un giudizio?. Un termine reale con un altro termine reale. Un termine fittizio con un altro termine fittizio. Un soggetto con un predicato. Un individuo con un «esprimibile».

Per gli Stoici quali sono gli ambiti di pertinenza del cosiddetto «esprimibile completo»?. L'esistente e l'inesistente. Nessuno dei precedenti. Il reale e l'irreale. Il vero e il falso.

Che relazione vige tra linguaggio e realtà secondo la dottrina logica degli Stoici?. La realtà materiale è una delle tante forme del linguaggio. Identità di linguaggio e realtà. Dominio del linguaggio è una "realtà" che non è la realtà delle cose materiali. Dominio del linguaggio è la realtà delle cose materiali.

Agli Stoici si deve, forse per la prima volta nella storia della logica, l'idea di "completezza". Che cosa si intende con questo termine?. L'idea che un numero esiguo di proposizioni può essere derivato da tutte le proposizioni vere. Una completa dottrina dei sillogismi. L'idea che tutte le proposizioni vere possono essere derivate da un numero esiguo di proposizioni. L'analisi dei connettivi.

Gli Stoici inaugurarono la "logica proposizonale" fornendo per la prima volta nella storia della logica. un'analisi dei connettivi. una grammatica scientifica. un sistema assiomatico. la dottrina della rappresentazione "catalettica".

Da quale pratica si è storicamente sviluppata la logica indiana?. Dalla disputa verbale. Dall'introspezione psicologica. Dalla semeiotica medica. Dalla contemplazione estetica.

Quale tra questi aspetti NON è proprio della esperienza logica indiana?. L'aspetto epistemologico. L'aspetto agonistico-eristico. L'aspetto etico-soteriologico. L'aspetto economico.

Quali caratteristiche della cultura indiana hanno determinato la peculiare logica da essa prodotta?. Il pronunciato afflato religioso. L'interesse per gli aspetti estetici del reale. L'interesse per la medicina, e in particolare per la psicologia. La vocazione tassonomico-classificatoria e le elevate conoscenze nei campi della linguistica e della matematica.

Chi fu l'autore della celebre conferenza del 1824 alla Royal Asiatic Society in cui venivano trattati i principi fondamentali della logica indiana classica?. A. Schopenhauer. H. T. Colebrooke. A. De Morgan. G. Boole.

In quale opera tra queste vengono trattate le dottrine indiane dell'inferenza e del sillogismo?. Il Tractatus logico-philosophicus. Gli Aforismi sulla logica. L'Organon. La Scienza della logica.

Nella logica indiana in quali condizioni una «inferenza» si può definire «a posteriori»?. Quando è impossibile inferire l'esistenza di un oggetto a partire da una sua proprietà. Quando l'inferenza si fonda su una precedente e ripetuta osservazione di una concomitanza tra eventi di natura non-causale. Quando l'effetto è inferito a partire dalla sua causa. Quando la causa viene inferita a partire dalla percezione del suo effetto.

Nella logica indiana in quali condizioni una «inferenza» si può definire «a priori»?. Quando è impossibile inferire l'esistenza di un oggetto a partire da una sua proprietà. Quando l'inferenza si fonda su una precedente e ripetuta osservazione di una concomitanza tra eventi di natura non-causale. Quando la causa viene inferita a partire dalla percezione del suo effetto. Quando l'effetto è inferito a partire dalla sua causa.

Nella dottrina indiana dell'inferenza quali sono le uniche relazioni possibili ammesse tra probans e probandum?. Causalità e deduzione. Causalità o invariabile concomitanza. Invariabile concomitanza e pervasione. Induzione e pervasione.

Nella logica indiana in quali condizioni una «inferenza» si può definire «basata sull'osservazione generale»?. Quando la causa viene inferita a partire dalla percezione del suo effetto. Quando è impossibile inferire l'esistenza di un oggetto a partire da una sua proprietà. Quando l'effetto è inferito a partire dalla sua causa. Quando l'inferenza si fonda su una precedente e ripetuta osservazione di una concomitanza tra eventi di natura non-causale.

Nella dottrina dell'«inferenza» indiana, in che senso l'«inferenza» deve essere «preceduta dalla percezione»?. Perché sussiste un'identità di pensiero e linguaggio. Perché una componente effettiva di percezione è indispensabile per far partire il procedimento inferenziale. Perché è ciò che rende possibile la percezione, garantendonel'unità. Perché è una forma di percezione.

Qual è il giusto ordine delle proposizioni nel "sillogismo" indiano?. Applicazione-Ragione logica- Conclusione. Ipotesi- Applicazione- Ragione logica-Esempio- Conclusione. Ipotesi-Conclusione. Ipotesi- Ragione logica-Esempio-Applicazione-Conclusione.

Quale tra questi NON è un «termine» del sillogismo secondo la logica indiana?. Il «segno logico». Il «luogo d'inferenza». La «menzione». l'«esempio».

Nel "sillogismo" indiano, il «termine medio» aristotelico corrisponde: al «luogo di inferenza». al «segno logico». all'«estremo maggiore». all'Applicazione.

Quale tra queste è una differenza effettiva tra il "sillogismo" aristotelico e quello indiano?. Il sillogismo indiano presuppone un "calcolo", mentre quello aristotelico è libero e discorsivo. Il sillogismo indiano ammette soltanto conclusioni vere e corrette; il sillogismo aristotelico può ammettere invece conclusioni corrette, ma non vere. Il sillogismo indiano può ammettere conclusioni corrette, ma non vere; il sillogismo aristotelico, invece, può ammettere soltanto conclusioni vere e corrette. Il sillogismo indiano ha quattro «termini», mentre quello aristotelico ne ha soltanto tre.

Quanti «termini» ha e di quanti membri consta un sillogismo secondo la logica indiana?. Sei. Quattro. Tre. Cinque.

Nell'«algebra di Boole» quale operazione algebrica corrisponde alla congiunzione logica?. Prodotto. Somma. Sottrazione. Divisione.

Quali tra questi eventi ha sancito la nascita della logica moderna?. L'ingresso della logica nella matematica. La riduzione della matematica all'algebra. L'ingresso della geometria nella logica. L'ingresso della matematica nella logica.

Chi ha effettivamente introdotto il calcolo nella logica?. Aristotele. I. Kant. G.W. Leibniz. G. Boole.

Nell'«algebra di Boole» quale operazione algebrica corrisponde alla disgiunzione logica?. Divisione. Prodotto. Somma. Sottrazione.

Nell'«algebra di Boole» quale operazione algebrica corrisponde alla negazione logica?. Somma. Prodotto. Divisione. Sottrazione.

Quale tra queste è un'opera di Gottlob Frege?. L'Analisi matematica della logica. Un'indagine sulle leggi del pensiero. L'Ideografia. Le categorie.

In quali termini viene ripensato da Frege il rapporto logico "soggetto"-"predicato"?. Rappresentazione-«esprimibile». Argomento-funzione. Pensiero-Rappresentazione psicologica. Senso-significato.

Quali tra questi è un «concetto» di "secondo livello"?. L'esistenza. La proprietà di "essere uomo". La proprietà di "essere mortale". La proprietà di "essere divino".

Secondo Frege qual è il «senso» (Sinn) di un termine?. Nessuno dei precedenti. Il modo in cui viene espresso. L'oggetto che denota. La rappresentazione psicologica che procura.

Secondo Frege qual è il «significato» (Bedeutung) di un termine?. L'oggetto che denota. Nessuno dei precedenti. Il modo in cui viene espresso. La rappresentazione psicologica che procura.

Che cosa si intende per il "sogno di Frege"?. Il voler rendere simbolica la matematica. La riduzione della matematica alla aritmetica. La riduzione della aritmetica alla logica. La riduzione della logica alla matematica.

Di quale tra queste correnti fu esponente Gottlob Frege?. Psicologismo. Empirismo logico. Intuizionismo. Logicismo.

Su quale tra le seguenti affermazioni si basa il «paradosso di Russell»?. Si possono dimostrare logicamente tutte le verità logiche. Le verità matematiche sono più numerose delle dimostrabilità matematiche. Esistono verità logiche e matematiche indimostrabili. Se si pretende che da qualsiasi proprietà si possa astrarre l'insieme degli oggetti che la soddisfano, allora la considerazione di alcune particolari proprietà porta a una contraddizione.

Quale tra questi Assiomi di Peano è detto "principio di induzione"?. Se due numeri hanno lo stesso successore, allora sono lo stesso numero. Il successore di un numero naturale è un numero naturale. Ogni proprietà di cui gode lo zero e tale che, se ne gode un numero, allora ne gode anche il suo successore, è una proprietà di tutti i numeri naturali. Zero non è il successore di alcun numero.

Chi fu l'autore di un celebre paradosso che mostrò le prime crepe nel progetto «logicista» di Frege?. B. Russell. L.E.J. Brouwer. D. Hilbert. K. Gödel.

Secondo gli intuizionisti, quale fraintendimento inficiava din dal loro concepimento I programmi di ricerca «logicista» e «formalista»?. Il ritenere che il calcolo proposizionale sia completo. L'aver scambiato l'idealismo con il realismo. La confusione tra logica proposizionale e logica predicativa. La confusione tra l'atto di costruire un oggetto matematico e l'espressione linguistica con cui descriviamo quest'atto.

Quale tra questi fu un esponente del «formalismo» in matematica?. I. Kant. K. Gödel. L. E. J. Brouwer. D. Hilbert.

A quale tra i seguenti programmi di ricerca in matematica appartiene L.E.J. Brouwer?. Intuizionismo. Misticismo. Formalismo. Verificazionismo.

Secondo l'«intuizionismo», la matematica è. completamente riducibile alla logica. un «fare», non una «dottrina». parzialmente riducibile alla logica. una «dottrina», non un «fare».

In cosa consisteva, per Hilbert, la «piena transizione di un trattamento intuitivo della matematica a uno formale»?. Nella traduzione dei principi della aritmetica e della logica in un linguaggio rigorosamente formalizzato e privo di ogni riferimento ad oggetti determinati. Nella fondazione della matematica attraverso le forme pure a priori dello spazio e del tempo, a prescindere da ogni esperienza determinata. Nella riduzione delle verità matematiche alla forma delle verità fisiche. Nella riduzione delle verità matematiche alla forma delle verità psicologiche.

Che cosa intendeva Hilbert con «metamatematica»?. Un tipo di linguaggio formale per mezzo di cui formulare enunciati concernenti lo stesso sistema formale. Un tipo di linguaggio distinto da quello di un sistema formale, e per mezzo di cui formulare enunciati concernenti quest'ultimo. Un tipo di linguaggio informale per mezzo di cui formulare enunciati linguisticamente informali. Un tipo di linguaggio formale per mezzo di cui formulare enunciati concernenti un secondo sistema formale.

Che cosa fece definitivamente naufragare i programmi di ricerca «logicista» e «formalista»?. La pubblicazione del libro di Hilbert I fondamenti della geometria. Il «teorema di finitezza» di Hilbert. Il teorema di incompletezza di Gödel. Il teorema di completezza della logica del «primo ordine» di Gödel.

Che cosa ipotizza la celebre tesi di Turing-Church?. Che tutte le funzioni calcolabili sono calcolabili con la «macchina di Turing». Che nessun sistema di assiomi è idoneo per l'aritmetica. Che ogni proposizione che possiede una dimostrazione che fa uso della «regola del taglio» possiede anche una dimostrazione che non fa uso di questa regola. Che tutte le verità logiche si possono dimostrare logicamente.

Che cosa afferma il Teorema di completezza della logica del «primo ordine» di Kurt Gödel?. Che tutte le verità logiche si possono dimostrare logicamente. Che il calcolo dei predicati è indecidibile. Che nessun sistema di assiomi è idoneo per l'aritmetica. Che tutte le funzioni calcolabili sono calcolabili con la «macchina di Turing».

A chi si devono i Teoremi di incompletezza?. Kurt Gödel. Alfred Tarski. Aristotele. Ludwig Wittgenstein.

Che cosa stabilisce il Teorema di Church?. Che il calcolo dei predicati è indecidibile. Che tutte le verità logiche si possono dimostrare logicamente. Che nessun sistema di assiomi è idoneo per l'aritmetica. Che ogni proposizione che possiede una dimostrazione che fa uso della «regola del taglio» possiede anche una dimostrazione che non fa uso di questa regola.

A rigore, la logica predicativa è. semi-decidibile. decidibile. Nessuna delle precedenti. né decidibile né indecidibile.

Perché la logica predicativa è indecidibile (o semi-decibile)?. Perché non si riesce sempre a dimostrare la non-validità di una formula non-valida. Perché il calcolo proposizionale è incompleto. Perché non si riesce sempre a dimostrare la validità di una formula valida. Perché il calcolo dei predicati è scorretto.

In linea generale, che cosa afferma il Teorema di incompletezza di Kurt Gödel?. Che ogni proposizione che possiede una dimostrazione che fa uso della «regola del taglio» possiede anche una dimostrazione che non fa uso di questa regola. Che tutte le funzioni calcolabili sono calcolabili con la «macchina di Turing». Che nessun sistema di assiomi è idoneo per l'aritmetica. Che tutte le verità logiche si possono dimostrare logicamente.

La logica proposizionale. si occupa del rapporto tra funzione e argomento di una proposizione. si occupa delle relazioni. si occupa del rapporto tra "soggetto" e "predicato" di una proposizione. si occupa della connessione tra enunciati e delle forme argomentative espresse mediante tali connessioni.

Nella logica predicativa si possono venir "quantificate" soltanto. relazioni. relazioni di relazioni. relazioni tra inisiemi. variabili individuali.

Quale tra i seguenti NON è un ambito di pertinenza della logica contemporanea?. La teoria dei modelli. La teoria della dimostrazione. La teoria assiomatica degli insiemi. La meccanica quantistica.

Che cosa si intende per logica «paraconsistente»?. Una logica proposizionale approntata per esprimere logicamente le anomalie della meccanica quantistica. Una logica che esprime obbligatorietà e doveri. Una logica modale scissa da ogni riferimento ai valori di verità. Un tipo di logica in cui è tollerata, entro certi limiti, la trasgressione del principio di non-contraddizione.

La logica predicativa è anche detta. del «primo ordine». logica deontica. logica proposizionale. del «secondo ordine».

Quando un ragionamento è corretto?. Un ragionamento è corretto se e soltanto se può darsi il caso che le sue premesse siano tutte vere e la sua conclusione falsa. Un ragionamento è corretto se e soltanto se la sua conclusione è vera. Un ragionamento è corretto se e soltanto se le sue premesse sono vere. Un ragionamento è corretto se e soltanto se non può darsi il caso che le sue premesse siano tutte vere e la sua conclusione falsa.

A rigore, che differenza c'è tra un «enunciato» e una «proposizione»?. Uno stesso «enunciato» può essere espresso da «proposizioni» diverse. Un «enunciato» esprime una «proposizione», una «proposizione» è il senso di un «enunciato. Le «proposizioni» non sono di pertinenza della logica, mentre lo sono gli «enunciati». Nessuna.

Un ragionamento può essere. corretto o scorretto. semplice o molteplice. vero o falso. cogente o convincente.

Secondo la logica odierna, un'«inferenza» è. Nessuna delle precedenti. ciò distingue un enunciato da una proposizione. il procedimento con cui si giunge ad accettare la conclusione di un ragionamento sulla base delle sue sole premesse. il procedimento con cui si giunge ad accettare le premesse di un ragionamento sulla base della sua sola conclusione.

Come si chiamano le due premesse dell'induzione logica?. Luogo dell'inferenza e Ragione logica. Base dell'induzione e Passo induttivo. Premessa maggiore induttiva e premessa minore induttiva. Premessa minore e premessa maggiore.

L'induzione logica(o «completa») è un ragionamento di tipo. filosofico. probabile. deduttivo. graduale.

Un ragionamento le cui premesse sono "Aristotele è mortale", "Platone è mortale", "Gödel è mortale" e "Marx è mortale", e la cui conclusione è "Quindi tutti gli uomini sono mortali" è un ragionamento di tipo. veritiero. filosofico. induttivo. deduttivo.

In logica, le definizioni ottenute mediante l'induzione logica vengono anche dette. definizioni assolute. definizioni ricorsive. definizioni filosofiche. definizioni infinite.

La «forma logica» di una proposizione dipende. Nessuna delle precedenti. dalla sua struttura logica. dal suo contenuto. dal suo riferimento.

La «forma logica» di un ragionamento dipende. dalla verità delle sue premesse. dalla sua struttura logica. dal suo contenuto. dalla verità delle sue conclusioni.

Ogni proposizione e ogni ragionamento hanno. un contenuto senza forma. una forma, che può venir "rimpolpata" da qualsiasi idoneo contenuto. Nessuna delle precedenti. né una forma né un contenuto.

Chi fu l'autore del Tractatus logico-philosophicus?. Aristotele. Ludwig Wittgenstein. Cicerone. Pietro Abelardo.

La nozione di «forma logica» di Wittgenstein è ricca di conseguenze epistemologiche, perché. è un mero e arido esito di una formalizzazione astratta. trasgredisce il principio di non-contraddizione. espilcita quali sono i limiti di ogni linguaggio e il tipo di relazione vigente tra le proposizioni della logica e il mondo extra-logico. è alla base della teoria falsificazionista del significato.

Quale tra queste rappresenta una novità nella considerazione della «forma logica» da parte di Wittgenstein introdotta nel suo saggio Alcune osservazioni sulla forma logica?. L'osservazione che nella «forma logica» di alcune particolari proposizioni deve occorrere il numero come suo tratto essenziale. L'idea che la «forma logica» non esiste. Il numero finito delle «forme logiche». La relazione di «forma logica» e «gioco linguistico».

Perché la logica modale non è un contesto «estensionale»?. Perché il calcolo proposizionale è incompleto. Perchè essa è consistente. Perché essa è para-consistente. Perché in essa non è valido il «principo di vero-funzionalità».

Nel «linguaggio» della logica proposizionale, a quale «alfabeto» appartengono le variabili proposizionali?. A quello «descrittivo». A quello «logico». A quello «ausiliario». Nessuna delle precedenti.

Nel «linguaggio» della logica proposizionale, a quale «alfabeto» appartengono i connettivi?. Nessuna delle precedenti. A quello «descrittivo». A quello «logico». A quello «ausiliario».

Quale tra queste è una proposizione «composta»?. p. q. Nessuna delle precedenti. Se p, allora q.

Che cosa affermail «principio di vero-funzionalità»?. Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono. Esistono solo e soltanto due valori di verità, il «vero» e il «falso». Ogni proposizione ha uno e un solo valore di verità. La logica del «primo ordine» è semi-decidibile.

Che cosa afferma il «principio di bivalenza»?. La logica del «primo ordine» è semi-decidibile. Ogni proposizione ha uno e un solo valore di verità. Esistono solo e soltanto due valori di verità, il «vero» e il «falso». Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono.

Che cosa afferma il «principio di determinatezza»?. Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono. Ogni proposizione ha uno e un solo valore di verità. Esistono solo e soltanto due valori di verità, il «vero» e il «falso». La logica del «primo ordine» è semi-decidibile.

Quale tra queste è una proposizione «atomica»?. Se p, allora q. p e non-q. q e non-p. p.

Siano p e q due variabili proposizionali. Come si legge la formula logica p ∨ q?. «Se p allora q». «p o q». «p se e soltanto se q». «p e q».

Siano p e q due variabili proposizionali. Come si legge la formula logica p ∧ q?. «p e q». «p o q». «Se p allora q». «p se e soltanto se q».

Per quale combinazione dei valori di verità delle variabili proposizionali la proposizone p ∨ q risulta falsa?. p=0, q=0. p =1, q =0. p= 1, q=1. p =0, q =1.

Per quale combinazione dei valori di verità delle variabili proposizionali la proposizone p ∧ q risulta vera?. p =0, q=0. p =1, q =0. p =0, q =1. p= 1, q=1.

Come si legge la formula ¬p?. è vero che p. non-p. allora p. se p.

Volendola considerare alla stregua di un connettivo, la negazione è un connettivo. unario. trinario. binario. Nessuna delle precedenti.

Come si legge la formula p ⇒ q?. p se e soltanto se q. Se p, allora q. Se q, allora p. q se e soltanto se p.

Per quale combinazione dei valori di verità delle variabili proposizionali la proposizione p ⇒ q risulta falsa?. p=0, q=0. p =0, q=1. p=1, q=0. p=1, q=1.

Come si chiamano le proposizioni costituenti un condizionale materiale?. Congiunti. Antecedente e conseguente. Lato destro e lato sinistro. Disgiunti.

Siano p e q due variabili proposizionali. Come si legge la formula logica: p ⇔ q?. «p se e soltanto se q». «p o q». «p e q». «Se p allora q».

Come si chiamano le proposizioni costituenti una doppia implicazione?. Antecedente e conseguente. Lato destro e lato sinistro. Disgiunti. Congiunti.

Una tautologia è una formula ben formata che. è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono. è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazioni. è sintatticamente incompleta. è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono.

Una contingenza logica è una formula ben formata che. è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazioni. è sintatticamente incompleta. è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono. è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono.

Una contraddizione logica è una formula ben formata che. è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono. è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono. è sintatticamente incompleta. è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazioni.

Siano p e q due variabili proposizionali. Quale tra queste è una contraddizione?. p e non-p. p o non-p. Se p, allora non-q. Se p, allora q.

Quale tra queste idee è alla base delle «leggi di De Morgan»?. L'incompletezza vero-funzionale della logica proposizionale. Ogni possibile connettivo è esprimibile mediante una combinazione di negazioni e congiunzioni. Ogni contraddizione è di fatto una tautologia. La logica del «primo ordine» è incompleta.

Quale tra queste è una tautologia?. p ∧ ¬p. q ⇒ ¬p. ¬p ∨ p. p ⇒ q.

Quale tra queste è una contraddizione?. ¬p ∨ p. p ∧ ¬p. ¬q ∨ ¬p. p ⇒ q.

Siano p e q due variabili proposizionali. Quale tra queste è una tautologia?. p o non-p. Se p, allora non-q. p e non-p. Se p, allora q.

Siano p e q due variabili proposizionali. Quali tra questi schemi formali di argomento è un modus ponens?. (p ∧ (p⇒q)) ⇒q. p ⇒ q. (¬q ∧ (p⇒q)) ⇒¬p. q ⇒ ¬p.

Il modus ponens e il modus tollens sono casi particolari di un'unica regola più generale che prende il nome di. regola della contrazione. regola del taglio. regola della congiunzione. regola dell'indebolimento.

Quali tra questi ragionamenti è un modus tollens?. Francesca è andata al cinema, quindi a casa non c'è nessuno. Se tutti gli uomini sono mortali, e se Socrate è un uomo, allora non è detto che Socrate sia mortale. Se oggi è lunedì, allora devo andare a Napoli; oggi è lunedì; quindi, devo andare a Napoli. Se Dio può ingannare, allora Dio è malvagio; Dio non è malvagio; quindi Dio non può ingannare.

Quali tra questi ragionamenti è un modus ponens?. Se Dio può ingannare, allora Dio è malvagio; Dio non è malvagio; quindi, Dio non può ingannare. Se tutti gli uomini sono mortali, e se Socrate è un uomo, allora non è detto che Socrate sia mortale. Se oggi è lunedì, allora devo andare a Napoli; oggi è lunedì; quindi, devo andare a Napoli. Francesca è andata al cinema, quindi a casa non c'è nessuno.

Siano p e q due variabili proposizionali. Quali tra questi schemi formali di argomento è un modus tollens?. (¬q ∧ (p ⇒ q)) ⇒¬p. (p ∧ (p ⇒ q)) ⇒ q. q ⇒ ¬p. p ⇒ q.

Siano p e q due variabili proposizionali. Quali tra questi schemi di argomento è un modus ponens?. Se p allora q. Se q allora p. Se p allora q; non-q; allora non p. Se p allora, q; p; allora q.

Siano p e q due variabili proposizionali. Quali tra questi schemi di argomento è un modus tollens?. Se p allora q; non-q; allora non p. Se p allora, q; p; allora q. Se p allora q. Se q allora p.

Che cosa rende logicamente inaccetabile la cosiddetta "dimostrazione ontologica dell'esistenza di Dio" di Anselmo di Aosta?. Lo schema di ragionamento (modus ponens) adoperato nella sua semplificazione rigorosa. Il fatto che Dio, in quanto oggetto astratto, non può essere oggetto di una proposizione logica. Lo schema di ragionamento (consequentia mirabilis) adoperato nella sua formulazione canonica. L'aver considerato l'«esistenza» alla stregua di un qualsiasi predicato ordinario.

Quale tra le seguenti formule è la formula condizionale corrispondente di un ragionamento a fortiori?. q ⇒ (p ⇒ q). (¬ p ⇒ p) ⇒ p. p ⇒ ¬p. p ⇒ q.

Quale procedimento argomentativo è alla base della cosiddetta consequentia mirabilis?. Se c'è una dimostrazione della proposizione p a partire dalla sua negazione, allora la stessa proposizione p deve essere vera. Nessuna delle precedenti. Non si dà coesistenza tra un disgiunto e la sua negazione. Si dà coesistenza tra un congiunto e la sua negazione.

Quale tra le seguenti formule è la formula condizionale corrispondente di una consequentia mirabilis?. p ⇒ q. p ⇒ ¬p. (¬ p ⇒ p) ⇒ p. q ⇒ (p ⇒ q).

In base al metodo delle tavole di verità, uno schema di ragionamento è valido se. sidà più di una volta, ma non sempre, il caso che le premesse siano tutte vere e la conclusione falsa. si dà almeno una volta il caso che le premesse siano tutte vere e la conclusione falsa. si dà sempre il caso che le premesse siano tutte vere e la conclusione falsa. non si dà mai il caso che le premesse siano tutte vere e la conclusione falsa.

Che cos'è un algoritmo?. Un procedimento meccanico o effettivo, il quale, dato un input, fornisce un output in un numero finito di operazioni finite. Un procedimento meccanico o effettivo, il quale, dato un input, fornisce un output in un numero infinito di operazioni infinite. Un procedimento intuitivo con cui stabilire la validità delle premesse di un ragionamento. Un procedimento meccanico o effettivo, il quale, dato un output, fornisce un input in un numero infinito di operazioni infinite.

In base al metodo delle tavole di verità, la formula condizionale corrispondente di un ragionamento valido deve essere. nessuna delle precedenti. una contingenza logica. una tautologia. una contraddizione.

In base al metodo degli alberi di refutazione, uno schema di ragionamento risulta valido se. nessuna delle precedenti. viene refutato il procedimento che porta dalle sue premesse alla sua conclusione. viene refutato il procedimento che porta dalle sue premesse alla negazione della sua conclusione. viene refutata la sua conclusione.

Nel calcolo proposizionale che cos'è una «regola di eliminazione» di un connettivo logico?. Una regola di inferenza sempre «non-ipotetica». Una regola che serve per derivare una conclusione che ha come connettivo principale il connettivo oggetto di "introduzione". Una regola di inferenza sempre «ipotetica». Una regola di inferenza che, a partire da premesse in cui un determinato connettivo compare come connettivo principale, consente di derivare una conclusione in cui non figura quel connettivo.

In base alla regola di inferenza della «eliminazione della negazione», quale tra le seguenti proposizioni possiamo legittimamente inferire a partire dalla proposizione «Non è vero che non piove»?. Tutte quelle elencate. «Se non c'è il sole, allora piove». «Piove e non piove». «Piove».

Il calcolo proposizionale è. indecidibile e completo. corretto e completo. incorretto e incompleto. corretto e incompleto.

Quale tra le seguenti regole di inferenza è una «regola di inferenza ipotetica»?. Introduzione della disgiunzione. Introduzione del condizionale. Eliminazione del condizionale. Eliminazione della negazione.

In base alla regola di inferenza della «introduzione della disgiunzione», quale tra le seguenti proposizioni possiamo legittimamente inferire a partire dalla proposizione «Paolo fuma»?. «Paolo fuma o Paolo è alto 1,90». Tutte quelle elencate. «Paolo fuma o fuori piove». «Paolo fuma o Paolo pesa 80kg».

In base alla regola di inferenza della «eliminazione della congiunzione», quale tra le seguenti proposizioni possiamo legittimamente inferire a partire dalla proposizione «Paolo è alto 1,90m e Paolo pesa 80 kg»?. Sia «Paolo è alto 1,90m» che «Paolo pesa 80kg». Soltanto «Paolo pesa 80kg». Soltanto «Paolo è alto 1,90m». Né «Paolo è alto 1,90m» né «Paolo pesa 80kg».

Nel calcolo proposizionale che cos'è una «regola di introduzione» di un connettivo logico?. Una regola di inferenza che, a partire da premesse in cui un determinato connettivo compare come connettivo principale, consente di derivare una conclusione in cui non figura quel connettivo. Una regola che serve per derivare una conclusione che ha come connettivo principale il connettivo oggetto di "introduzione". Una regola di inferenza sempre «non-ipotetica». Una regola di inferenza sempre «ipotetica».

Come si presenta un'inferenza nel calcolo proposizionale?. come una sequenza di enunciati espressi nel linguaggio ordinario, ciascuno dei quali segue in modo pertinente dal precedente. come una sequenza di formule espresse nel linguaggio della logica proposizionale, ciascuna delle quali è premessa di un ragionamento oppure è ottenuta mediante l'applicazione di una regola di inferenza. come una sequenza di formule, ciascuna delle quali è premessa di una qualsiasi conclusione. come una sequenza di connettivi del linguaggio logico-proposizionale.

Nel calcolo proposizionale, che rapporto c'è tra «regola di introduzione» e «regola di eliminazione» di un medesimo connettivo logico?. Sono equivalenti. Non sussiste alcun rapporto. Sono differenti, ma dicono la stessa cosa. Sono l'una la reciproca dell'altra.

Le regole di inferenza del calcolo proposizionale si dividono in. filosofiche e scientifiche. espressive e logiche. induttive e deduttive. ipotetiche e non-ipotetiche.

Quale tra queste regole di inferenza esprime la «eliminazione del condizionale»?. Data una derivazione di una fbf b con l'aiuto di un'ipotesi a, possiamo «scaricare» (ossia abbandonare) l'ipotesi e inferire "se a, allora b". Nessuna delle precedenti. Da una fbf della forma non-a, possiamo inferire a. Da un condizionale e dal suo antecedente possiamo inferire il conseguente.

La logica sillogistica aristotelica è parte della. logica predicativa monadica. logica del secondo ordine. logica del terzo ordine. logica paraconsistente.

Che cos'è un «termine di classe»?. Un'espressione che denota una classe o un insieme di oggetti. Un individuo. Un elemento che appartiene a «termini di classe». Una relazione tra gli insiemi designati da termini di classe.

Nella logica del primo ordine, che cos'è un «individuo»?. Un elemento che appartiene a «termini di classe». Una proprietà. Un'espressione che denota una classe o un insieme di oggetti. Una relazione tra gli insiemi designati da termini di classe.

Che cos'è una «funzione proposizionale»?. Un'entità logica che ha trova il proprio riferimento oggettivo in un determinato individuo. Una proposizione vera o falsa. Una funzione "satura". La semplice forma logica di una proposizione della logica del primo ordine.

Nel linguaggio della logica del primo ordine, che cosa sono le costanti individuali?. Proprietà di individui. Relazioni tra individui. Simboli che rappresentano un determinato individuo («nomi atomici»). Simboli che rappresentano un qualsiasi individuo.

Che cos'è un «funtore»?. Una contraddizione. Una descrizione definita di un individuo. Un quantificatore universale. Un quantificatore esistenziale.

Nel linguaggio della logica del primo ordine, che cosa rappresenta una costante predicativa n-aria?. Una proprietà binaria. Una relazione a n-posti. Una proprietà. Una disgiunzione.

Che cosa esprime il simbolo logico: ∀ ?. La disgiunzione logica. Il quantificatore universale. Il quantificatore esistenziale. L'implicazione logica.

Per formalizzare quale tra le seguenti espressioni del linguaggio ordinario viene impiegato il quantificatore universale?. «Qualche». «Tutti». «Evidentemente». «Se...allora...».

Per formalizzare quale tra le seguenti espressioni del linguaggio ordinario viene impiegato il quantificatore esistenziale?. «Evidentemente». «Qualche». «Se...allora...». «Tutti».

Che cosa esprime il simbolo logico: ∃ ?. L'implicazione logica. Il quantificatore universale. La disgiunzione logica. Il quantificatore esistenziale.

Nel linguaggio della logica del primo ordine, che cosa sono le variabili individuali?. Simboli che rappresentano un qualsiasi individuo. Simboli che rappresentano un determinato individuo («nomi atomici»). Proprietà di individui. Relazioni tra individui.

In cosa consiste una «formula atomica» del linguaggio predicativo?. Una formula atomica è una costante predicativa n-aria, seguita da tanti termini individuali quanti sono necessari per riempire i suoi n posti. Una formula atomica è una variabile predicativa n-aria, seguita da tanti termini individuali quanti sono necessari per riempire i suoi n posti. Una formula atomica è una variabile predicativa n-aria, seguita da tante variabili individuali quanti sono necessari per riempire i suoi n posti. Ogni termine individuale, preso isolatamente, è una formula atomica della logica del primo ordine.

In che modo è possibile definire l'insieme delle formule ben formate del linguaggio della logica del primo ordine?. Mediante induzione logica. Mediante la percezione diretta. Mediante probabilità logica. Mediante probabilità soggettiva.

Nel linguaggio predicativo si può parlare di «occorrenza» di un simbolo e di «campo» e «subordinazione» di un operatore logico?. No. Nessuna delle precedenti. No. Esse sono nozioni che vengono impiegate soltanto nella logica proposizionale. Sì.

Siano x una variabile individuale e P una proprietà. Come si legge la formula logica ∃x P(x)?. «Per ogni x, x ha la proprietà P». Nessuna delle precedenti. «Esiste un x tale che x ha la proprietà P». «Se x ha la proprietà P, allora x è x».

Qual è la negazione logica della proposizione «Esiste almeno un corvo che non è nero»?. «Nessuno corvo è nero». Questa proposizione non può essere negata. «Esiste almeno un corvo che è nero». «Tutti i corvi sono neri».

Qual è la negazione logica della proposizione «Tutti gli uomini sono mortali»?. «Nessun uomo è mortale». «Tutti gli uomini non sono mortali». «Esiste almeno un uomo che non è mortale». «Tutti i mortali sono uomini».

Qual è la negazione logica della proposizione «Per ogni x esiste un y tale che x è nella relazione R con y»?. «Esiste un x per ogni y tale che x non è nella relazione R con y». «Per ogni x esiste un y tale che x è nella relazione R con y». «Per ogni x esiste un y tale che x non è nella relazione R con y». Nessuna delle precedenti.

Qual è la negazione logica della proposizione «Esiste un y per ogni x tale che x è nella relazione R con y»?. Nessuna delle precedenti. «Esiste un y per ogni x tale che x non è nella relazione R con y». «Per ogni y esiste un x tale per cui x non è nella relazione R con y». «Esiste un y per ogni x tale che x è nella relazione R con y».

Qual è la negazione logica della proposizione «Esiste un uomo che non è mortale». «Tutti i mortali non sono uomini». «Tutti gli uomini sono mortali». «Esiste un uomo mortale». «Esiste un uomo immortale».

Nella logica del primo ordine, che cosa si intende per «quantificazione vacua»?. Una quantificazione che vincola una variabile non presente nella formula su cui agisce il quantificatore. Una quantificazione che vincola una variabile presente nella formula su cui agisce il quantificatore. La chiusura universale di una formula chiusa. La chiusura esistenziale di una formula aperta.

Nella logica del primo ordine, che cosa si intende per «termine chiuso»?. Nessuna delle precedenti. Una quantificazione vacua. Un termine che non contiene variabili individuali. Un termine che contiene variabili individuali.

Nella logica del primo ordine, che cosa si intende per «termine aperto»?. Un termine che contiene variabili individuali. Una quantificazione vacua. Un termine che non contiene variabili individuali. Nessuna delle precedenti.

Nella logica del primo ordine, che cosa si intende per «variabile vincolata»?. Non esistono variabili vincolate nella logica del primo ordine. Data una formula, una variabile viene detta vincolata se non è abbinata a nessun quantificatore. Data una formula, una variabile si dice vincolata se viene abbinata ad uno dei due quantificatori. Una variabile vincolata è una variabile libera.

Nella logica del primo ordine, che cosa si intende per «variabile libera»?. Data una formula, una variabile viene detta libera se non è abbinata a nessun quantificatore. Data una formula, una variabile si dice libera se viene abbinata ad uno dei due quantificatori. Non esistono variabili libere nella logica del primo ordine. Una variabile libera è una variabile vincolata.

Nella logica del primo ordine, che cosa si intende per «formula chiusa»?. Nessuna delle precedenti. Non sono concepibili formule chiuse nella logica del primo ordine. Una formula che contiene almeno una variabile con un'occorrenza libera. Una formula che non contiene occorrenze libere di variabili, ovvero è priva di variabili o ne contiene soltanto di vincolate in ogni loro occorrenza.

Nella logica del primo ordine, che cosa si intende per «formula aperta»?. Non sono concepibili formule aperte nella logica del primo ordine. Nessuna delle precedenti. Una formula che contiene almeno una variabile con un'occorrenza libera. Una formula che non contiene occorrenze libere di variabili, ovvero è priva di variabili o ne contiene soltanto di vincolate in ogni loro occorrenza.

Nella logica del primo ordine, che cosa si intende per «chiusura universale» di una «formula aperta»?. Una quantificazione vacua. Ciò che risulta da una relazione di quantificatori. La formula che si ottiene vincolando universalmente tutte le variabili libere della formula aperta di partenza. La formula che si ottiene vincolando esistenzialmente tutte le variabili libere della formula apetta di partenza.

Nella logica del primo ordine, che cosa si intende per «chiusura esistenziale» di una «formula aperta»?. Una quantificazione vacua. Ciò che risulta da una relazione di quantificatori. La formula che si ottiene vincolando universalmente tutte le variabili libere della formula aperta di partenza. La formula che si ottiene vincolando esistenzialmente tutte le variabili libere della formula apetta di partenza.