Docsity
Docsity
Prepara i tuoi esami
Prepara i tuoi esami

Studia grazie alle numerose risorse presenti su Docsity

Ottieni i punti per scaricare
Ottieni i punti per scaricare

Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium

Guide e consigli
Guide e consigli
Vendi su Docsity
Vendi su Docsity
Docsity AI
Docsity AI
AccediRegistrati

Prepara i tuoi esami

Studia grazie alle numerose risorse presenti su Docsity

Cerca documenti

Prepara i tuoi esami con i documenti condivisi da studenti come te su Docsity

Cerca la tua università

Trova i documenti specifici per gli esami della tua università

Video Corsi

Preparati con lezioni e prove svolte basate sui programmi universitari!

Quiz

Rispondi a reali domande d’esame e scopri la tua preparazione

Docsity AINEW

Riassumi i tuoi documenti, fagli domande, convertili in quiz e mappe concettuali

Maturità 2026

Studia con prove svolte, tesine e consigli utili

Esplora domande

Togliti ogni dubbio leggendo le risposte alle domande fatte da altri studenti come te

Argomenti di studio

Esplora i documenti più scaricati per gli argomenti di studio più popolari

Ottieni i punti per scaricare

Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium

Condividi documenti
download point icon20 Punti

Per ogni documento caricato

Rispondi alle domande
download point icon5 Punti

per ogni risposta data (max 1 al giorno)

Tutti i modi per ottenere punti gratis
Ottieni punti subito

Scegli un piano Premium con tutti i punti di cui hai bisogno

Opportunità di studio

Scegli il tuo prossimo programma di studio

Entra in contatto con le migliori università del mondo e scegli il tuo percorso di studi

Classifica delle migliori università

Scopri le migliori università italiane secondo gli studenti

Community

Chiedi alla community

Chiedi aiuto alla community e sciogli i tuoi dubbi legati allo studio

Guide Gratuite

I nostri eBook salva studente

Scarica gratuitamente le nostre guide sulle tecniche di studio, metodi per gestire l'ansia, dritte per la tesi realizzati da tutor Docsity

logica domande esame, Prove d'esame di Logica

Università degli Studi di Perugia (UNIPG)Logica

domande dell esame con risposte corrette

Tipologia: Prove d'esame

2023/2024
In offerta
30 Punti
Discount

Offerta a tempo limitato

Caricato il 24/09/2024

alissia-01
alissia-01 🇮🇹

4.7

(3)

8 documenti

1 / 63

Toggle sidebar

Questa pagina non è visibile nell’anteprima

Non perderti parti importanti!

bg1
DOMANDE FILOSOFIA DELLA MENTE
1. Seleziona le corrette condizioni di verità della fbf data rispetto al modello M=(D,I)
Risposta 3
2. Dato il condizionale P→Q quali delle seguenti forme non costituiscono sue
trasformazioni equivalenti in LP?
Questa è scritta sbagliata
-ﬧQ <-> ﬧP
- ﬧP ﬧQ
- ﬧP v Q
-ﬧQ ﬧP
3. Quali delle seguenti ffbf sono LP-valide (LP=logica proposizionale)?
- P → (ﬧQ→R)
-P → (ﬧP → Q)
-P → (Q → P)
-P → (Q → R)
4. Quali delle seguenti ffbf trascrive in FOL (logica dei predicati) l’enunciato “Alcuni
italiani sono tali che sono poeti ma non scienziati”? attenzione: potrebbero esserci più
risposte corrette.
Chiave:
I= italiano
P = poeta
S = scienziato
Risposta 1, 2
5. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costituire
la dimostrazione della seguente fbf FOL-valida. (attenzione: l’ordine di scelta è irrilevante;
ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se
selezioni tutte le opzioni totalizzerai 0)
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
pf17
pf18
pf19
pf1a
pf1b
pf1c
pf1d
pf1e
pf1f
pf20
pf21
pf22
pf23
pf24
pf25
pf26
pf27
pf28
pf29
pf2a
pf2b
pf2c
pf2d
pf2e
pf2f
pf30
pf31
pf32
pf33
pf34
pf35
pf36
pf37
pf38
pf39
pf3a
pf3b
pf3c
pf3d
pf3e
pf3f
Discount

