.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Esercizi]Svolgimento (http://www.dsy.it/forum/showthread.php?threadid=14447)

[Esercizi]Svolgimento

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

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?!?!!??!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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!!

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

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!!

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog

Vedo che tutti si stanno impegnando a fare i compiti!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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

mi associo a dilix...

Re: [Esercizi]Svolgimento

Originally posted by joker402
2. nessun modello (ma forse ho copiato male qualche pezzo di testo)

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!)

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

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)

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ì?

Ho postato nella sezione filez le mie soluzioni agli es sui modelli..date un occhio please..

http://www.dsy.it/forum/showthread.php?threadid=14645

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"

è un bel quesito questo..chi sa rispondere ?

__________________
Se stai cercando due ragazzi che possano allietare il tuo matrimonio, festa di laurea, festa privata o qualsiasi cosa tu abbia in mente con del divertente karaoke e pianobar con musica dal vivo di tutti i generi, anni 60 e dei nostri giorni.. italiana e straniera..allora non esitare a contattarci, anche solo per curiosità.
Grazie per l'attenzione

Esempio: p<->q e' come scrivere (P->Q) ^ (Q->P).
I risultati delle tavole di verita' sono: T,F,F,T

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"

edit: rider mi hai anticipato

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

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

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

__________________
Break Out

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!!!

Originally posted by Barone
joker dai un occhio ai miei es...

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

cacchio a fare sti esercizi mi vanno insieme gli occhi..domani mattina li riguardo...

Ho postato nell'area filez gli esercizi sulle k-dimostrazioni!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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.... probabilmente non si capirà niente

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

mi correggo da sola... le variabili sono termini

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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!)

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Anche io lo penso, ma non ne ero sicura...

se sostituisco l'esercizio esce

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

per caso qualche anima generosa può postare nei filez l'esercizio svolto?

Ci provo...scriverlo è complicato...posto solo il primo però, quello il cui grado di diffcolotà sarà simile a quello del compito...


Non c'è la A e la E rovesciate!
Clicca qua!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

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

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

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Ok! allora ho sbagliato qualcosa!

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

Qual è la regola per il predicato nominale?

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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.

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.

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

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

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

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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!

mmm, flavia, qunado scrivi "qualsiasi x etc" significa che davanti alla x nono ci va nè l'esiste nè il per ogni???!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Per ogni=qualsiasi= A rovesciata!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

ah,certo! grazie!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11?

Originally posted by Alis
Come vi sono venuti gli esercizi che ha dato mercoledi scorso 17/11?

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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.

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

si l'ho fatto!
Come faccio a spiegartelo qua così?

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
si l'ho fatto!
Come faccio a spiegartelo qua così?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

miiiiiiiiiiiitttttttttttiiiiiiiiiicaaaaaaaaaaaaa

Sostituisci sia alla x che alla y il valore a!Si può no?

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
Si può no?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

ehm... so che avete fatto già molto, ma è troppo chiedervi di spiegare il metodo di risoluzione x quest'ultimo esercizio?? plis...

stavo pensando ad un modo per postarli in serata...

Roberto

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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

__________________
--I---DaniFilth---I--

ENDLESS SACRIFICE!!!

Originally posted by marduk1983
qualcuno ke ha risolto gli es di pag 38 potrebbe postarne qualcuno con le spiegazioni dei passaggi?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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?

Originally posted by GinoPilotino
come devo procedere per risolvere?
qualcuno m'illumina?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

non ho capito
non ho che me lo puoi spiegare con un esempio?
per me non è..."logico"

risolto...futurbaggio rulez

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"

__________________
--I---DaniFilth---I--

ENDLESS SACRIFICE!!!

oggi ne risolvo un paio e ne posto uno con i commenti.
spero solo sia giusto

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

__________________
--I---DaniFilth---I--

ENDLESS SACRIFICE!!!

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

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

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
Argh Gino!!!!!!!!Stupidissima Inter!

Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione.....

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

Originally posted by m735
Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione.....

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Originally posted by m735
Qualcuno prova a fare l'esercizio numero 35 di pagina 40 delle dispense?? è una ricerca di dimostrazione.....

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

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)!!!!

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

futurbaggio, ha ragione flavia

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

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

__________________
Killer Coca-Cola

REBOC

www.nococacola.info

Originally posted by Flavia
Ahi ahi ahi futur!Se mi rispondessi su MSN quando ti scrivo ti avrei spiegato!

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Ma quando tu sostituisci la x con a, automaticamente anche f(x) diveine f(a)

