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

??? Secondo compitino ???

salve a tutti....qualkuno per caso sa quando si svolgerà la seconda prova di logica??
e sopratutto...dove posso trovare dei temi d'esame di quest'ultima???
sul sito ci stanno soltanto quelle inerenti al primo compitino e al terzo


grazie a tutti

il secondo compitino è il 25 maggio..
x il terzo stiamo decidendo la data. le date probabili sono: 10 giugno o 15 giugno.

grazie mille...io mi sarei preparato per l'11 maggio

ps. sai se gli argometi trattati saranno quelli della dispensa "introduzione alla logica matematica"??

gli argomenti del secondo compitino sono tutta la dispensa di "introduzione alla logica elementare" (praticamente quella cn il calcolo dei tableaux). Mentre il terzo è prolog.

non è ke mi sapresti dire come si traduce la freccia "=>" degli esercizi ke stanno nelle dispense (pag 25) ???

leggo e rileggo la spiegazione ma non riesco a capire XD

sai ke sinceramente nn saprei dirti! nn l'avevo mai visto a lezione =>. lunedi chiederò cosa significa

ok..grazie mille....allora aspetto una tua risposta

al max se ho ulteriori dubbi tornerò a disturbarti

 

scusate ma bisogna sapere tutte le definizioni e dimostrazioni oppure come nel primo ciìompito basta saper applicare i concetti??

perchè questa volta sono davvero una mazzata le definizioni/dimostrazioni!!!

__________________
by Ð@rk§h@ÐØw

io spero di no...altrimenti sarà dura passare

 
non è che per caso qualcuno che sta frequentando può postare i suoi appunti?? sarebbero molto utili x chi non frequenta il corso (motivo: lavoro).

__________________
by Ð@rk§h@ÐØw

la prof bucalo lunedi ha detto ke il secondo compitino sarà esattamente come il primo.
ci saranno dei test sui concetti/definizioni e poi ci saranno un paio d esercizi sui tableaux ossia:
1. il ragionamento in italiano da tradurre e da verificare cn il tableaux
2. direttamente la formula da verificare con il tableaux
ovviamente in tutti e due bisogna prima negare la formula, trasformarla in fnn e poi applicare le regole del tableaux.

ciao volevo chiedervi se potete spiegarmi come si risolve il tableaux o se potete postare qualche esercizio con eventuali spiegazioni. fino ad FNN riesco ad arrivarci. Xò non riesco ad andare avanti.

carla hai notizie su quel simbolo "=>"???

allora=> vul dire implica ->.
tutte le condizioni prima del => le metti con la and -> tutte le condizioni prima le metti con la or.

scusami ma non ho capito bene

nel 1° esempio che abbiamo a pag 25, ad esempio, come faccio a sostituire gli and ecc se già la formula è composta da and e -->??

 
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