.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- ??? Secondo compitino ??? (http://www.dsy.it/forum/showthread.php?threadid=38323)

 
Allora anch'io ci ho messo un po a capire ma alla fine ci sono arrivato.

il tutto è spiegato a pag 25 prima degli esercizi.

c'è scritto che quando trovi una cosa del tipo A1, A2, ..... , An => B1, B2, .... , Bm

a sx del => devi sostituire le virgole con AND ( /\ ) mentre a dx del => devi sostituire le virgole con OR ( V ) e invece del simbolo => metti il simbolo di implicazione -->

poi ci sono i 2 casi particolari:

1)
    a sx non hai termini e quindi hai una cosa del tipo => B1, B2, ..... , Bm

    in questo caso togli il => e sostituisci le virgole con OR

2)
    a dx non hai termini e hai una cosa del tipo: A1, A2, ..... , An =>
    in questo caso togli il => e sostituisci le virgole con AND e neghi il tutto ossia: not (A1 /\ A2 /\ ..... /\ An)

spero di essere stato chiaro.

cmq che ne dite di mettere qualche soluzione??

e confrontare i risultati?

ciao


ds

__________________
by Ð@rk§h@ÐØw

qualcuno sa dirmi cosa avviene nel passaggio che ho evidenziato nell'allegato???(rettangolo rosso)

non riesco a capire da dove spuntano fuori quei due elementi, perchè applicando l'espansione "perOgni" non dovrebbero comparire quei termini

ne posto un altro simile...di + facile comprensione

il mio preblema è sempre quello....mi ritrovo un termine che non so da dove spunta

help me!!!

quando torno a casa li guardo

ora sono al lavoro.

ciao.

__________________
by Ð@rk§h@ÐØw

ok grazie mille, anke perkè c'è solo quel punto che mi blocca

mi sa che sono riuscito a risolvere...grazie lo stesso

ho un dubbio sull'esercizio 2 di pag 25

facendo il tutto ottengo:

PerOgni x PerOgni y( R(x, y) V R(y, x)), Esiste x PerOgni y ⌐R(x, y)

applico la regola per l'operatore esistenziale con un nuovo termine a

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y)

a questo punto ciò che mi chiedo è: posso applicare la regola per il quantificatore universale con il termine 'vecchio' a??

cioè fare:

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y), ⌐R(a, a) ??

e poi eventualmente usare sempre a per applicare la regola su PerOgni x PerOgni y( R(x, y) V R(y, x)) visto che a è un termine 'vecchio'.. ovviamente dopo che l'ho applicato su tale formula non lo applico + li ma dovro eventualmente introdurre un nuovo termine.


non so se mi sono spiegato...

ciao

__________________
by Ð@rk§h@ÐØw

secondo me bisogna usare un termine nuovo 'b', altrimenti non avrebbe senso la scrittura R(x,y) e R(y,x)...diventerebbero uguali....poi non so

Si può usare sempre lo stesso termine,è così con il quantificatore universale

poco fa sono stato dal prof e mi ha detto che posso riuttilizzare a.

__________________
by Ð@rk§h@ÐØw

però nella formula PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y) non hai un termine singolo, cioè non hai ⌐R(a, y)....quindi su quale letterale ti basi?

cmq ho notato ke se non si fa come dici tu, cioè riapplicare il quantificatore universale su "a", c'è un ramo che non termina....
però continuo a non capire come lo riapplichi

Originally posted by niko_2307
però nella formula PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y) non hai un termine singolo, cioè non hai ⌐R(a, y)....quindi su quale letterale ti basi?

__________________
by Ð@rk§h@ÐØw

si questo mi è kiaro...il mio dubbio sta nel fatto che fai: allora a lo introdotto perchè c'era il Esiste e cosi ottengo:

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y)

a questo punto uso a in PerOgni y ⌐R(a, y) che diventa:

PerOgni y ⌐R(a, a)

e riutilizzi la "a" che è stata creata con ESISTE, ma tale è adesso sta dentro una sottoforuma di perOgni e non in una formula singola....non so se mi sono fatto capire

ragazzi sapete darmi delle info sul terzo compitino??
Il prof ha detto qualcosa ieri, ma sinceramente non sono stato molto attento

e sopratutto...sapete dirmi dove studiare, dato che non ho trovato delle dispense sul sito.???

grazie