Paniere con risposte chiuse di logica e filosofia della scienza

Procedimenti logici

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.

03. 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 o una contraddizione.

04. 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.

1. refutata la sua conclusione
2. Lezione 03301. 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
3. 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"
4. Il calcolo proposizionale

èindecidibile e completoo corretto e completoo incorretto e incompletoo corretto e incompletoo

04. Quale tra le seguenti regole di inferenza è una “regola di inferenza ipotetica”?

Introduzione della disgiunzioneo Introduzione del condizionaleo Eliminazione del condizionaleo Eliminazione della negazioneo

05. In base alla regola di inferenza della “introduzione della disgiunzione”, quale tra le seguentiproposizioni possiamo legittimamente inferire a partire dalla proposizione “Paolo fuma”?

“Paolo fuma o Paolo è alto 1,90”o Tutte quelle elencateo “Paolo fuma o fuori piove”o “Paolo fuma o Paolo pesa 80kg”

06. In base alla regola di inferenza della “eliminazione della congiunzione”, quale tra le seguentiproposizioni possiamo legittimamente inferire a partire dalla proposizione “Paolo è alto 1,90m e Paolopesa 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”

07. 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 comeo 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 connettivoo oggetto di "introduzione"

Una regola di inferenza sempre “non-ipotetica”

Una regola di inferenza sempre “ipotetica”

08. Come si presenta un'inferenza nel calcolo proposizionale?

come una sequenza di enunciati espressi nel linguaggio ordinario, ciascuno dei quali segue in modoo pertinente dal precedente

come una sequenza di formule espresse

Possiamo "scaricare" (ossia abbandonare) o 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.

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

02. 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.

03. 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.

Lezione 03501.

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 individuo. Relazioni tra individuo. 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:

1. La disgiunzione logica: ∨
2. Il quantificatore universale: ∀
3. Il quantificatore esistenziale: ∃
4. L'implicazione logica: →
5. Per formalizzare quale tra le seguenti espressioni del linguaggio ordinario viene impiegato il quantificatore universale? "Qualche", "Tutti", "Evidentemente", "Se...allora..."
6. Per formalizzare quale tra le seguenti espressioni del linguaggio ordinario viene impiegato il quantificatore esistenziale? "Evidentemente", "Qualche", "Se...allora...", "Tutti"
7. Che cosa esprime il simbolo logico: ∃
8. 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 individuo, Relazioni

“occorrenza” di un simbolo e di “campo” e“subordinazione” di un operatore logico?

Noo Nessuna delle precedentio No. Esse sono nozioni che vengono impiegate soltanto nella logica proposizionaleo Sìo Lezione 03701. 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”o Nessuna delle precedentio “Esiste un x tale che x ha la proprietà P”o “Se x ha la proprietà P, allora x è x”o

02. Qual è la negazione logica della proposizione “Esiste almeno un corvo che non è nero”?“Nessuno corvo è nero”o Questa proposizione non può essere negatao “Esiste almeno un corvo che è nero”o “Tutti i corvi sono neri”o

03. Qual è la negazione logica della proposizione “Tutti gli uomini sono mortali”?“Nessun uomo