Mer 21 Agosto, 08:59:45 - 2019

Autore Topic: Appello 23 Luglio 2007  (Letto 1042 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline shark

  • Moderatori
  • Professore Ordinario
  • ****
  • Post: 991
  • FeedBack: +1040/-42
  • Andate oltre Vista, è tempo di prendere un Mac!
    • Mostra profilo
    • Andrea Giuliano
Appello 23 Luglio 2007
« il: Sab 01 Dicembre, 09:25:21 - 2007 »
ragazzi, alla domanda 2 dell'appello in oggetto
a me sia phi che psi mi escono soddisfacibili, ma io non ho sostituito (dentro a phi e psi) X ed Y con le proposizioni che ci dava... è la stessa cosa?
e se si, a cosa servono a,b,c,s che assegna ad X e Y?
per farci fare un modello?
Shark™
-------------------
Annunci immobiliari

Offline shark

  • Moderatori
  • Professore Ordinario
  • ****
  • Post: 991
  • FeedBack: +1040/-42
  • Andate oltre Vista, è tempo di prendere un Mac!
    • Mostra profilo
    • Andrea Giuliano
Re: Appello 23 Luglio 2007
« Risposta #1 il: Sab 01 Dicembre, 09:32:22 - 2007 »
inltre, al punto 4 sempre della domanda 2 per verificare per phi modella psi si deve mettere nel tableaux:
PHI AND (not(PSI))
e se questo tableaux chiude (cioè è una contraddizione) allora phi modella psi, altrimenti no.
Giusto?
Shark™
-------------------
Annunci immobiliari

Offline shark

  • Moderatori
  • Professore Ordinario
  • ****
  • Post: 991
  • FeedBack: +1040/-42
  • Andate oltre Vista, è tempo di prendere un Mac!
    • Mostra profilo
    • Andrea Giuliano
Re: Appello 23 Luglio 2007
« Risposta #2 il: Sab 01 Dicembre, 09:47:26 - 2007 »
Al punto 3:
i modelli che ho trovato sono:
M(phi1)= {a, c, d}
M(phi2) = {a, b, c, d}
M(psi1)= {a, c, d}
M(psi2) = {a, b, c, d}
Shark™
-------------------
Annunci immobiliari

Offline Rattilus

  • Direttore di Dipartimento
  • ***
  • Post: 1242
  • FeedBack: +53/-12
  • Se puoi sognarlo puoi farlo
    • Mostra profilo
Re: Appello 23 Luglio 2007
« Risposta #3 il: Sab 01 Dicembre, 10:26:30 - 2007 »
shark c'è un topic apposta per i risultati : http://solo.dis.uniroma1.it/index.php?option=com_smf&Itemid=6&topic=1059.0
Citazione
a me sia phi che psi mi escono soddisfacibili, ma io non ho sostituito (dentro a phi e psi) X ed Y con le proposizioni che ci dava... è la stessa cosa?
e se si, a cosa servono a,b,c,s che assegna ad X e Y?
Sì è la stessa cosa e ti servono per trovare un modello.

Citazione
al punto 4 sempre della domanda 2 per verificare per phi modella psi si deve mettere nel tableaux:
PHI AND (not(PSI))
No mi sa che ti sbagli... quando una formula deve soddisfare un'altra tu devi fare il tableaux per phi implica psi e vedere se è una taut.
EDIT: ripensandoci è proprio la stessa cosa! La negata dell'implica è PHI AND (not(PSI))
« Ultima modifica: Sab 01 Dicembre, 10:33:27 - 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 shark

  • Moderatori
  • Professore Ordinario
  • ****
  • Post: 991
  • FeedBack: +1040/-42
  • Andate oltre Vista, è tempo di prendere un Mac!
    • Mostra profilo
    • Andrea Giuliano
Re: Appello 23 Luglio 2007
« Risposta #4 il: Sab 01 Dicembre, 10:33:05 - 2007 »
shark c'è un topic apposta per i risultati : http://solo.dis.uniroma1.it/index.php?option=com_smf&Itemid=6&topic=1059.0 Sì è la stessa cosa e ti
il topic l'ho visto, ma dato che si potrebbe creare confusione con i numerosi svoglimenti e soluzioni, avevo pensato di aprire un topic per ogni esame in modo da poter svolgere esercizi senza creare casini
Shark™
-------------------
Annunci immobiliari