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

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

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

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

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

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

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

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

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

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