Dsy Network>  www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > contromodello
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
SanJuanWolf89
.consigliere.

User info:
Registered: Jun 2010
Posts: 100 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 7:05:10 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 contromodello

qualcuno sa spiegarmi come si calcola un contromodello???passo x passo xkproprio non c capisco niente
14-09-2011 16:06
Click Here to See the Profile for SanJuanWolf89 Click here to Send SanJuanWolf89 a Private Message Find more posts by SanJuanWolf89 Add SanJuanWolf89 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
st1v
.amico.

User info:
Registered: Feb 2010
Posts: 22 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 14:32:28 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Se non sbaglio devi fare gli stessi calcoli che fai nella ricerca del modello (tableau), ma cercare di arrivare ad un nodo che non contiene contraddizioni e solo formule atomiche, oltre (eventualmente) al quantificatore universale già istanziato con tutti i termini ground che compaiono nel ramo.
15-09-2011 16:49
Click Here to See the Profile for st1v Click here to Send st1v a Private Message Find more posts by st1v Add st1v to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 07:50.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts 		HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.028 seconds (79.14% PHP - 20.86% MySQL) con 26 query.