.dsy:it. - [Ghilardi] esercizi logica

Pages (3): [1] 2 3 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Ghilardi] esercizi logica (http://www.dsy.it/forum/showthread.php?threadid=22656)

Posted by c3ru on 13-11-2005 14:58:

[Ghilardi] esercizi logica

qualcuno ha fatto gli esercizi di logica dati nell'ultima lezione? per intenderci quelle tre formule da controllare la dimostrabilità...
ne ho fatte due, ma la terza mi dà qualche problema

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by Pupino on 13-11-2005 21:37:

Anche tu alle sue lezioni? Che faccia hai?

Io comunque non le ho fatte.. non le ho scritte, non so di cosa parli ne tu ne lui..

__________________

PUPINO'S VIDEO
FRANK JAY :!:

UN BLOG :look:

Posted by c3ru on 14-11-2005 13:12:

dato che mi sono stati richiesti, ecco gli esercizi (scusate la scrittura):

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by c3ru on 14-11-2005 15:04:

qualche commento?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by REQUIEM on 14-11-2005 19:48:

ma cazzo sono quei fogli? lettere minatorie di al qaeda?

Posted by c3ru on 14-11-2005 23:25:

Originally posted by REQUIEM
ma cazzo sono quei fogli? lettere minatorie di al qaeda?

Off-Topic:
sono le istruzioni per gli anarchici che hanno spaccato la macchina a om4r sabato

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by lisa on 15-11-2005 15:38:

scusate...

c'è qualcuno che ha uno schema con le regole che usa x questi esercizi???

grazie 1000

Posted by c3ru on 15-11-2005 19:27:

cosa ha fatto a lezione oggi? ha fatto qualche esercizio?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by c3ru on 15-11-2005 19:30:

Originally posted by lisa
scusate...

c'è qualcuno che ha uno schema con le regole che usa x questi esercizi???

grazie 1000

devi mettere le formule in fnn ( cioè se c'è non (non A)) diventa A, ecc.)

poi (v and, ^ or, Ex esiste x)

A v B diventa A,B

A ^ B fai due rami uno con A e uno con B

Ex A(x) diventa A(k) dove k costante arbitraria

perogni x A(x) diventa perogni x A(x), A(k) dove k costante già presente nella formula

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by lisa on 16-11-2005 10:36:

sono solo queste da usare???

Posted by supernova on 16-11-2005 18:48:

ma sti esercizi in che parte delle slide di logica si possono rintracciare? Comprese le regole per risolverle.

__________________
" So I Start The Revolution From My Bed ". Noel Gallagher

Posted by lisa on 17-11-2005 10:42:

è quello che vorrei sapere anch'io

Posted by c3ru on 17-11-2005 17:05:

queste regole non sono presenti nelle slide, le dispense contengono il metodo dei sequenti ( o come diavolo si chiama) che noi non abbiamo fatto.

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita

Posted by lisa on 17-11-2005 17:40:

infatti sono le dispense dell'anno scorso....

Posted by hoffman on 17-11-2005 19:19:

REGOLE OFFICIAL X FORMA NORMALE NEGATIVA

- A-->B diventa nonA o B

- non(nonA) diventa A

- non(A o B) diventa nonA e nonB

- non(A e B) diventa nonA o nonB

- non(Esiste x di A) diventa Perogni x di non(A)

- non(Perogni x di A) diventa Esiste x di non(A)

- non(A-->B) diventa A e nonB

-----------------------------------------

- A1 e A2 si separano e si mette la virgola

- A1 o A2 si fanno i due rami

- Esiste x di A diventa A(k)...k=costante Nuova nn già presente nel ramo

-Perogni x A diventa Perogni x di , A(h)... h=costante già presente nel ramo

enjoy...

__________________
There is no higher religion than truth

All times are GMT. The time now is 20:05.

Pages (3): [1] 2 3 »
Show all 34 posts from this thread on one page