-
ESERCIZIO DI LOGICA X AVVEScritto daNon Autenticatoil 2006-01-13 02:28:00.0 alle 2006-01-13 02:28:00.0Ci sono alcuni politici che riescono qualche volta ad ingannare tutti ed anche ad ingannare qualcuno tutte le volte ma nessun politoco è in grado di ingannare tutti tutte le volte.
Traducilo in logica del primo ordine-
Re: ESERCIZIO DI LOGICA X AVVEScritto daavvelenatoun mezzo cavalloil 2006-01-13 03:56:00.0 alle 2006-01-13 03:56:00.0Trollate totali: 14239
- Scritto da: Anonimo
> Ci sono alcuni politici che riescono qualche
> volta ad ingannare tutti ed anche ad ingannare
> qualcuno tutte le volte ma nessun politoco è in
> grado di ingannare tutti tutte le volte.
>
> Traducilo in logica del primo ordine
se sapessi cos'è la logica del primo ordine potrei aiutarti, ma purtroppo... guarda che non sono iscritto all'università, vado ad uno sCuallido itis...
.
ps: google mi è stato poco d'aiuto, cosa ne pensi di http://www.dis.uniroma1.it/~corsoai/lezioni/10-log...
?
I pedoni possono muoversi solo in avanti.
-
Re: ESERCIZIO DI LOGICA X AVVEScritto daNon Autenticatoil 2006-01-13 10:22:00.0 alle 2006-01-13 10:22:00.0
- Scritto da: Anonimo
> Ci sono alcuni politici che riescono qualche
> volta ad ingannare tutti ed anche ad ingannare
> qualcuno tutte le volte ma nessun politoco è in
> grado di ingannare tutti tutte le volte.
>
> Traducilo in logica del primo ordine
Ex(P(x)->(T_Q(x))), Ex(P(x)->(Q_T(x))=>Ex(Px->T_I(x))
E' un pò difficile questo enunciato, non mi sembra sia giusto comunque, ma non ho voglia di pensarci troppo
-