DOCUMENTE SIMILARE

Share on face oo!Share on t"itterShare on emailShare on #rintMore Sharing Ser$ice%0 LO&ICA - Ra#ort'ri logice intre termeni (a)ele gan*irii critice +ro#o)itii categorice LO&ICA - Logica cla%ica, Logica matematica LO&ICA - Noti'ni %i termeni +ro#o)itii com#'%e Conce#te %emantice in logica #ro#o)itiilor Inferente ime*iate Calc'le %i Logica, A Alfa et'l %i %inta-a in logica #ro#o)itiilor

TERMENI im#ortanti #entr' ace%t *oc'ment
.

Conectori logici Logica
+ Font mai mare | - Font mai mic

Conectori logici
In afara conectorilor logici uzuali anume conectori logici astfel: 1. Definitie. Fie n un numar intreg pozitiv. O aplicatie numestefunctie de adevar. Data functia de adevar S (Q ) S(Q) S(Q) sa avem o aplicatie puem defini si alte tipuri de

se

astfel incat pentru orice valorizare v si orice

se numeste un conector logic corespunzator functiei de adevar f. Evident, doi conectori logici corespunzatori aceleiasi functii de adevar f au proprietatea ca pentru orice S(Q) avem . In ceea ce urmeaza vom analiza numai cazurile despre conectori logici unari si binari. si si deci vom vorbi

evident triviali: S(Q) definite respectiv prin: . folosind vom descrie mai intai toate aplicatiile Conectori logici corespunzatori functiilor de adevar apicatiile . pe scurt. S(Q) . negatia de . corespund unor functii de adevar corespunde functiei identice retinem ca conector logic unar si netrivial Pentru descrierea conectorilor logici binari procedam in mod asemanator: numarul functiilor de adevar este si anume : Conectori logici corespunzatori functiilor de adevar aplicatiile S (Q ) S(Q) . . Conectorii constante iar numai pe .evident. Acestea sunt in numar si putem sa le descriem.Evident. le notam cu urmatoarele tabele: este un conector logic unar. si de mai sus sunt . sunt. Pentru a descrie toti conectorii unari . definite prin: de mai sus sunt .

Dintre conectorii logici binari de mai sus am luat in consideratie pana acum numai pe triviali iar pe o singura componenta". . . . Definitie. 'n rol special in logica il au conectorii ! negatia dis#unctiei". . cu este un conector dual cu : iar . Conectorul : ! negatia con#unctiei" si se mai noteaza si : iar conectorul se noteaza cu adevar ale acestor conectori sunt. . . . O multime C de conectori logici se numeste adecvata! sau suficienta" daca pentru orice propozitie S(Q) e$ista o propozitie S(Q)in a carei e$presie apar numai conectori din C astfel incat . . . Din aceste tabele de adevar razulta ca . . . . .. . . . evident: . si sunt intrun anumit sens constanti si deci sunt practic conectori unari! in sensul ca ei actioneaza numai sunt respectiv negatii pentru este negatia sa. In particular avem: si . . . Conectorul se mai noteaza si iar se noteaza cu tabelele de si se numeste dis#unctie e$cusiva ! vezi %ectiunea &": . 2. este o propozitie adevarata daca si numai daca si sunt ambele false iar este o propozitie falsa daca si numai daca si sunt ambele adevarate. .

avem S(Q) astfel incat si P. Conform . dupa cum vom vedea la noi metode de a studia propozitiile respective. -.'rmatorea propozitie ofera cateva e$emple de multimi adecvate de conectori logici. Q avem. In mod P. Urmatoarele multimi sunt multimi adecvate de conectori: !a" . evident. deducem P si . !&" . lui si apar numai conectorii si . Conform . in e$presa lui apar numai conectorii si astfel ca lui !&" . in e$presia lui apar numai si si in e$presia lui apar conectorii si astfel ca P. conform Demonstartie. in P. avem Q P. !b" .". Acum fie P.0. !a" Pentru orice doua propozitii atomice uneia dintre legile lui De )organ si legii dublei negatii. evident. avem e$presa lui apar numai conectorii si astfel ca asemanator.emei /.. . Din cele doua ec*ivalente de mai sus rezulta: si retinem !. si in e$presia lui apar numai conectorii si. Intr(adevar fie P S!Q" e$ista numai conectorii Evident. dar folosind !+" si respectiv !.0 si Corolarului /. Conform si. Acum faptul ca este o multime adecvata de conectori rezulta aplicand principiul de inductie pentru propozitii. P. . Fie ." . De asemenea o ec*ivalenta bine cunoscuta este: !+" . !c" . . 3. Acestea sunt importante deoarece e$primarea propozitiilor numai cu conectori logici dintr(o multime adecvata de conectori C poate conduce.emei /. avem evident..emei /.0. Propozitie. si in e$presiile si.

