francyghisla

.non è possibile.

User info:

Registered: Nov 2003
Posts: 632 (0.08 al dì)
Location:
Corso: TICOM
Anno: Primo
Time Online: 13 Days, 10:16:55 [...]
Status: Offline

Post actions:

quelle che hai tu saranno già tradotte in logica del primo ordine

[[un]] = {λP λQ/P∩Q≠Ø} = Esiste x (P(x) e Q(x))

Pupino

- D J -

User info:

Registered: Nov 2003
Posts: 4223 (0.52 al dì)
Location: Paese dei Balocchi
Corso: Buenos aires
Anno: 2008 :)
Time Online: 27 Days, 15:16:44 [...]
Status: Offline

Post actions:

Originally posted by francyghisla
quelle che hai tu saranno già tradotte in logica del primo ordine

[[un]] = {λP λQ/P∩Q≠Ø} = Esiste x (P(x) e Q(x))

__________________

PUPINO'S VIDEO
FRANK JAY

UN BLOG

sammino

.consigliere.

User info:

Registered: Mar 2003
Posts: 106 (0.01 al dì)
Location: Verbania
Corso: Comunicazione Digitale
Anno: 3
Time Online: 1 Day, 15:17:03: [...]
Status: Offline

Post actions:

Originally posted by dilix
praticamente sotto la data del porossimo appello ke è il 24 gennaio, ci sono 2 link uno riferito ai temi d'esame, e laltro alle regole

sammino

.consigliere.

User info:

Registered: Mar 2003
Posts: 106 (0.01 al dì)
Location: Verbania
Corso: Comunicazione Digitale
Anno: 3
Time Online: 1 Day, 15:17:03: [...]
Status: Offline

Post actions:

Originally posted by sammino
ho provato a rifare l'ennesima volta l'esercizio ma è ancora diverso...ad esempio OGNI nelle regole ha (lambda P lambdaQ|ecc...) nell'esercizio ha solo (P,Q|ecc...) PERCHE ????

francyghisla

.non è possibile.

User info:

Registered: Nov 2003
Posts: 632 (0.08 al dì)
Location:
Corso: TICOM
Anno: Primo
Time Online: 13 Days, 10:16:55 [...]
Status: Offline

Post actions:

quelle che hai tu saranno già tradotte in logica del primo ordine

[[un]] = {λP λQ/P∩Q≠Ø} = Esiste x (P(x) e Q(x))


Io uso sempre quelle tradotte, sbaglio?

Golcondese

User info:

Registered: Apr 2004
Posts: 36 (0.00 al dì)
Location: Golconda
Corso:
Anno:
Time Online: 1 Day, 21:55:20 [...]
Status: Offline

Post actions:

LAMBDA P è identico a P (quindi lambda si può omettere).

sammino

.consigliere.

User info:

Registered: Mar 2003
Posts: 106 (0.01 al dì)
Location: Verbania
Corso: Comunicazione Digitale
Anno: 3
Time Online: 1 Day, 15:17:03: [...]
Status: Offline

Post actions:

Originally posted by Golcondese
LAMBDA P è identico a P (quindi lambda si può omettere).

francyghisla

.non è possibile.

User info:

Registered: Nov 2003
Posts: 632 (0.08 al dì)
Location:
Corso: TICOM
Anno: Primo
Time Online: 13 Days, 10:16:55 [...]
Status: Offline

Post actions:

non è una regola è un'abbreviazione del sistema.

Nel compito metti le lambda che vai sul sicuro

Ghilardi a lezione le metteva si e le metteva no, come le sottolineature per i simboli terminali soggetti a interpretazione.

fill

User info:

Registered: Oct 2003
Posts: 74 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 4 Days, 3:03:38 [...]
Status: Offline

Post actions:

ma per i nomi comuni e nomi propri qual'è la differenza nella formula?

__________________
Poker Room

Casino Online

francyghisla

.non è possibile.

User info:

Registered: Nov 2003
Posts: 632 (0.08 al dì)
Location:
Corso: TICOM
Anno: Primo
Time Online: 13 Days, 10:16:55 [...]
Status: Offline

Post actions:

NP es [[Pippo]] = {λP |P(Pippo)}

NC es [[palla]] = {λx | palla(x)}