In offerta

Anteprima parziale del testo

Scarica logica domande esame e più Prove d'esame in PDF di Logica solo su Docsity!

DOMANDE FILOSOFIA DELLA MENTE

  1. Seleziona le corrette condizioni di verità della fbf data rispetto al modello M=(D,I) Risposta 3
  2. Dato il condizionale P→Q quali delle seguenti forme non costituiscono sue trasformazioni equivalenti in LP? Questa è scritta sbagliata
  • רQ - רP
  • QרP ר
  • רP v Q
  • PרQ ר
  1. Quali delle seguenti ffbf sono LP-valide (LP=logica proposizionale)?
  • P → (רQ→R)
  • P → (רP → Q)
  • P → (Q → P)
  • P → (Q → R)
  1. Quali delle seguenti ffbf trascrive in FOL (logica dei predicati) l’enunciato “Alcuni italiani sono tali che sono poeti ma non scienziati”? attenzione: potrebbero esserci più risposte corrette. Chiave: I= italiano P = poeta S = scienziato Risposta 1, 2
  2. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costituire la dimostrazione della seguente fbf FOL-valida. (attenzione: l’ordine di scelta è irrilevante; ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se selezioni tutte le opzioni totalizzerai 0)

⊨∀x(Fx v רFz) Risposta 2,

  1. Una tautologia è: ● - Una LP-fbf o una FOL-fbf vera in virtù del significato delle costanti predicative e individuali che in essa ricorrono.
  • Una LP-fbf vera in virtù del significato degli operatori verofunzionali
  • Una LP-fbf o un FOL-fbf vera in virtù del significato degli operatori verofunzionali
  • Una fbf di un qualsiasi sistema che risulta sempre e comunque vera
  1. Quali delle seguenti forme sono LP-ffbf?
  • K רL^P
  • K (רL^P)
  • K (L^P)
  • (ר K∀xPx)
  1. Quale delle seguenti formule è una FOL-fbf
  • P32 abc X
  • P32 a
  • P32 aaa
  • P32 aa
  1. Quando un’argomentazione è infondata?
  • Quando almeno una sua premessa è falsa
  • Quando non è riconosciuta dalla comunità degli specialisti
  • Quando la conclusione è falsa
  1. Quali delle seguenti formule sono LP-ffbf (logica proposizionale)?

B e D

  1. Si indichi quale fallacia commette la seguente argomentazione “Hai torto dato che la tua argomentazione è piena di errori. Dunque la tua tesi è falsa.”
  • Fallacia della fallacia
  • Fallacia dell’aringa ros
  • Fallacia dei due torti
  1. Quali delle seguenti formule sono FOL-ffbf (logica dei predicati)? B e C
  2. Quali delle seguenti formule sono LP-ffbf?
  • F→(G v H)
  • F(G ררH)
  • FG→H
  • F→(G v ררH)
  1. Si specifichi nel riquadro la parola richiesta dalla seguente definizione:

un’argomentazione fondata e deduttivamente valida è: Corretta

  1. Quali delle seguenti formule sono LP-ffbf
  • ∀F↔(G v H)
  • F↔ רG v H
  • F↔(G v H)
  • F↔(רG v רH)
  1. Un’argomentazione…
  • …può avere anche una sola premessa
  • …è una giustapposizione di enunciati
  • …è una parte del discorso
  • …è un enunciato
  1. Si risolva la seguente funzione di valutazione nel modello M=(D, I) VM,g (∀xFx ↔ ∃xGx) = 0 SSE C
  2. Quali delle seguenti ffbf sono LP-valide
  • (T v רT) R
  • R →(T v רT)
  • R→ (T ^ רT)
  • (רT v רT) →R
  1. Cos’è una fallacia?
  • Un’argomentazione logicamente erronea ma persuasiva X
  • Un’argomentazione che ha una conclusione falsa ma persuasiva
  • Un’argomentazione logicamente erronea
  • Un’argomentazione oltre che valida anche particolarmente persuasiva
  1. Quale tra i seguenti brani non costituisce una fallacia?
  • La tua tesi è falsa perché tu non hai dimostrato che è vera (Fallacia)
  • La tua tesi è falsa perché ti ho dimostrato che è falsa.
  • La mia tesi è vera perché tu non hai dimostrato che è falsa.
  1. Quali delle seguenti formule sono LP-ffbf?
  • (A - רB) ^ ∃xFx
  • (A - רB) ^ C
  • A - רB^C
  • A - (רB^C)
  1. Quali delle seguenti ffbf trascrive in FOL l’enunciato “Solo i filosofi sono saggi” F = filosofo S= saggio Risp 4
  2. Un’argomentazione con premesse vere è detta: ____ fondata
  3. Quale delle seguenti definizione di conseguenza logica in LP è quella corretta?
  • Data una forma argomentativa Г⊨ϕ, ϕ è conseguenza logica di Г SSE in ogni

interpretazione, I, se VI (γI) = 1, …., VI (γI) = 1 (per ogni γ ∊ Г), allora anche V ……

  • Data un’argomentazione, è impossibile che le sue premesse risultino vere e la sua conclusione falsa
  • Data una forma argomentativa P^Q ⊨ Q, Q è conseguenza logica di P^Q SSE in ogni interpretazione I tale che VI (P^Q) = 1 vale anche I(Q)=
  • Data una forma argomentativa Г⊨ϕ, ϕ è conseguenza logica di Г SSE in ogni interpretazione, I, se VI (γI) = 1, …., VI (γI) = 1 (per ogni γ ∊ Г), se e solo se V ……
  1. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costituire la dimostrazione della seguente fbf FOL-valida. (attenzione: l’ordine di scelta è irrilevante; ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se selezioni tutte le opzioni totalizzerai 0) ∃x(Fx ^ Gx) ⊨fol ∃xGx Risposta 1,
  1. In un modello, <D, I> di FOL, una funzione di assegnazione g(x),
  • Assegna temporaneamente una denotazione alla variabile x
  • Non è utile se in D vi sono elementi non mappati su costanti individuali
  • Assegna stabilmente una denotazione alla variabile x
  • È utile se M non specifica costanti individuali interpretate
  1. Un dominio in FOL
  • È un insieme che contiene almeno un elemento
  • Contiene le denotazioni delle costanti individuali
  • Contiene le denotazioni degli operatori verofunzionali
  • È l’insieme di tutto ciò che nel nostro mondo attuale esiste
  1. Una fbf LP-invalida è:
  • Una fbf falsa in relazione al mondo
  • Una fbf falsa in ogni interpretazione, I
  • Una fbf tale che non vi sono interpretazioni, I, che la rendono vera
  • Né falsa né vera in ogni possibile interpretazione, I
  1. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costituirebbe la dimostrazione della seguente fbf FOL-valida. (attenzione: l’ordine di scelta è irrilevante; ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se selezioni tutte le opzioni totalizzerai 0) ∀xFx ⊨fol ר∃x רFx Risposta 2, 4
  • Non si attribuiscono poteri causali a fattori che esercitano potere causale
  • Si attribuiscono poteri causali a fattori che non esercitano potere causale
  1. In base alla fallacia del cecchino texano (1 risp)
  • Cluster di eventi casuali vengono ritenuti con ciò stesso inspiegabili
  • Cluster di eventi casuali vengono spiegati facendo appello a una causa