Dai Futur, scherzavo!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Dopo aver discusso in aramaico con il mio amico Futurbaggio ( ),
non abbiamo ancora trovato accordo!

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!
Non va bene?

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
Dopo aver discusso in aramaico con il mio amico Futurbaggio ( ),
non abbiamo ancora trovato accordo!

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!

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!

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Perfetto Futur!!!!!!!!!!!!!
Ora siamo davvero d'accordo!!!!!!!!!!!!!!!!!


Ma guai a te se ti rivedo nel bagno delle donne...

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

scusate sono un attimo nel pallone, se ho P(x) --> Q(x) ^ S(x) quale svolgo prima? chi ha la precedenza?

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

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?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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?

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

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

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

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

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

si esatto!
fai prima and e poi implica!

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

GRAZIE

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

__________________
Break Out

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?

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???

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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

__________________
Break Out

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

Originally posted by papousek
...insomma...sono nel casino più completo...

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

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'??

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

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

__________________
Break Out

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

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

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

__________________
Break Out

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'??

__________________
msn: paolo198328@hotmail.com

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

Papousek!ti avevo scritto un pm chiedendoti se ti serviva aiuto ma non mi avevi neppure risposto!


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!!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

se vuoi li posso scannerizzare io

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

fare delle foto con la digitale agli esercizi dal quaderno?

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Originally posted by Flavia
Papousek!ti avevo scritto un pm chiedendoti se ti serviva aiuto ma non mi avevi neppure risposto!


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!!

__________________
Break Out

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!!!

Originally posted by GinoPilotino
visto che sei anche tu un sostenitore del movimento "che c***o serve logica" ho deciso di darti una mano
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

__________________
Break Out

Originally posted by 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!!!

Originally posted by mayetta
nessuno sa dirmi se l'esercizio è giusto???

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

a me si

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

Originally posted by Flavia
Non si aprono i file!

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

a me li apre anches enza scaricare

firefox

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

Originally posted by GinoPilotino
visto che sei anche tu un sostenitore del movimento "che c***o serve logica" ho deciso di darti una mano
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

__________________
Break Out

perchè devi eseguire prima quello che lega di meno, e dato che l'or è quello che lega di più (se dico cazzate uccidetemi pure ), devi partire dall'implica

l'esercizio 3 a pag 38 come m'ha fatto notare dodo è sbagliato. o meglio, ho fatto un errore di distrazione nell'applicazione dell'Esiste. A sinistra non si ripete e si gestisce una nuova variabile mentre a destra si ripete e si usa una vecchia variabile.
tenetene conto, è un semplice errore di distrazione ma l'esercizio si chiude lo stesso
(ma è un caso)

Off-Topic:
Luna!Il tuo nuovo avatr mi fa impazzire!!!!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by 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!!!

Originally posted by GinoPilotino
l'esercizio 3 a pag 38 come m'ha fatto notare dodo è sbagliato. o meglio, ho fatto un errore di distrazione nell'applicazione dell'Esiste. A sinistra non si ripete e si gestisce una nuova variabile mentre a destra si ripete e si usa una vecchia variabile.
tenetene conto, è un semplice errore di distrazione ma l'esercizio si chiude lo stesso
(ma è un caso)

__________________
Break Out

FATTO!

MI RACCOMANDO, LEGGETE ANCHE I COMMENTI CHE HO LASCIATO!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
FATTO!

MI RACCOMANDO, LEGGETE ANCHE I COMMENTI CHE HO LASCIATO!

__________________
Break Out

Originally posted by Flavia
FATTO!

MI RACCOMANDO, LEGGETE ANCHE I COMMENTI CHE HO LASCIATO!

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Originally posted by papousek
mamma mia..ma quanti sono???

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
FATTO!

MI RACCOMANDO, LEGGETE ANCHE I COMMENTI CHE HO LASCIATO!

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

Originally posted by Dodo
mille grazie Flavia

ah ragazzi inizio a raccogliere i fondi per la costruzione della statua di Flavia in Comelico... chi vuole collaborare

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

grandissima flaviaaaaaaaaaaa...se mai riuscirò a passare l'esame (eventualità molto remota) lo dovrò solo a te!

domanda scema ma non banale; se abbiamo
A v B v C
nella ricerca delle dimostrazioni, teoricamente questo non si dovrebbe leggere
A v (B v C) ?
quindi uno non dovrebbe risolvere prima il primo v?

Originally posted by GinoPilotino
domanda scema ma non banale; se abbiamo
A v B v C
nella ricerca delle dimostrazioni, teoricamente questo non si dovrebbe leggere
A v (B v C) ?
quindi uno non dovrebbe risolvere prima il primo v?

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Dubbio atroce!:
se in un sequente ho, alla SINISTRA :

