.dsy:it. Pages (5): « 1 2 3 4 [5]
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- Ricapitolando Compitino (http://www.dsy.it/forum/showthread.php?threadid=22904)


Posted by m@cCo on 27-11-2005 16:28:

E allora che regola è?


Posted by sammino on 27-11-2005 16:35:

"che regola è" COSA ?


Posted by m@cCo on 27-11-2005 17:13:

Se il Vx richiede una costante già esistente ma quando questa non è presente possiamo inventarne una da utilizzare a piacimento, che regola è?


Posted by hoffman on 27-11-2005 20:29:

nell'esempio di c3ru non viene modificata la prima delle due variabili poiche fuori c'è esiste x e lui infatti cambia quella con x e lascia invariata la prima poiche è esiste y, variabile sulla quale non ha valore il perogni x....

__________________
There is no higher religion than truth


Posted by sammino on 27-11-2005 21:05:

Originally posted by hoffman
nell'esempio di c3ru non viene modificata la prima delle due variabili poiche fuori c'è esiste x e lui infatti cambia quella con x e lascia invariata la prima poiche è esiste y, variabile sulla quale non ha valore il perogni x....


fuori non c'è esiste x ma per ogni x ? cosa intendi dire, non capisco


Posted by hoffman on 27-11-2005 21:22:

si scusa, perogni x, che appunto agisce solo sul secondo termine, all'interno della parentesi che è legato a x, nel primo c'è y e quindi su di lui non agisce il perogni x esterno , quindi lo lascia invariato.

__________________
There is no higher religion than truth


Posted by sammino on 27-11-2005 21:30:

Originally posted by hoffman
si scusa, perogni x, che appunto agisce solo sul secondo termine, all'interno della parentesi che è legato a x, nel primo c'è y e quindi su di lui non agisce il perogni x esterno , quindi lo lascia invariato.


...adesso è tutto più chiaro...non riuscivo a trovare una spiegazione...

Grazie !


Posted by hoffman on 27-11-2005 21:39:

de nada

:-)

__________________
There is no higher religion than truth


Posted by afroman on 28-11-2005 10:01:

mi dite ora e luogo del compitino di domani?


Posted by afroman on 28-11-2005 10:09:

teoria nn c'e' nel compitino?


Posted by sammino on 28-11-2005 10:24:

Originally posted by afroman
mi dite ora e luogo del compitino di domani?


La prima prova parziale si svolgerà MARTEDÌ 29 NOVEMBRE, h. 10.30, aula V1, via Venezian 15. Gli studenti di Ingegneria del software saranno ammessi alle 11.30 purché consegnino una dichiarazione firmata dal docente che attesti la partecipazione alla prova parziale del corso suddetto.
Per sostenere la prova è necessario iscriversi inviando un messaggio di posta elettronica all'indirizzo bucalo@dsi.unimi.it
L'oggetto del messaggio deve contenere esclusivamente

fdl iscrizione

Il messaggio deve contenere esclusivamente

COGNOME NOME MATRICOLA

messaggi inviati con modalità diverse da quelle indicate non saranno considerati utili per l'iscrizione.
Si ricorda che è necessario presentarsi muniti del tesserino universitario o di un documento d'identità.


Posted by Pupino on 28-11-2005 10:46:

La Enrica un giorno ci ha fatto fare un esercizio del genere:

A, B contraddizione

i) A implica B è contraddizione
ii) A or B è soddisfacibile
iii) not B or A è tautologia


A parte il fatto che non capisco cosa voglia dire A, B. Vuol dire che sia A che B sono negative?
E poi.. in questo caso cosa vuol dire soddifacibile? Dato che una formula per essere soddisfacibile deve avere almeno un V, in questo caso dato che la risposta è unica non sarebbe identico dire è tautologia?

Grazie miiiiiiiiiiiiiiiiiiiiiiiiiiiiiiillllllllllllllllle
eeeeeeeee

__________________

PUPINO'S VIDEO
:asd:
FRANK JAY
:!:

UN BLOG :look:


Posted by Voodoo on 28-11-2005 19:17:

Originally posted by Pupino
La Enrica un giorno ci ha fatto fare un esercizio del genere:

A, B contraddizione

i) A implica B è contraddizione
ii) A or B è soddisfacibile
iii) not B or A è tautologia


A parte il fatto che non capisco cosa voglia dire A, B. Vuol dire che sia A che B sono negative?
E poi.. in questo caso cosa vuol dire soddifacibile? Dato che una formula per essere soddisfacibile deve avere almeno un V, in questo caso dato che la risposta è unica non sarebbe identico dire è tautologia?

Grazie miiiiiiiiiiiiiiiiiiiiiiiiiiiiiiillllllllllllllllle
eeeeeeeee


Osservando le risposte che ha dato in classe,intendeva dire che sono entrambe contraddizioni,quindi:


  1. F --> F è una tautologia,ma qui si afferma che è una contraddizione,quindi si risponde falso;
  2. F o F è soddisfacilbile: è evidente che non lo è,in quanto la formula è contraddizione;
  3. V or F dà vero,quindi complessivamente è una tautologia.


Riguardo al secondo quesito,rispondo che una tautologia è necessariamente una formula soddisfacibile,ma non è vero il contrario. Per questo che lei può chiederti così,per trarti in inganno ;)

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS :ciao:


All times are GMT. The time now is 12:37. Pages (5): « 1 2 3 4 [5]
Show all 73 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.