.dsy:it. - Logica matematica - [Logica per le applicazioni] descrittive b2

Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum

.dsy:it. Archive > Didattica > Corsi G - M > Logica matematica

[Logica per le applicazioni] descrittive b2
Clicca QUI per vedere il messaggio nel forum

c3ru

per chi ha fatto la traccia b2, quella delle logiche descrittive, che esercizio avete portato?
no, perchè qualunque cosa io faccia che superi in complessità la tautologia mi dà completion found....
ad es.

code:
begin_problem(dispensa).
list_of_descriptions.
name({**}).
author({**}).
status(unknown).
description({**}).
end_of_list.
list_of_symbols.
functions[(gina,0)].
predicates[(donna,0), (Tdonna,1), (femmina,0), (Tfemmina,1), (persona,0), (Tpersona,1)].
end_of_list.
list_of_special_formulae(axioms,DL).
 concept_formula(equiv(donna,and(femmina,persona)))
.
formula(Tpersona(gina)).
formula(Tfemmina(gina)).
end_of_list.
list_of_special_formulae(conjectures,DL).
formula(Tdonna(gina)).
end_of_list.
end_problem.

mi dà completion found.....

:?