esistex esistey(Q(g(x)^Q(y,g(x)))

se sostituisco prima la x con una variab nuova tipo a, poi posso mettere in y la variabile g(a) ???

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

ops...ho sbagliato a scrivere
era:
esistex esistey(Q(g(x), y)^Q(y,g(x)))

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Originally posted by futurbaggio
L'ordine nn cambia anche se lo svolgi come (A v B) v C... proprietà associativa!

Roberto

ragazzi mi sono appena messo a fare gli ex...

domanda da pivello:

quale è la priorità di calcolo nei sequenti??
cioè se io ho un sequente con ESISTE - PEROGNI - IMPLICA - NOT - AND - OR ... cosa vado a svolgere per prima??

mamma se sono indietro....
grazie...






-MJ-

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

Da un commento di Flavia nell'area Filez:
<<PROMEMORIA 2: il determinante "un" all'interno di un "se..allora" va interprteato come un "tutti">>

Flavia, l'hai postato in relazione alla frase "Se mi regali una penna nuova, la uso".
A me nn convince molto il fatto che "una penna nuova" sia sinonimo di "tutte le penne nuove", anche perchè logicamente nn aspetto che me le si compri tutte affinchè le usi...
Illuminami, anche perchè magari questo promemoria te l'ha segnalato Ghilardi.

Roberto

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Originally posted by MamboJambo#24
quale è la priorità di calcolo nei sequenti??
cioè se io ho un sequente con ESISTE - PEROGNI - IMPLICA - NOT - AND - OR ... cosa vado a svolgere per prima??

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Originally posted by futurbaggio
Da un commento di Flavia nell'area Filez:
<<PROMEMORIA 2: il determinante "un" all'interno di un "se..allora" va interprteato come un "tutti">>

Flavia, l'hai postato in relazione alla frase "Se mi regali una penna nuova, la uso".
A me nn convince molto il fatto che "una penna nuova" sia sinonimo di "tutte le penne nuove", anche perchè logicamente nn aspetto che me le si compri tutte affinchè le usi...
Illuminami, anche perchè magari questo promemoria te l'ha segnalato Ghilardi.

Roberto

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

Originally posted by angelko
io penso che si intenda come: qualsiasi penna nuova mi regali, la uso, quindi P incluso in Q.

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Nello svolgimento dell'esercizio 11 di Flavia mi sembra che il SN "ogni città che incontra" sia stato sollevato troppo prima... ne risulta che l'albero è un po' sballato, come anche l'interpretazione finale nella logica del primo ordine.
Qualcuno l'ha fatto diversamente da Flavia?

Roberto
PS Flavia, domani mattina confrontiamo...

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Originally posted by futurbaggio
Nello svolgimento dell'esercizio 11 di Flavia mi sembra che il SN "ogni città che incontra" sia stato sollevato troppo prima... ne risulta che l'albero è un po' sballato, come anche l'interpretazione finale nella logica del primo ordine.
Qualcuno l'ha fatto diversamente da Flavia?

Roberto
PS Flavia, domani mattina confrontiamo...

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

l'ho fatto e mi risulta diversamente......(cmq flavia nei suoi PROMEMORIA lo aveva scritto che c'erano alcuni errorini di sollevamento in quell esercizio)......
cmq la mia soluzione è:

viaggiare(Antonio) IMPLICA PEROGNIy(incontrare(Antonio y) AND città (y) IMPLICA visitare(Antonio y))

cosi anche per te?

Originally posted by angelko
si hai ragione!
ma infatti flavia l'aveva detto che lo postava lo stesso nonostante gli errori!

io l'ho fatto in modo diverso, ho sollevato su tutto Antonio e poi all'interno del secondo enunciato "ogni città che incontra" e mi esce cosi:

viaggiare(Antonio) --> PEROGNIy((città(y) AND incontra(Antonio,y)) --> visitare (Antonio, y))

bella!

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"

Originally posted by angelko
bella!

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Allora!
Si futur:
1. Un determinante "un" all'interno di un "se..allora" va letto come "tutti". Nella frase della penna, è come dire: Qualsiasi penna che mi regali, io la uso! Tranquilli, l'ha detto Ghilardi a ricevimento!

2. Le frase con Antonio che viaggia è giusta come ha detto boban!
Antonio va sollevato su tutto perchè compare in tutte e due le frasi, ogni città che incontra solo all'interno del secondo enunicato!!!!!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

