Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

Ciao, qualcuno mi può aiutare con questi esercizi?
Grazie

Sia A una formula proposizionale soddisfacibile non contenente le lettere proposizionali p,q. Allora

(p->q) ^ A è soddisfacibile
A->(p->q) è una tautologia
not A V (p->q) è una contraddizione

ii) Sia T, A ^ B => C, D un sequente proposizionale non dimostrabile. Allora

A ^ B -> C è una tautologia
A ^ B ^ not C è soddisfacibile
(A^B) V not C è una contraddizione

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

Sia A una formula proposizionale soddisfacibile non contenente le lettere proposizionali p,q. Allora

(p->q) ^ A è soddisfacibile si
perchè p->q è soddisfacibile (ad esempio p=0 e q=0), A è per definizione soddisfacibile, quindi la loro congiunzione è soddisfacibile
A->(p->q) è una tautologia no
perchè se fosse tautologia sarebbe vera sempre, mentre esiste un assegnamento che la falsifica: se metti A vera (cosa possibile dato che è per definizione soddisfacibile), p vera e q falsa, ottieni che l'intera formula è falsa
not A V (p->q) è una contraddizione no
perchè se fosse contraddizione significherebbe che è sempre falsa, mentre se prendo ad esempio p=1 e q=1 ottengo che la formula è vera (qualsiasi sia il valore di A)

ii) Sia T, A ^ B => C, D un sequente proposizionale non dimostrabile.
sequente non dimostrabile significa che esiste almeno un ramo che non chiude, cioè esiste almeno un assegnamento per cui:
T, A^B sono vere
C, D sono false
Allora

A ^ B -> C è una tautologia no
dato che il sequente non è dimostrabile esiste un assegnamento per cui A^B è vera e C è falsa
A ^ B ^ not C è soddisfacibile si
per lo stesso motivo di prima
(A^B) V not C è una contraddizione no
idem con cipolle

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

Grazie, sei davvero molto gentile.

Gighen

.grande:maestro.

User info:

Registered: Nov 2002
Posts: 527 (0.06 al dì)
Location: Brixia
Corso: Specialista!!
Anno: con quante N ??
Time Online: 10 Days, 7:41:56 [...]
Status: Offline

Post actions:

qualcuno ha esempi degli esercizi con DPLL, non ho visto esempi in giro, qualcuno ha il testo degli ultimi appelli??
Oppure esericizi fatti in classe??
Grazie

__________________
"Documentation is like sex: when it's good, it's very, very good; and when it's bad, it's still better than nothing."
Dick Brandon

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

Scusate...ancora qualche dubbio.....


Sia G =>D un sequente proposizionale e sia A una contraddizione. Il sequente G,A => D è dimostrabile nel calcolo proposizionale?

Nel formalizzare un ragionamente frasi come questa: "Chi va in vacanza va al mare o va in campagna" come devono essere formalizzate?

123

.precettore.

User info:

Registered: Aug 2004
Posts: 84 (0.01 al dì)
Location: albignano (ridicolo paesello di provincia)
Corso: informatica
Anno: 3
Time Online: 11 Days, 12:49:18 [...]
Status: Offline

Post actions:

secondo me...

Originally posted by Lea

Sia G =>D un sequente proposizionale e sia A una contraddizione. Il sequente G,A => D è dimostrabile nel calcolo proposizionale?

__________________
Non rimarra` niente di quello che siamo
ribelli al nostro destino
piccola minaccia in un tempo sbagliato.

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

Grazie!!!!