Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
 Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 Magistrale - Primo Anno
 Metodi formali dell'Informatica
 Esercizio tableaux		  Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
I seguenti utenti stanno leggendo questo Forum Qui c'è:
Autore Discussione Precedente Discussione Discussione Successiva  

vampire
Utente medio

0425_da_Leo

Città: Bari
Inserito il - 10/09/2009 : 23:16:21  Mostra Profilo  Visita l'Homepage di vampire Invia a vampire un Messaggio Privato  Rispondi Quotando
Ragazzi come mai in questo esercizio, dove c'è il cerchio rosso,

[URL=http://img25.imageshack.us/i/tableaurg.jpg/][/URL]


NOT R si divide in due percorsi che sono Q e NOT P?

e come mai dopo,

Q si divide in due percorsi che sono [Q->R] e NOT P?

poi perchè vicino ad alcune formule c'è la spunta?

Grazie..

oldboy
Utente medio
Inserito il - 11/09/2009 : 09:43:51  Mostra Profilo  Visita l'Homepage di oldboy Invia a oldboy un Messaggio Privato  Rispondi Quotando

Non è not(R) che si divide in 2 percorsi, ma è perchè è stata applicata una regola dei tableau (anche tenendo presenti le formule precedenti) che fanno dividere in 2 il cammino......hai presente il principio di risoluzione?
Torna all'inizio della Pagina

vampire
Utente medio

0425_da_Leo

Città: Bari
Inserito il - 11/09/2009 : 10:17:19  Mostra Profilo  Visita l'Homepage di vampire Invia a vampire un Messaggio Privato  Rispondi Quotando
quindi la regola dei tableau è stata applicata a [P->Q] o mi sbaglio?
Torna all'inizio della Pagina

Mauro84
Utente medio

Mauro


Regione: Puglia
Prov.: Bari
Inserito il - 11/09/2009 : 10:23:47  Mostra Profilo  Visita l'Homepage di Mauro84 Invia a Mauro84 un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da vampire

quindi la regola dei tableau è stata applicata a [P->Q] o mi sbaglio?


SI
Torna all'inizio della Pagina

rel
Utente assiduo

aa
Inserito il - 11/09/2009 : 10:30:36  Mostra Profilo  Visita l'Homepage di rel Invia a rel un Messaggio Privato  Rispondi Quotando
la spunta vicino alle formule la metti tu quando hai finito di risolvere quella singola formula (se non ricordo male)
Torna all'inizio della Pagina

Mauro84
Utente medio

Mauro


Regione: Puglia
Prov.: Bari
Inserito il - 11/09/2009 : 10:51:33  Mostra Profilo  Visita l'Homepage di Mauro84 Invia a Mauro84 un Messaggio Privato  Rispondi Quotando
Citazione:
Messaggio inserito da rel

la spunta vicino alle formule la metti tu quando hai finito di risolvere quella singola formula (se non ricordo male)

VERO
Torna all'inizio della Pagina
  Discussione Precedente Discussione Discussione Successiva  
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
Vai a:
Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,16 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000