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

. definite prin: de mai sus sunt . negatia de . pe scurt. si de mai sus sunt . sunt. Pentru a descrie toti conectorii unari .Evident. Acestea sunt in numar si putem sa le descriem. Conectorii constante iar numai pe . S(Q) . evident triviali: S(Q) definite respectiv prin: . le notam cu urmatoarele tabele: este un conector logic unar. 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) . folosind vom descrie mai intai toate aplicatiile Conectori logici corespunzatori functiilor de adevar apicatiile .evident.

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 . . . Conectorul se mai noteaza si iar se noteaza cu tabelele de si se numeste dis#unctie e$cusiva ! vezi %ectiunea &": . Din aceste tabele de adevar razulta ca . .. . . . . cu este un conector dual cu : iar . . . . . 'n rol special in logica il au conectorii ! negatia dis#unctiei". . In particular avem: si . . . . . 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. . 2. Definitie. Conectorul : ! negatia con#unctiei" si se mai noteaza si : iar conectorul se noteaza cu adevar ale acestor conectori sunt. Dintre conectorii logici binari de mai sus am luat in consideratie pana acum numai pe triviali iar pe o singura componenta". . 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.

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

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

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

Am demonstrat astfel ca tabelul de adevar pentru conectorul sau adica Exercitii pentru orice S(Q) sau pentru orice S (Q ). e$ista o valorizare v astfel incat in . 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 . in primul este o multime adecvata de este de asemenea o multime adecvata si vom arata acum ca acest lucru este imposibil. Acum presupunem si sau si . . Analog. pentru un atom Q. in cazul consideram o valorizare v astfel incat si rezulta: ceea ce este de asemenea o contradictie. in ambele cazuri. ca S(Q) avem. Deoarece conectori logici rezulta. Intr(adevar daca este multime adecvata atunci avem.ceea ce este o contradictie. unde este o propozitie in e$presia careia apare numai conectorul timp ce este evident.

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

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

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

Sign up to vote on this title
UsefulNot useful