flavietta, perchè nella frase: "se compro una piantina di Milano non mi perdo" non hai analizzato il "non"?
io ho analizzato l'albero come te, solo che dove fai E c E, il secondo E l'ho diramato prima in "non" ed un E, e poi la E l'ho svolta come hai fatto tu in SN e SV.

Ma l'ho fatto Gino!
Guarda bene!
Solo che il non l'ho inserito prima del verbo!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

ma quello pensavo fosse uno scarabocchio
cmq sollevarlo prima è più professionaleeeeeeeeeee

Beh dipende..io per non correre rischi lo sollevo nel punto della frase dove lo trovo..perchè a volte pottrebbe cambiare il siginificato!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

ragazzziii piccola domanduccia!avete svolto l'esercizio 27 a pagina 39 di logica?è un po' complicato!!qualcuno l'ha fatto??

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Lo faccio e domani te lo porto!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Originally posted by Flavia
Lo faccio e domani te lo porto!

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

vale lo stesso per me...esercizio 9 pag. 38...sono arrivato in un ramo con 3 variabili diverse....

...conto su di te flavia!!!!

__________________
Break Out

Originally posted by papousek
vale lo stesso per me...esercizio 9 pag. 38...sono arrivato in un ramo con 3 variabili diverse....

...conto su di te flavia!!!!

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Dovrebbe essere giusto!!!!Brava Luna!!
Papuok! Ma chi sei??????

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

MA E POSSIBILE CHE IN UNA RICERCA DI DIMOSTRAZIONI IN UN RAMO IO NN TROVI L ASSIOMA???

perche nell esercizio 13 di pag 39 nn mi si chiude l 2 ramo...

flavia aiuto ti prego...sto davvero per spaccare tutto....

__________________
Break Out

ESERCIZIO 13:

a) Svolgi il quantificatore esistenziale a destra:
V x ( Q(x) --> E z P (z)) ==> E y ( Q(y) --> P(y)), Q(a) --> P(a)

b) Scomponi l'implica di destra Q(a) --> P(a):
V x ( Q(x) --> E z P (z)), Q(a) ==> E y ( Q(y) --> P(y)), P(a)

c)Instanzi il quantificatore universale a sinistra con il termine a già usato:
V x ( Q(x) --> E z P (z)), Q(a), Q(a) --> E z P (z), ==> E y ( Q(y) --> P(y)), P(a)

d)Dividi in due rami: nel primo Q(a) va a destra, nel secondo
E z P (z) a sinistra:

PRIMO RAMO: assioma con Q(a) a sinistra e a destra!
SECONDO RAMO:
V x ( Q(x) --> E z P (z)), Q(a), E z P (z), ==> E y ( Q(y) --> P(y)), P(a)

Svolgi il quantificatore E z P (z):
V x ( Q(x) --> E z P (z)), Q(a), P(b) ==> E y ( Q(y) --> P(y)), P(a)

Dato che prevedi che ti servirà una P(b), instanzio E y ( Q(y) --> P(y) sulla b!
V x ( Q(x) --> E z P (z)), Q(a), P(b) ==> E y ( Q(y) --> P(y)), P(a), Q(b) --> P(b)

Ora svolgo l'implica:
V x ( Q(x) --> E z P (z)), Q(a), P(b), Q(b) ==> E y ( Q(y) --> P(y)), P(a), P(b) che è un assioma con P(b)

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Io ho svolto gli esercizi sui modelli che la Prof. ci ha dato questa mattina e mi vengono cosi`:

A1) M1: v(p)=v(s)=V, v(q)=F
M2: v(p)=V, v(q)=v(s)=F
M3: v(p)=v(s)=F, v(q)=V
M4: v(p)=v(q)=v(s)=F

A2) M1: v(p)=V, v(q)=v(s)=F
M2: v(p)=v(s)=F, v(q)=V

In partcolare non e` conseguenza logica e il contromodello e` v(p)=V, v(q)=v(s)=F


B1) M1: v(p)=v(s)=v(q)=V
M2: v(p)=v(q)=V, v(s)=F
M3: v(p)=v(s)=V, v(q)=F
M4: v(p)=V, v(s)=v(q)=F
M5: v(p)=v(q)=F, v(s)=V
M6: v(p)=v(q)=v(s)=F

B2) M1: v(p)=v(s)=v(q)=V
M2: v(p)=v(q)=V, v(s)=F
M3: v(p)=V, v(s)=v(q)=F

Si` e` una conseguenza logica

C) Non risultano modelli in comune tra C1) e C2) quindi C3) e` conseguenza logica



Spero siano giusti...

Aspetto commenti, smentite....

ciaooooo