Avem si retinem . !c" Avem si retinem . In fine deci . De asemenea deci . In fine . !b" Din legea lui De )organ si legea dublei negatii rezulta: . avem P S!Q" ceea(ce nu inseamna altceva decat ca este o multime adecvata de conectori.Conform principiului de inductie pentru propozitii. Faptul ca este o multime adecvata de conectori rezulta acum aplicand principiul de inductie pentru propozitii ca in demonstratia lui !a".

pentru .!a" iar este o multime adecvata de conectori rezulta din Propozitia 2. . pentru orice este o multime 5. Atunci avem Demonstaratie. Conectorul corespunde unei functii de adevar si. pentru orice doua propozitii valorizare v avem . Fie S(Q) sau adecvata de conectori. Multimile si sunt multimi adecvate de conectori.. un conector logic binar astfel incat pentru orice S(Q). conform Definitiei &..Propozitie. Presupunem propozitie fie S(Q) si pentru orive sau Fie Q . . Conform Definitiei +. Propozitie. In cazul din consideram o rezulta si si valorizare v astfel incat deci . Q. 4.. pentru si In particular. e$ista o S(Q) in a carei e$presie apare numai conectorul astfel incat atomii care apar in aceasta e$presie. 1eamintim ca. Faptul ca faptul ca este o multime adecvata de conectori rezulta acum din Propozitia 2. S(Q) avem: Demonstratie. !b". avem .

ca S(Q) avem. Deoarece conectori logici rezulta. Prin urmare avem si . 3abelul de adevar pentru conectorul este sau si arata ca in primul ca pentru orice doua propozitii caz si in al doilea caz . Analog. in primul este o multime adecvata de este de asemenea o multime adecvata si vom arata acum ca acest lucru este imposibil. unde este o propozitie in e$presia careia apare numai conectorul timp ce este evident. Acum presupunem si sau si . e$ista o valorizare v astfel incat in . Am demonstrat astfel ca tabelul de adevar pentru conectorul sau adica Exercitii pentru orice S(Q) sau pentru orice S (Q ). in ambele cazuri. pentru un atom Q. . Intr(adevar daca este multime adecvata atunci avem.ceea ce este o contradictie. in cazul consideram o valorizare v astfel incat si rezulta: ceea ce este de asemenea o contradictie.

nu poate fi ec*ivalenta cu o propozitie in e$presia careia apare numai conectorul 4. . Analog .1.+. Demonstrati urmatoarele ec*ivalente: a" b" c" d" e" 2. Demonstrati ca aplicatia S(Q). Aratati ca nici una dintre propozitiile: a" .#": . Rezolvari 1. si 3. . . Demonstrati ca . . S (Q ) S(Q) definita.pentru orice este o este un conector logic ternar si ca si afirmatia rezulta deoarece e" Folosim tablele de adevar: .a" Avem b" c" d" Avem. prin multime adecvata de conectori. c" . b" . . nu este o multime adecvata de conectori. conform E$ercitiului /.

Atunci e$presia careia apare numai conectorul Dar implica.. ca este o multime adecvata de conectori si consideram propozitia . Presupunem. si . . contradictie. Avem: iar este o tautologie notam aceasta tautologie cu T si avem: deci . Conform ipotezei de inductie e$ista o valorizare v astfel incat 4. evident. Daca ceea ce. 4om demonstra. Consideram o valorizare v astfel incat contradictie. Atunci e$ista o propozitie in a carei e$presie apar numai conectorii si astfel incat . evident. si ceea ce este o 3. . si ceea ce este o atomii distincti care apar in e$presia lui Putem considera o valorizare v astfel incat In raport cu aceasta valorizare avem. . Daca . 2. c" Presupunem ca unde este o propozitie in e$presia careia apare numai conectorul . si avem. b" %e repeta rationamentul de la a". evident. ca e$ista o valorizare v astfel incat Pentru daca propozitia luam si si este un atom. luam luam si . evident contrazice ipoteza. a" Presupunem ca numai conectorul si fie unde este o propozitie in e$presia careia apare . Presupunem . prin absurd. prin inductie dupa lungimea lui . si . unde sunt propozitii in si care au lungimea strict mai mica decat n.

Afirmatia rezulta acum deoarece este o multime adecvata de conectori. .