 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
[Esercizi]Svolgimento
Clicca QUI per vedere il messaggio nel forum |
| Flavia |
Ciao!
Qualcuno di voi ha ftto gli esercizi assegnati il giorno 20 Ottobre per il 27 Ottobre?
Erano, nell'ordine:
1)Esercizio assegnato da Ghilardi..c'era già la soluzione e noi dovevamo far vedere lo svolgimento
2)3 Esercizi della Bucalo: Determinare tutti i modelli
Primo --> Nessun modello
Secondo --> Esiste un modello per l'interpretazione p = true,
q =true e r =true
Terzo --> Non l'h' fatto perchè c'erano 4 variabili :asd:
3)2 Esercizi della Bucalo: Stabilire se sono conseguenze logiche
Primo --> Si', è conseguenza logica
Secondo --> No, non è conseguenza logica (addirittura, non c'è
alcun modello!)
Qualcuno mi dice?!?!!??!
:cool: |
| joker402 |
Determinare i modelli:
1. nessun modello
2. nessun modello (ma forse ho copiato male qualche pezzo di testo)
3. modelli per (in ordine: pqrs): TTTT - TTTF - TTFT - TFFT - FTFT - FFFT
Aspetto altre soluzioni per avere conferme o smentite!! ;) |
| Mifune |
Originally posted by joker402
Determinare i modelli:
1. nessun modello
2. nessun modello (ma forse ho copiato male qualche pezzo di testo)
3. modelli per (in ordine: pqrs): TTTT - TTTF - TTFT - TFFT - FTFT - FFFT
Aspetto altre soluzioni per avere conferme o smentite!! ;)
ok ma ghilardi questa settimano non c'è!! oppure ha cambiato idea :asd: |
| Flavia |
Vedo che tutti si stanno impegnando a fare i compiti!
:twisted: |
| dilix |
| Siccome mercoledì scorso non son potuta venire a lezione, qualcuno gentilmente potrebbe inserire nell'area filez il testo degli esercizi ke ha assegnato x questo mercoledì? Grazie |
| Francesko |
mi associo a dilix...
:please: :please: |
| joker402 |
Originally posted by joker402
2. nessun modello (ma forse ho copiato male qualche pezzo di testo) infatti mi ero perso qualche "non" per strada (grazie flavia ;) ), mi viene che è un modello per p,q,r = T
Originally posted by Flavia
2 Esercizi della Bucalo: Stabilire se sono conseguenze logiche
Primo --> Si', è conseguenza logica
Secondo --> No, non è conseguenza logica (addirittura, non c'è alcun modello!) :approved: esattamente come vengono a me :) |
| Alis |
Ciao a tutti, gli esercizi sulle tavole di verità della lezione del 13/10 che bisognava fare per la lezione del 20/10, come vi vengono?
(gli altri esercizi mi vengono come i vostri) |
| Barone |
Per quanto riguarda il primo es sui modelli della Bucalo...
Ho fatto le tab di verità:
V F F V V F V F
F V V V
V V V V V V F F
Ora controllo (dove il risultato è vero) se c'è una corrispondenza tra i valori di verità delle singole frasi?è così? |
| Barone |
| Flavia mi hai detto di usare la tabella di verità del <-->..ma nn abbiamo scritto nessuna tab di verità per questo connettore..nn vorrei ti stessi confondendo con il primo esercizio fatto con il <--> ( P e Q <--> Q e P)..questo aveva solo valore di esempio..credo che ogni volta che c'è quel connettore devi scomporlo in quello piu semplice con i due connettori implica (-->) e la congiunzione "e" |
| daddy80 |
| è un bel quesito questo..chi sa rispondere ? |
| rider |
Esempio: p<->q e' come scrivere (P->Q) ^ (Q->P).
I risultati delle tavole di verita' sono: T,F,F,T |
| joker402 |
Originally posted by Barone
Flavia mi hai detto di usare la tabella di verità del <-->..ma nn abbiamo scritto nessuna tab di verità per questo connettore..nn vorrei ti stessi confondendo con il primo esercizio fatto con il <--> ( P e Q <--> Q e P)..questo aveva solo valore di esempio..credo che ogni volta che c'è quel connettore devi scomporlo in quello piu semplice con i due connettori implica (-->) e la congiunzione "e"
La tavola di verità di "P <-> Q" è
code:
PQ
TT - T
TF - F
FT - F
FF - T
l'ho ricavata così:
"p <-> q" è come scrivere (p -> q) E (q -> p), quindi la prima volta calcolo (p->q), poi (q->p), poi la congiunzione dei due, e così ecco ricavata la tavola di verità del "<-->" ;)
edit: rider mi hai anticipato :) |
| Barone |
| joker dai un occhio ai miei es...mi vengono completamnete diversi dai vostri, continuo ad essere convinto che siano corretti i miei....nell'area filez |
| papousek |
scusate il mio post..saro breve...queste cose sono trattate sulle dispense???
..perchè io ho il problema che posso solo frequentare le lezioni del pomeriggio...
grazie a tutti |
| Barone |
guarda...è tutto trattato sulle slides..però il linguaggio utilizzato è molto formale e quello fatto a lezione però a volte si discosta leggermente dalle slide che sono molto più comlete ed approfondite..ti consiglio di tenere un occhio qui che postiamo esercizi e robe del genere..
HIM POWER!!! |
| joker402 |
Originally posted by Barone
joker dai un occhio ai miei es...
ho dato un'occhiata veloce, il primo esercizio sui modelli, hai scritto il testo diverso da quello che ho io, quindi magari l'hai anche fatto giusto :D
Il primo esercizio sulla conseguenza logica, mi sembra che ci sia qualche errore nella parte che hai segnato con B (R->P è falso quando R è vero e P falso)
Spero di non aver guardato troppo in fretta :) |
| Barone |
| cacchio a fare sti esercizi mi vanno insieme gli occhi..domani mattina li riguardo... |
| Flavia |
Ho postato nell'area filez gli esercizi sulle k-dimostrazioni!
:D |
| m735 |
Ho tre dubbi:
Nelle ricerca delle dimostrazioni (calcolo del 1° ordine)
- f(x) è un termine vero? e per questo può essere considerato "termine già usato"=l, nell'applicare le regole di inferenza per i quantificatori?
- le variabili x,y,z,.... non sono termini... vero?
- Se, nell'apllicare una regola di inferenza, mi ritrovo a dover sostituire a tutte le x un termine, non devo sostituirlo anche alla x interna a f(x) vero???? (es. Q(x, f(x))-----> Q(c, f(x)))
è complicato scrivere con tutto questo formalismo.... :asd: probabilmente non si capirà niente :sad: |
| m735 |
| mi correggo da sola... le variabili sono termini |
| Flavia |
| Per la 3...io penso proprio che devi sostituirla..in fondo se cambi il valore di x, il valore di f(x) cambia univocamente (per la definizione di funzione!) :-D |
| m735 |
Anche io lo penso, ma non ne ero sicura...
se sostituisco l'esercizio esce :) |
| Flavia |
Oggi abbiamo svolto in classe esercizi sul calcolo delle dimostrazioni nella logica del primo ordine. La prof ha detto che gli esercizi saranno facili, con massimo 10 nodi!
Comunque confermo, f(x) diviene, ad esempio f(t) e resta un termine! :-D |
| Francesko |
per caso qualche anima generosa può postare nei filez l'esercizio svolto?
:please: |
| Flavia |
Ci provo...scriverlo è complicato...posto solo il primo però, quello il cui grado di diffcolotà sarà simile a quello del compito...
:-D
Non c'è la A e la E rovesciate! :(
Clicca qua! |
| luna |
ecco l'esercizio assegnato dal prof Ghilardi a lezione ( è stato assegnato in un esame):
Frasi:
1. Nessun marinaio ama una ragazza bruna
2. Lucia è una ragazza bruna
_____________________________
3. Nessun marinaio ama Lucia
Analizzare tramite le regole ricorsive e producendo la forma sollevata la frase 1,poi analizzare la frase 2 e poi la frase 3. Dimostrare poi che le frasi 1 e 2 implicano la 3. La prima frase è ambigua,dimostrare i due possibili casi.
L'esercizio e' piuttosto lungo ;) e nel compito bisognava dimostrare solo uno dei due casi di ambiguita'. :)
Buon lavoro :P :D |
| testa100 |
Il Prof. ha detto che in rete c'e' un "foglio" con tutte le regoline da usare per gli esercizi...ma qualcuno le ha trovate???
Lui ne ha scritte un po' alla lavagna dicendo che non c'era bisogno di ricopiarle perche' le trovavamo sul suo sito...
Aiuto!!!
Grazie... |
| Flavia |
Originally posted by luna
ecco l'esercizio assegnato dal prof Ghilardi a lezione ( è stato assegnato in un esame):
Frasi:
1. Nessun marinaio ama una ragazza bruna
2. Lucia è una ragazza bruna
_____________________________
3. Nessun marinaio ama Lucia
Analizzare tramite le regole ricorsive e producendo la forma sollevata la frase 1,poi analizzare la frase 2 e poi la frase 3. Dimostrare poi che le frasi 1 e 2 implicano la 3. La prima frase è ambigua,dimostrare i due possibili casi.
L'esercizio e' piuttosto lungo ;) e nel compito bisognava dimostrare solo uno dei due casi di ambiguita'. :)
Buon lavoro :P :D
Qualcuno l'ha fatto!?!?!? Voglio confrontare i risultati!!! |
| m735 |
L'ho svolto... in entrambe le interpretazioni.
Alla fine si dimostrano entrambe.
Solo che ho un piccolo dubbio sulla regola di interpretazione del PN e sull'astrazione della x, nella seconda interpretazione nell'applicare la regola (E--E+SNx) L'enunciato interno è giàconsiderato per ogni x...
spero di essermi spiegata, è difficile :( |
| Flavia |
Originally posted by m735
L'ho svolto... in entrambe le interpretazioni.
Alla fine si dimostrano entrambe.
Solo che ho un piccolo dubbio sulla regola di interpretazione del PN e sull'astrazione della x, nella seconda interpretazione nell'applicare la regola (E--E+SNx) L'enunciato interno è giàconsiderato per ogni x...
spero di essermi spiegata, è difficile :(
Non possono essere dimostrate entrambe!!!!!
La prima interpretazione è:
1. A nessun marinaio piace nessuna ragazza bruna..ovvero, non esiste alcuna ragazza dai capelli bruni che piaccia a qualche marinaio!
2. Esiste una e un'unica ragazza bruna, sfigatissima, che non piace a nessun marinaio!
Con la prima intepretazione, sapendo inoltre che Lucia è una ragazza bruna, riesci a dimostrarlo (se Lucia è una ragazza bruna e nessuna ragazza bruna è l'oggetto del desiderio dei marinaretti..ovviamente a nessun marinaio piacerà Lucia!). Nel secondo caso non riesci a dimostrarlo, dal momneto che il fatto di sapere che Lucia è bruna, non ti permette di supporre che sia quell'UNICA ragazza bruna che non piace a nessun marinaio!!!
Quindi: nel primo caso, di dimostra che il ragionamento è corretto..nel secondo, con la dimostrazione nella logica del primo ordine, in un ramo non ti esce nessun assioma, e da ciò deriva un contromodello!
:-D |
| m735 |
| Ok! allora ho sbagliato qualcosa! :) |
| m735 |
| Qual è la regola per il predicato nominale? |
| GinoPilotino |
domanda riguardanti gli esercizi sui modelli, una volta sviluppate tutte le tavole di verità delle varie formule come bisogna procedere?
stesso discorso per quanto riguarda gli esercizi sulla conseguenza logica: ho una formula che è conseguenza logica di qualche altra formula (1 o più); in questo caso come risolvo il tutto?
lo so che possono sembrare domande banali ma sulle slide non ho trovato niente a riguardo.
:) |
| m735 |
Originally posted by GinoPilotino
domanda riguardanti gli esercizi sui modelli, una volta sviluppate tutte le tavole di verità delle varie formule come bisogna procedere?
stesso discorso per quanto riguarda gli esercizi sulla conseguenza logica: ho una formula che è conseguenza logica di qualche altra formula (1 o più); in questo caso come risolvo il tutto?
lo so che possono sembrare domande banali ma sulle slide non ho trovato niente a riguardo.
:)
non ho capito molto di quello che hai chiesto... non vieni a lezione? |
| GinoPilotino |
no esatto. non sono riuscito a seguire tutte le lezioni del corso.
al momento sto provando a fare gli esercizi riguardanti i modelli e la conseguenza logica ma non riesco a capire come svolgerli.
ad esempio ho provato a guardare l'esercizio svolto da barone e postato nell'area filez e quello che non riesco a capire è come devo procedere una volta terminata la compilazione delle tavole di verità.
per quanto riguarda gli esercizi sulla conseguenza logica non so proprio cosa bisogna fare dal momento che non c'è scritto nulla sulle dispense. non penso siano difficili da risolvere, il problema è che proprio non so cosa devo fare!
vi prego heeeeeelp
:sad: |
| Flavia |
Originally posted by GinoPilotino
no esatto. non sono riuscito a seguire tutte le lezioni del corso.
al momento sto provando a fare gli esercizi riguardanti i modelli e la conseguenza logica ma non riesco a capire come svolgerli.
ad esempio ho provato a guardare l'esercizio svolto da barone e postato nell'area filez e quello che non riesco a capire è come devo procedere una volta terminata la compilazione delle tavole di verità.
per quanto riguarda gli esercizi sulla conseguenza logica non so proprio cosa bisogna fare dal momento che non c'è scritto nulla sulle dispense. non penso siano difficili da risolvere, il problema è che proprio non so cosa devo fare!
vi prego heeeeeelp
:sad:
Allora, devi procedere cosi:
1. Calcoli la tavole di verita di tutte le formule.
2. Confronti per quali interpretazioni tutte le formule da considerare hanno valore vero (cioe, per quale riga, tutte le formule in considerazione sono vere)
3. Se non esistono tali righe, non ci sono modelli. Se esistono, il modello e dato dall interpretazione degli atomi corrispondenti!
:-D |
| GinoPilotino |
Originally posted by Flavia
Allora, devi procedere cosi:
1. Calcoli la tavole di verita di tutte le formule.
2. Confronti per quali interpretazioni tutte le formule da considerare hanno valore vero (cioe, per quale riga, tutte le formule in considerazione sono vere)
3. Se non esistono tali righe, non ci sono modelli. Se esistono, il modello e dato dall interpretazione degli atomi corrispondenti!
:-D
grande flavia grazie! :)
domani durante la pausa hai da fare oppure vuoi aggiungerti al gruppo studio? :D :D |
| bau |
| mmm, flavia, qunado scrivi "qualsiasi x etc" significa che davanti alla x nono ci va nè l'esiste nè il per ogni???! |
| Flavia |
Per ogni=qualsiasi= A rovesciata!
:-D |
| bau |
| ah,certo! grazie! :ciaoo: |
| Alis |
| Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11? |
| Flavia |
Originally posted by Alis
Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11?
A me è uscito esattamente come mi aspettavo!
1. I due della Bucalo erano facilissimi ed erano immediatamente dimostrabili
2. Quelli di Ghilardi erano lunhi ma semplici! Nella prima interpretazione si poteva dimostrare, nella seconda bisgonava trovare il contromodello!
:-D |
| Flavia |
Vi propongo un esempietto di come va risolto un esercizio sui modelli!L'ho inventato io ed è abbastanza semplice, ma serve per capire come giungere alle conclusioni!
ESEMPIO DI ESERCIZIO SUI MODELLI E TAVOLE DI VERITA'
Esempio: Calcolare se esistono modelli per le seguenti formule
(p --> q) ^ r ; p v (non) r
Passo 1: costruisco le tavole di verità delle due formule:
Scusate la mancanza di allineamento delle colonne!
p q r | p--> q | (p --> q) ^ r | (non)r | p v (non) r
|
T T T | T | T | F | T
T T F | T | F | T | T
T F T | F | F | F | T
T F F | F | F | T | T
F T T | T | T | F | F
F T F | T | F | T | T
F F T | T | T | F | F
F F F | T | F | T | T
Passo 2: controllo per quali righe entrambe le formule sono vere!
Questo accade nella riga 1 e basta, giusto?
Passo 3: Rilsalire alle interpretazioni delle formule atomiche corrispondenti!
La mia conclusione sarà: "Si, esiste un modello, ovvero un'interpretazione per cui le mie due formule sono vere. Tale interpretazione è per p=vera, q=vera e r=vera "(la prima riga)
Se la due formule fossero risultate entrambe vere solo all'ultima riga, la mia conclusione sarebbe stata che esiste un modello per p=falso, q=falso e r=falso!
Possono esserci anche più di una riga tale che le due formule siano vere: in questo caso avremo più possibili interpretazioni. Nella fattispecie, se avremo della formule che sono tutte tautologie (ovvero, tali che la loro colonna di valori di verità è tutta vera), avremo modelli per tutte le interpretazioni!
Se non ci fossero interpretazioni di p,q, r ....tali che le formule siano vere, non esistono modelli.
Esempio:
Calcolare se esiste un modello per le formule (p^q) ; (non)p ^q
p q p ^ q (non)p (non)p ^ q
T T T F F
T F F F F
F T F T T
F F F T F
In questo caso non esistono modelli.
Io l'ho intesa così!Se qualcuno ha da obiettare, che lo dica subito così mi regolo anche io! :-D
Per l'esercizio analago che consiste nel cercare se una formula è conseguenza logica di altre formule, si procede nello stesso modo. Ad esempio, se ho le formule 1 2 e devo calcolare se 3 è conseguenza logica di 1 e 2, ragiono come sopra. Cerco le righe per cui 1 e 2 sono vere e vedo se per quella stessa riga(ovvero, se per quella stessa interpretazione) anche la formula 3 è vera!Se è così per tutte le righe tali che 1 e 2 siano vere contemporaneamente, allora 3 è conseguenza logica di 1 e 2!in parole povere!Se 3 è vera per tutti i modelli di 1 e 2!
:-D |
| futurbaggio |
...mi sto dilettando con gli esercizi di logica di pag.38 della dispensa...
qualcuno ha fatto il numero 2?
Su un ramo ho trovato l'assioma, sull'altro sembra andare all'infinito ma magari c'è anke qui l'assioma ma bisogna sgamare la regola da applicare per chiudere il ramo.
Resto in attesa :twisted:
Roberto |
| Flavia |
si l'ho fatto!
Come faccio a spiegartelo qua così? |
| futurbaggio |
Originally posted by Flavia
si l'ho fatto!
Come faccio a spiegartelo qua così?
se proprio vuoi condividerlo alla comunità cerca un metodo qui... altrimenti ti colleghi in chat e poi ci penso io a renderlo pubblico. :cool:
Roberto |
| GinoPilotino |
| miiiiiiiiiiiitttttttttttiiiiiiiiiicaaaaaaaaaaaaa :D :D :D :D :D |
| Flavia |
| Sostituisci sia alla x che alla y il valore a!Si può no? :D |
| futurbaggio |
Originally posted by Flavia
Si può no? :D
...se puede, se puede! :twisted:
Roberto |
| Francesko |
| ehm... so che avete fatto già molto, ma è troppo chiedervi di spiegare il metodo di risoluzione x quest'ultimo esercizio?? plis... |
| futurbaggio |
stavo pensando ad un modo per postarli in serata...
Roberto |
| marduk1983 |
ragazzuoli, qualcuno ke ha risolto gli es di pag 38 potrebbe postarne qualcuno con le spiegazioni dei passaggi? (mi interessano soprattutto le spiegazioni perkè alcune formulette non le ho ben capite)
purtroppo non ho potuto seguire tutte le lezioni e penso ke potrebbe essere utile anche ad altri.
se non vi crea problemi..thanx in advance!
ciausss |
| GinoPilotino |
mi sto affacciando ora ora alle dimostrazioni. le regole base le ho capite, difatti il primo esercizio che trovo nella dispensa mi viene regolarmente.
il problema mi sorge quando trovo espressioni di questo tipo:
per ogni x, per ogni y (.......)
oppure
per ogni x esiste un y (.......)
insomma, per capire meglio quello a cui mi riferisco basta osservare il secondo esercizio della dispensa.
come devo procedere per risolvere?
qualcuno m'illumina? :sad: |
| futurbaggio |
Originally posted by GinoPilotino
come devo procedere per risolvere?
qualcuno m'illumina? :sad:
Nient'altro che applicare le regole che trovi a pag. 34 in successione (in base all'ordine di precedenza).
Quando trovi un 'per ogni' a sinistra o un 'esiste' a destra allora devi sostituire la variabile vincolata con un parametro mai utilizzato prima (parametro = lettera dell'alfabeto scritta in minuscolo).
Se invece trovi un 'per ogni' a destra o un 'esiste' a sinistra allora devi sostituire la variabile vincolata con un parametro già presente nel resto del sequente, a meno che nn ne esistano allora ne vanno introdotte di nuovi.
Roberto |
| GinoPilotino |
non ho capito :(
non ho che me lo puoi spiegare con un esempio?
per me non è..."logico" :D |
| GinoPilotino |
| risolto...futurbaggio rulez :D |
| marduk1983 |
cipikkia non ho capito neankio.. non è ke riusciresti a commentare 1 esercizio doveci sono questi passaggi?
intanto thanx x aver postato gli esercizi risolti
saluti ciààà
Originally posted by GinoPilotino
non ho capito :(
non ho che me lo puoi spiegare con un esempio?
per me non è..."logico" :D |
| GinoPilotino |
oggi ne risolvo un paio e ne posto uno con i commenti.
spero solo sia giusto :D |
| marduk1983 |
ok ti ringrazio molto!!!
ciààà
Originally posted by GinoPilotino
oggi ne risolvo un paio e ne posto uno con i commenti.
spero solo sia giusto :D |
| GinoPilotino |
ho risolto gli esercizi 1-2-3-4-6-7-8 a pagina 38 delle dispense commentando tutti i passaggi.
siccome non sono pazzo non mi metto a scriverli in digitale ma domani provvederò a darli ad un culo di nome dagarlas per fare le scansioni. :D
gli altri esercizi sono assolutamente analoghi solo che sono, soprattutto il 5 e il 9, molto lunghi da svolgere e non ne avevo assolutamente voglia a poche ore dal match inter-juve :D |
| Flavia |
Originally posted by GinoPilotino
ho risolto gli esercizi 1-2-3-4-6-7-8 a pagina 38 delle dispense commentando tutti i passaggi.
siccome non sono pazzo non mi metto a scriverli in digitale ma domani provvederò a darli ad un culo di nome dagarlas per fare le scansioni. :D
gli altri esercizi sono assolutamente analoghi solo che sono, soprattutto il 5 e il 9, molto lunghi da svolgere e non ne avevo assolutamente voglia a poche ore dal match inter-juve :D
Ma povero Dagarlas!!!!
Comunque quegli esercizi sembrano abbastanza semplici, quindi se uno riesce a risolverli [ a posto per l-esame!!!
Argh Gino!!!!!!!!Stupidissima Inter! |
| GinoPilotino |
Originally posted by Flavia
Argh Gino!!!!!!!!Stupidissima Inter!
:nono: :sad: :D |
| m735 |
| Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione..... |
| futurbaggio |
Originally posted by m735
Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione.....
...mi è sembrato non dimostrabile...
ricordo cmq che la bucalo disse che in alcuni c'erano errori di battitura delle formule... magari il 35 è uno di questi.
Roberto |
| Flavia |
Originally posted by m735
Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione.....
A me è uscito!
Ordunque, abbiamo 3 termini, due a sinistra e uno a destra:
- dal primo termine di sinistra, riscrivo R (a, f(a))
- dal primo termine di destra, risrivo R (a, a)
- dal secondo termine di sinistra, l'argomento diviene
R (a, f(a)) --> R (a, a)), dato che ho posto f(x), che è un termine, come a, e y, che è un termine, come f(a)!!!!
Clarus??
:D |
| futurbaggio |
Originally posted by Flavia
- dal secondo termine di sinistra, l'argomento diviene
R (a, f(a)) --> R (a, a)), dato che ho posto f(x), che è un termine, come a, e y, che è un termine, come f(a)!!!!
Non sono sicuro che si possa fare così come dici, le variabili vincolate sono la x e la y non f(x) e f(y), come invece hai pensato tu.
Nn credi?
Roberto |
| Flavia |
Originally posted by futurbaggio
Non sono sicuro che si possa fare così come dici, le variabili vincolate sono la x e la y non f(x) e f(y), come invece hai pensato tu.
Nn credi?
Roberto
Ahi ahi ahi futur!Se mi rispondessi su MSN quando ti scrivo ti avrei spiegato! :twisted:
Comunque, se riguardi la definizione di termine, non solo x, y, z sono termini, ma anche f(x), f(y), f(z)..., quindi qualsiasi termine derivato da un altro termine!!
Anche perchè, stablitito un a, f(a) è unico!
:D |
| angelko |
| futurbaggio, ha ragione flavia ;) |
| m735 |
Sono sicura che è dimostrabile perché me lo ha detto Ghilardi.
Io lìho risolto alla fine..... ma non come ha fatto Flavia...
Il ragionamento sembra filare.... ma non mi convince moltissimo... |
| futurbaggio |
Originally posted by Flavia
Ahi ahi ahi futur!Se mi rispondessi su MSN quando ti scrivo ti avrei spiegato! :twisted:
Se non ti fossi affidata a strumenti informatici solo presunti tali (nella fattispecie a marchio Microsoft), avresti letto quello che ti ho scritto (cioè che andavo a fare i piatti :twisted: ).
Grazie per la spiegazione...
Roberto |
| Flavia |
Ma quando tu sostituisci la x con a, automaticamente anche f(x) diveine f(a)
Dai Futur, scherzavo!:D |
| Flavia |
Dopo aver discusso in aramaico con il mio amico Futurbaggio (:D ),
non abbiamo ancora trovato accordo! :sbonk:
Una cosa è sicura:
Qualsiasi x R(x, f(x)) a sinistra diviene
Qualsiasi x R(x, f(x)), R (a, f(a))
Cioè.. se ho qualsiasi funzione della x(quindi la x come argomento di funzione), anche questa va cambiata mettendo il termine prescelto, in questo caso a!
Quando ho Qualsiasi (x),Qualsiasi (y) (R (f(x),f(y) ), allora io prendo come termine non x=a, ma f(x)=a, perchè f(x) è un termine!
In questo modo, sostituendo poi la y con a, il risultato arriva dopo 5 passaggi! :-D
Non va bene? |
| futurbaggio |
Originally posted by Flavia
Dopo aver discusso in aramaico con il mio amico Futurbaggio (:D ),
non abbiamo ancora trovato accordo! :sbonk:
Dalla prossima volta ci confronteremo in dialetto... cmq nn si è trovato l'accordo perchè tu proponevi cose di cui nn eri convinta e io stesso nn lo ero...
Originally posted by Flavia
Una cosa è sicura:
Qualsiasi x R(x, f(x)) a sinistra diviene
Qualsiasi x R(x, f(x)), R (a, f(a))
Cioè.. se ho qualsiasi funzione della x(quindi la x come argomento di funzione), anche questa va cambiata mettendo il termine prescelto, in questo caso a!
Semplice applicazione della regola.
Originally posted by Flavia
Quando ho Qualsiasi (x),Qualsiasi (y) (R (f(x),f(y) ), allora io prendo come termine non x=a, ma f(x)=a, perchè f(x) è un termine!
La variabile vincolata è la x, quello che fai è scorretto.
Ho chiesto nel pomeriggio una verifica a Ghilardi, con cui ho svolto al volo l'esercizio e mi ha confermato che l'operazione che tu introduci è sbagliata.
Ecco la soluzione dell'esercizio (ancora un inchino a OpenOffice):
http://www.dsy.it/forum/showthread....2625#post242625
Roberto
PS Ha ragione Flavia??? :evil:
PPS Flavia, spero che basti per perdonarmi il fatto che ero nel bagno delle donne... :cool: |
| Flavia |
Perfetto Futur!!!!!!!!!!!!!
Ora siamo davvero d'accordo!!!!!!!!!!!!!!!!!
:cool:
Ma guai a te se ti rivedo nel bagno delle donne... :asd: |
| angelko |
| scusate sono un attimo nel pallone, se ho P(x) --> Q(x) ^ S(x) quale svolgo prima? chi ha la precedenza? |
| futurbaggio |
Originally posted by angelko
scusate sono un attimo nel pallone, se ho P(x) --> Q(x) ^ S(x) quale svolgo prima? chi ha la precedenza?
Va letto come:
P(x) --> [Q(x) ^ S(x)]
Quindi svolgi prima l'implica perchè l'and lega di più...
Roberto |
| angelko |
ho un dubbio...
ma i verbi in forma passiva (ad esempio "vengono ribassati" di un'esercizio dei temi d'esame dal sito del prof) si considerano come verbi intransitivi o come predicato nominale?
alla fine nello svolgimento non cambia nulla, ma nell'albero cosa metto? |
| boban |
qualcuno mi sa dire l'ordine con cui vanno sviluppati i vari AND OR IMPLICA e i QUANTIFICATORI....quali hanno precedenza su gli altri??....ero sicuro di averlo letto da qualche parte sulle dispense, ma non lo trovo più....mah?!:?
GRAZIE |
| angelko |
per i quantificatori conviene svolgere prima gli "esiste" a sinistra e i "per ogni" a destra perchè introducono parametri nuovi, non ancora presenti nelle formule
per quanto riguarda i connettori logici, beh in caso di nessuna parentesi gli "e" e gli "o" sono piu forti degli implica, quindi prima svolgi gli implica; in caso di più "e" o "o" in successione cominci svolgendo quelli piu a destra
non so se è molto chiaro... |
| boban |
perfetto, si sei stato chiaro...ma un altra cosa ....
in caso ci siano delle parentesi, meglio risolvere prima i connettori fuori dalle parentesie poi quelli all'interno?
per capirci...
A and (B implica C)
faccio prima l AND e poi l IMPLICA
.....spero di essermi fatto capire.... |
| angelko |
si esatto!
fai prima and e poi implica! |
| papousek |
Originally posted by boban
perfetto, si sei stato chiaro...ma un altra cosa ....
in caso ci siano delle parentesi, meglio risolvere prima i connettori fuori dalle parentesie poi quelli all'interno?
per capirci...
A and (B implica C)
faccio prima l AND e poi l IMPLICA
.....spero di essermi fatto capire....
cooosa??
perchè nn si fa prima l'implica??ci sono le parentesi!!
A ^ (B-->C) si fa l'and per primo...e cosa esce?
aiuto!!
un altra cosa...nn capisco l esercizio 10 postato da futurbaggio (quelli di pag.38 delle dispense)..esattamente nn capisco il passaggio 5,la divisione in rami....qualcuno mi sa spiegare come diavolo ha fatto???
aiuto bis!!! |
| futurbaggio |
Originally posted by papousek
cooosa??
perchè nn si fa prima l'implica??ci sono le parentesi!!
A ^ (B-->C) si fa l'and per primo...e cosa esce?
Se il tutto si trova a sinistra verranno le due formule A, B --> C e poi ti risolvi l'implica...
Se invece si trova a destra allora devi dividere in due rami uno con A e l'altro con B-->C (sempre nella destra del sequente).
Originally posted by papousek
un altra cosa...nn capisco l esercizio 10 postato da futurbaggio (quelli di pag.38 delle dispense)..esattamente nn capisco il passaggio 5,la divisione in rami....qualcuno mi sa spiegare come diavolo ha fatto???
In pratica ho diviso il tutto in due rami perchè ho applicato la regola dell'implicazione sulla formula P(a) --> Q(f(a)) che trovi nella parte di sinistra del sequente al passo precedente.
Avrai quindi il ramo 1 con la formula P(a) spostata a destra e il ramo 2 con Q(f(a)) sempre a sinistra (controlla le regole dell'implica per convincerti).
Roberto |
| papousek |
...grazie...futurbaggio....pero nn capisco ancora delle cose...tipo applicare le formule...perchè nelle stesse ci sono varie incognite..A...B...Delta...e quella specie di T...che quando arriva il momrnto di apllicarle nn riesco mai ad assegnare a ciascuna variabile..il valore del sequente....
...insomma...sono nel casino più completo... |
| futurbaggio |
Originally posted by papousek
...grazie...futurbaggio....pero nn capisco ancora delle cose...tipo applicare le formule...perchè nelle stesse ci sono varie incognite..A...B...Delta...e quella specie di T...che quando arriva il momrnto di apllicarle nn riesco mai ad assegnare a ciascuna variabile..il valore del sequente....
Quella specie di T è una gamma in maiuscola (lettera dell'alfabeto greco), delta e gamma sono delle notazioni matematiche che ti dicono che devi ricopiare, nella ricerca di una dimostrazione, tutto quello che c'era al passaggio precedente a destra e a sinistra del segno di sequente.
Originally posted by papousek
...insomma...sono nel casino più completo...
Dal casino più completo se esce consultando le dispense che sono ben fatte, io nn predo mai appunti e ho studiato solo sulle dispese, so fare tutto bene!
Roberto |
| luna |
| scusate ragazzi voi l'esercizio 5 a pag 38 di logica l'avete risolto?ho visto nell'area filez quello postato da Barone e anche a me viene incompleto,senza assiomi!risulta anche a voi cosi'??:) |
| papousek |
Originally posted by futurbaggio
Quella specie di T è una gamma in maiuscola (lettera dell'alfabeto greco), delta e gamma sono delle notazioni matematiche che ti dicono che devi ricopiare, nella ricerca di una dimostrazione, tutto quello che c'era al passaggio precedente a destra e a sinistra del segno di sequente.
Roberto
quindi vuol dire che è una notazione che serve per identificare tutto quello che cè a destra o sinistra....del sequente...nn una sola espressione come avevo pensato...
anche io studio sulle dispense...ma di quel linguaggio matematico...capisco poco....
grazie ancora |
| angelko |
Originally posted by papousek
quindi vuol dire che è una notazione che serve per identificare tutto quello che cè a destra o sinistra....del sequente...nn una sola espressione come avevo pensato...
esatto ;)
una domanda:
nella parte di semantica, i verbi in forma passiva (ad esempio "vengono ribassati" di un'esercizio dei temi d'esame dal sito del prof) si considerano come verbi intransitivi o come predicato nominale?
alla fine nello svolgimento non cambia nulla, ma nell'albero cosa metto VI o PN? |
| papousek |
....MI APPELLO UFFICIALMENTE ALLA CLEMENZA DI QUALCUNO CHE SAPPIA FARE GLI ESERCIZI DI LOGICA....
....nn riesco a svolgere vari (diciamo quasi tutti) gli esercizi....
...qualche anima buona è in grado di postare l esercizio 6 di pag 38???:( :(
grazie....
ps..sembra facile come esercizio...ma nn capisco mai come muovermi all inizio..... |
| ~paolo~ |
Originally posted by luna
scusate ragazzi voi l'esercizio 5 a pag 38 di logica l'avete risolto?ho visto nell'area filez quello postato da Barone e anche a me viene incompleto,senza assiomi!risulta anche a voi cosi'??:)
l'esercizio 5 a pag 38 mi è uscito... anzi chiedo a qlcn se ha visto il testo dell'esercizio 15 pag 39.. mi sembra incompleto o sbaglio?
grazie
Ciao |
| GinoPilotino |
Originally posted by papousek
....MI APPELLO UFFICIALMENTE ALLA CLEMENZA DI QUALCUNO CHE SAPPIA FARE GLI ESERCIZI DI LOGICA....
....nn riesco a svolgere vari (diciamo quasi tutti) gli esercizi....
...qualche anima buona è in grado di postare l esercizio 6 di pag 38???:( :(
grazie....
ps..sembra facile come esercizio...ma nn capisco mai come muovermi all inizio.....
visto che sei anche tu un sostenitore del movimento "che c***o serve logica" ho deciso di darti una mano :D
a questo link dell'area file http://www.dsy.it/forum/showthread....4937#post244937 trovi un paio di esercizi, tra cui il 6, scansionati dal mio quaderno ;) |
| Flavia |
Papousek!ti avevo scritto un pm chiedendoti se ti serviva aiuto ma non mi avevi neppure risposto!
:evil:
comunque, rispondo alla domanda di angelo: i verbi passivi possono essere trattati come predicati nominali.
Io dovrei postare tutti gli esercizi di Ghilardi corretti e giusti, ma non va lo scanner!! :oops: |
| Dodo |
| se vuoi li posso scannerizzare io :D |
| luna |
| fare delle foto con la digitale agli esercizi dal quaderno?:D |
| papousek |
Originally posted by Flavia
Papousek!ti avevo scritto un pm chiedendoti se ti serviva aiuto ma non mi avevi neppure risposto!
:evil:
comunque, rispondo alla domanda di angelo: i verbi passivi possono essere trattati come predicati nominali.
Io dovrei postare tutti gli esercizi di Ghilardi corretti e giusti, ma non va lo scanner!! :oops:
vero....scusa...me ne sono dimenticato...siccome ricevo innumerevoli pm dalle mie famose ammiratrici..me ne ero completamente domenticato...cmq..l invito è ancora valido??? |
| mayetta |
ho postato nell'area filez la mia soluzione al tema "Antonio legge un libro che Maria detesta". non so perché ma i gif non si aprono... dovete scaricarveli!
ditemi se vi sembra giusto l'esercizio!!! :ciao: |
|
|
|
|
