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

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

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

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

!c" Avem si retinem . Faptul ca este o multime adecvata de conectori rezulta acum aplicand principiul de inductie pentru propozitii ca in demonstratia lui !a". !b" Din legea lui De )organ si legea dublei negatii rezulta: . De asemenea deci . In fine deci . 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. In fine .

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful