Documente Academic
Documente Profesional
Documente Cultură
• Exemplul
R ( P Q ) (Q P ) R
R P Q For1 For2
f f f ? ?
- - - - -
- - - - -
t t t ? ?
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
3. Dacă formulele sunt echivalente atât în sens semantic, cât și în sens
sintactic, atunci formulele sunt echivalente în sens larg.
4. Este clar că pentru a obține echivalența în sens larg a formulelor
propoziționale efectuând doar transformările sintactice trebuie de ales astfel
de transformări care asigură la fiecare aplicație a transformării echivalența
semantică a formulelor intermediare.
5. Condiția formulată în p.4 poate fi asigurată doar dacă alegem în calitatea
de transformări axiomele logicii propoziționale.
Transformările (setul T)
T1. A B B A; A B B A
T2. A B B A
T3. A A A ; A A A
T4.
A (B C) ( A B) C; A (B C) ( A B) C
T5.
A B ( A B )
T6. A B A B
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
• Legități euristice (transformări la nivel sintactic, setul S)
1. ∂V - includerea în expresie a unei variabile suplimentare care nu a fost
2. ∂N – variabila intră în expresiile confruntate cu un număr diferit de ori.
3. ∂T – una dintre expresii începe cu semnul negației.
4. ∂C – există inadvertențe între operațiile ce leagă două variabile.
5. ∂G - grupările asociative sunt diferite în expresiile comparate.
6. ∂P - diferă poziția componentelor (variabilelor)
Tabela [SxT] euristică. Se construiește pentru cazul concret, adică este euristică.
T1 T2 T3 T4 T5 T6
7. ∂V
8. ∂N x
9. ∂T x x x
10. ∂C x x
11. ∂G x
12. ∂P x x
Subiectul 1. Modele de gândire. Metode matematice și euristice de gândire.
Gândirea semiotică. Sisteme de semne. Limbaje naturale și formale.
1. Explicație. Semnul „x” la intersecția coloanei transformărilor cu coloana stărilor
înseamnă posibilitatea aplicării transformării la obiectul O. În dependență de obiect pot
fi disponibile mai multe transformări în una și aceeași stare.
2. Aspectul semantic al obiectului O se obține atunci când variabilelor A, B, C etc. le sunt
atribuite valori. În calitate de valori pot fi atribuite constante grafice, constante textuale
etc. În varianta prezentată (modelu propozițional , logica propozițională) vom utiliza
pentru interpretarea formulelor ce desemnează obiecte concrete propozițiile afirmative.
Exemplu. Fie date propozițiile A=„ Arborii au înverzit”, B=„ Primăvara a sosit”. În calitate de
formulă a fi interpretată vom lua axioma T6.
Interpretarea va fi: „Arborii au înverzit” „Primăvara a sosit” A B A B
Analiza: Fie A =„true” , formula e adevărată deoarece este
axiomă,deci, B= „true” în mod necesar.
Analogic se deduce și partea a doua a echivalenței.
Exemplu. Să se testeze echivalența sintactică și semantică a expresiilor :
• expresiilor : R&( -PQ) și (QvP) &R
***********
Subiectul 1
• Interpretarea formulelor precedente
• Exemplu. Fie variabilele R, P, Q au valorile:
1. R= «Afară plouă»;
2. P= «Pietonii și-au deschis umbrelele»;
3. Q= «Pe asfalt au apărut băltoacele»;
Să se calculeze valorile de adevăr ale formulelor, dacă faptele
relatate sunt adevărate. Să se enumere toate variantele
posibile ale textului format din afirmațiile P,R,Q (conform
tabelului de valori slide-ul 19).