Mar 16 Luglio, 00:40:26 - 2019

Autore Topic: DUBBIO LSF  (Letto 1715 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline anubi

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +4/-2
  • MASTRO... sei sempre il numero 1!!!
    • Mostra profilo
DUBBIO LSF
« il: Mer 28 Novembre, 12:26:08 - 2007 »
ragazzi volevo farvi una domanda, forse stupida...

nella logica del primo ordine(parlo dei tableau), io so dire qualcosa sulla formula, solo se il tableau di \neg\psi(ad esempio) chiude .

ma quando L'ESAME parla della soddisfacibilita' della formula, come faccio a vederla???

io ho provato a fare come nella logica proposizionale, ovvero a fare il tableau della formula senza negarla, ma facendo cosi' il tableau nn mi chiude mai...

CONFIDO NELLA VOSTRA SAPIENZA... GRAZIE!!!
Aoh... E quanno ce vo', ce vo'!!!

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #1 il: Mer 28 Novembre, 12:47:08 - 2007 »
In effetti se non chiude è soddisfacibile.
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline anubi

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +4/-2
  • MASTRO... sei sempre il numero 1!!!
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #2 il: Mer 28 Novembre, 16:14:25 - 2007 »
e se invece chiude???

Allora, si deve ragionare su queste 2 ipotesi (per quanto riguarda la logica del primo ordine):

se \neg\psi chiude    -------->    \psi   è tautologia (è vera per tutti i modelli)
se \neg\psi nn chiude  ------>    nn possiamo dire nulla     

Per vedere se \psi è soddisfacibile dovremmo esibire un modello ke soddisfa la formula.

quello ke tu mi dicevi vale SOLO per i tableau proposizionali!!!

CORREGGIMI SE SBAGLIO....
Ciao grazie
Aoh... E quanno ce vo', ce vo'!!!

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #3 il: Mer 28 Novembre, 17:45:52 - 2007 »
Avete provato a leggere a pag 212 del libro? Dovrebbe spiegare quando possiamo dire che un tableaux del primo ordine è soddisfacibile... ma non è per niente chiaro. Da quello che ho capito dice che bisogna fare delle assegnazioni che vadano bene per ogni ramo...  ??? ??? ??? Però negli esempi fatti in classe bastava che soddisfasse un unico ramo... Domani chiediamo bene
« Ultima modifica: Mer 28 Novembre, 18:03:26 - 2007 da Rattilus »
Amministratore di Soloingegneria
Se tu hai una mela, e io ho una mela, e ce le scambiamo, allora tu ed io abbiamo sempre una mela per uno. Ma se tu hai un'idea, ed io ho un'idea, e ce le scambiamo, allora abbiamo entrambi due idee.

Offline anubi

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +4/-2
  • MASTRO... sei sempre il numero 1!!!
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #4 il: Mer 28 Novembre, 18:39:31 - 2007 »
INFATTI...
IO NN C'HO CAPITO PROPRIO NIENTE DI COSA DICE IL LIBRO...
...ED HO CHIESTO A VOI...

CMQ SIA, SE SI RIUSCIVA A CAPIRE QUALCOSA... NN SI TRATTAVA DI LSF...
Aoh... E quanno ce vo', ce vo'!!!

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #5 il: Mer 28 Novembre, 18:56:49 - 2007 »
sbagli. Se è soddisfacibile il suo tableaux non chiude. ATTENTO IL TABLEAUX ORIGINALE non quello della negata, questo vale sia per i tableux proposizionali che non, perchè se tu riesci ad individuare la tautologia significa che riesci ad individuare una contraddizione, visto che il tableaux dell'originale non chiude allora significa che essa non è una contraddizione. Non sono sicuro perchè il libro non l'ho aperto e mi scoccio di aprirlo, per stessa ammissione della prof è pieno di errori a saperlo me li risparmiavo quei 20 euro.... però penso che la mia conclusione sia logica.
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline anubi

  • Neo-Laureato
  • **
  • Post: 54
  • FeedBack: +4/-2
  • MASTRO... sei sempre il numero 1!!!
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #6 il: Mer 28 Novembre, 19:15:14 - 2007 »
Proprio appunto perche' nn e' una contraddizione nn sappiamo cosa sia (se soddisfacibile o non).
mi spiego meglio: noi sappiamo qualcosa della formula solo se il tableau della negata chiude
(da quello ke ho capito).

Io ho capito cosa voui dirmi tu: nel senso ke se nn e' una contraddizione, per forza ci deve essere almeno un modello ke la soddisfa.

E con questo sono con te, ma se per puro caso (tanto oramai andiamo tutti per intuizione), la formula originale chiude????
Aoh... E quanno ce vo', ce vo'!!!

Offline otacon7b

  • Direttore di Dipartimento
  • ***
  • Post: 1218
  • FeedBack: +55/-723
  • -.-
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #7 il: Mer 28 Novembre, 19:17:39 - 2007 »
allora è una contraddizione. perchè non esistono modelli che la soddisfano.
http://www.youtube.com/watch?v=oD0p7a3pPFQ
"Il signor Medvedev mi ha sorriso e mi ha detto di portargli le ostriche e lo champagne. Poi ha autografato il menu per mio figlio che quando sarà grande se lo ritroverà e potrà andarne fiero. È un russo molto potente, vero?" Tino Ruta, oste del Bistrot de l'Abbe di Cervinia (Ap Com, 25 luglio)

Offline defrenz

  • Direttore di Dipartimento
  • ***
  • Post: 1346
  • FeedBack: +35/-82
    • Mostra profilo
Re: DUBBIO LSF
« Risposta #8 il: Mer 28 Novembre, 22:59:08 - 2007 »
soddisfacibile = soddisfacibile non tautologia    O    tautologia.

quando chiede solo se è soddisfacibile, basta controllare che nn sia contraddizione ;D