efficiente

  • Cluster di eventi casuali vengono spiegati facendo appello alla casualità
  1. Per determinare se una formula è una fbf (1 risp)
  • Occorre confrontarla con le regola di formazione del sistema
  • Occorre confrontarla con le regola di derivazione del sistema
  • Occorre confrontarla con la lista delle fbf del sistema considerato
  1. Stabilire quali tra le seguenti ffbf sono contraddittorie rispetto alla fbf Fa <-> Gb
  • (Fa→ רGb) ^ (Gb → רFa)
  • רFa - רGb
  • ר(Fa → Gb) ^ ר(Gb →Fa)
  • ר(Fa - Gb)
  1. Selezionare quali tra le seguenti formule sono vere rispetto al modello M, <D,I> dato sono: D=[Aldo, barbara, carlo] I(a)= aldo I(b)= barbara I(F) = carlo I(G)= (aldo, barbara, carlo)
  • ר∀x רFx
  • Fa
  • ∀xFx
  • רFa v Fb
  1. Nella FOL una variabile individuale
  • Può sostituire una costante predicativa
  • Può ricorrere in ffbf anche non vincolata a un quantificatore
  • Deve essere vincolata a un quantificatore per formare una fbf
  • Può sostituire una costante individuale
  1. Il simbolo ⊨ esprime
  • Una relazione sintattica
  • La relazione di conseguenza logica
  • Una relazione semantica
  • La relazione di derivabilità logica
  1. Quali delle seguenti proprietà caratterizzano LP
  • Incompletezza
  • Bivalenza
  • Polivalenza
  • Completezza
  1. un modello in fol
  • può disporre di un dominio vuoto
  • Ha un dominio non vuoto X
  • È un singoletto (I)
  • È una coppia (D)(I) X
  1. Dato il simbolo ˫ il pedice
  • Specifica il sistema formale entro cui soltanto la derivazione logica è valida
  • Specifica che la derivazione è valida
  • Specifica il sistema formale rispetto al quale la derivazione logica è valida
  • Specifica il sistema formale di riferimento
  1. Selezionare quali tra le seguenti formule sono vere rispetto al modello, M=<D,I> dato sotto: risposta A,B,D 57 Data una forma argomentativa Г⊨ϕ la stessa è valida se e solo se
  • Conserva la verità in virtù del significato delle sue costanti logiche e non logiche
  • Conserva la verità in virtù della sua forma logica X
  • Conserva la verità in virtù del significato delle sue costanti non-logiche
  1. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costituire la dimostrazione della seguente fbf FOL-valida. (attenzione: l’ordine di scelta è irrilevante; ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se selezioni tutte le opzioni totalizzerai 0)
  1. quali delle seguenti ffbf sono FOL-valide? risposta 4,
  2. dato lo schema di una costante predicativa ∏nα
  • il pedice indica la saturabilità del predicato trascritto
  • il pedice specifica il numero di costanti predicative che possono seguire a ∏
  • il pedice differenzia costanti predicative indicate da una stessa lettera
  1. data la forma argomentativa Г ⊨lp ϕ un suo controesempio
  • indica che vi è almeno un caso in cui ϕ è vero e Г è falso
  • indica che vi è almeno un caso in cui Г è vero e ϕ è falso
  • indica che la forma argomentativa è senz’altro invalida
  • indica che la forma argomentativa può essere invalida
  1. dato il simbolo ˫x il pedice
  • specifica il sistema formale entro cui soltanto la derivazione logica è valida
  • specifica che la derivazione è valida
  • specifica il sistema formale rispetto al quale la derivazione logica è valida X
  • specifica il sistema formale di riferimento
  1. quali delle seguenti fbf sono tautologie?
  • (A ^ רA)-- B
  • (A^ רA)-- רB
  • (A^ רA) →(Av רA)
  1. In un modello M =<D,I> la formula seguente: Fx
  • È una fbf
  • Non è una fbf
  • Potrebbe essere temporaneamente una fbf rispetto a una funzione di assegnazione g(x)= α (per α ∊ D) X
  • Non è una fbf rispetto a una funzione di assegnazione g(x)= α (per α ∊ D)
  1. Dato un modello della FOL M=<D,I>, il suo dominio D
  • È tale da essere non vuoto
  • Deve contenere tutto ciò che nel nostro mondo esiste
  • Può anche essere vuoto
  1. Si risolva la seguente funzione di valutazione nel modello M=<D,I>:

