elementi di logica

Programmazione, algoritmica, teoria dell'informazione, ...
Rispondi
Avatar utente
Goodgod
Messaggi: 21
Iscritto il: 04 nov 2005, 12:00

elementi di logica

Messaggio da Goodgod »

non so se è la sezione giusta.. se è il caso spostate il mio topic.. ma vi prego: aiutatemi!! :D


N.B. scusate se non scrivo in forma corretta ma nn so usare il latex.. in ogni caso dove segno meno ( - ) sta ad indicare la negazione.

1 - Dare una Forma Normale Congiuntiva a una Forma Normale Disgiuntiva di

-(( -A \/ B) /\ ( -B \/ C )) \/ ( -A /\ -C )

(( B /\ C ) -> ( A \/ C)



2 - siano A, B due formule atomiche nella logica proposizionale.
Dire se esiste un insieme Immagine che contenga
A \/ B
A -> B
-A
e sia consistente massimale.



3 - nella logica proposizionale sia definito il connettivo binario Immagine che:
Immagine,
prosegui interpretazione Immagine:

a) dire se Immagine è commutativo e associativo

b) esprimere Immagine in funzione di Immagine

c) per ogni A € (appartenente) FBF (funzione ben definita) determinare B, B' € FBF tale che
AImmagineB = -A
AImmagineB' = T (tautologia)

d) determinare C, C' € FBF tale che
AImmagineC = -A
AImmagineC' = -A
per ogni A € FBF

e) dire se gli insiemi di connettivi Immagine sono funzionalmente completi



4 - dare una deduzione naturale
a) B /\ A |- A /\ B
b) -A |- -(A /\ -B)
c) |- (( A /\ B ) -> C) -> (A -> (B -> C))

n.b. il simbolo |- sarebbe una T rovesciata


mi rendo conto che scritto così è parecchio grezzo... sono gli unici dati che ho, presi da un esame già fatto.... spero riusciate comunque a capire i vari simboli..
Rispondi