C

  1. Quale delle seguenti tavole di verità rappresenta la semantica verofunzionale dell’enunciato “solo se prendo l’ombrello piove” risposta A Chiave di traduzione O: Prendo l’ombrello P: piove
  2. Le regole derivate di un sistema logico-deduttivo
  • Dimostrano molte ffbf valide rispetto alle regole fondamentali
  • Si fondano sulle regole fondamentali
  1. Quali delle seguenti formule sono fol valide Risposta A
  2. quali delle seguenti formule sono FOL-ffb (logica dei predicati)?
    • ∃y(a=b → F xy)
    • ∃x∃y(a=b → Fxy)
    • ∃x (a=b → Fx)
    • ∃x (a=y → Fx)
  3. si valuti la seguente argomentazione “Se piove, prendo l’ombrello. Dunque se non piove, non prendo l’ombrello”
    • commette la fallacia della negazione dell’antecedente
    • commette la fallacia della trasposizione impropria
    • non commette nessuna fallacia
  4. un’argomentazione fondata…
    • non è detto che sia anche valida
    • è anche valida
    • ha premesse in maggior parte vere
    • ha premesse vere
  5. si indichi la probabilità induttiva della seguente argomentazione: Ad agosto sono stato un mese in vacanza fuori dall’italia e al mio ritorno i fiori sul mio davanzale non erano appassiti ma rigogliosi. ne segue che ad agosto in italia c’è stato spesso brutto tempo
    • induttiva
    • fallace
    • invalida
    • deduttiva
  6. due LP-ffbf φ e ψ sono equivalenti se e solo se per ogni I, Vi (φ)= Vi(ψ)
    • vero
    • falso
  7. tutte le tautologie (ossia le ffbf LP-valide) sono logicamente equivalenti
    • vero
    • falso

DOMANDE SECONDO APPELLO

  1. Quali delle seguenti formule sono LP-ffbf (logica proposizionale)? Risposte C e A
  2. Quale delle seguenti formule sono FOL-ffbf (logica dei predicati)?

C e D

  1. Quale dei seguenti schemi argomentativi trascrive la fallacia del cum hoc ergo propter hoc? -A accade dopo a B, dunque B causa A -A accade assieme a B, dunque A causa B
  2. Quali delle seguenti formule sono LP-ffbf (logica proposizionale)?
  1. Dato il condizionale P→Q quali delle seguenti forme non costituiscono sue equivalenze in LP? 1 e 3
  2. Stabilire quali tra le seguenti ffbf sono contraddittorie rispetto alla fbf:

13.Quali brani, tra i seguenti, contengono genuine argomentazioni? -Gli animali non provano dolore e non hanno un’anima

  • Solo chi ha un’anima prova dolore. Gli animali non hanno un’anima e pertanto non provano dolore. -Solo chi ha un’anima prova dolore. Per questo gli animali non provano dolore
  • Ti chiedi perché gli animali non provano dolore? Gli animali non provano dolore perché non hanno un’anima.
  1. Indicare quale fallacia commette la seguente argomentazione: ‘’o siamo liberi di sostenere argomenti fallaci o rinunciamo alla nostra libertà’’ -Generalizzazione frettolosa -Falso dilemma -Pensiero magico
  2. Stabilire quale tra le seguenti formule ffbf sono contraddittorie rispetto alla fbf: Ga V Fb C e D
  3. Si specifichi nel riquadro, indicando un numero naturale (0,1,2,3..) il numero che esprime la n-arietà della seguente costante logica del vocabolario di LP: 2
  4. Determinare quale coppia tra le seguenti opzioni si concatena in modo da costruire la dimostrazione della seguente forma argomentativa FOL-valida. (attenzione: l’ordine di scelta è irrilevante; ogni selezione sbagliata costituisce il -25% sul punteggio di questo singolo esercizio, se selezioni tutte le opzioni totalizzerai 0) 2 e 3