Referate Diverse

Logica predicatelor
un predicat este un enunt care depinde de una sau mai multe variabile si care are proprietatea ca pentru anumite valori ale variabilelor valori care pot fi de exemplu numere sau, in general, elemente ale unei multimi devine o propozitie. un predicat care depinde de in variabile se numeste predicat n-ar.
n particular, pentru in 1, 2, 3, avem predicate unare, binare si respectiv ternare.
exemple
enuntul
an 3 este un divizor al lui n
este un predicat care depinde de variabila n. pentru fiecare numar ntreg n, an este o propozitie. si anume, daca in este un numar ntreg de forma 5k, k numar ntreg, atunci an este o propozitie adevarata si pentru toate celelalte valori ale lui n, an este o propozitie falsa.
enuntul
ax, y x y 2
este un predicat binar. pentru orice doua numere reale x si y, ax,y este o propozitie. propozitia a1,1 obtinuta dnd lui x si y valorile x 1, y 1 este o propozitie adevarata, in timp ce propozitia a0,1 obtinuta dnd lui x si y valorile x0, y1 este o propozitie falsa.
sa consideram doua predicate unare ax si bx. cu ajutorul operatorilor logici putem construi si alte predicate unare, anume
ax, ax bx, ax bx, ax bx, ax bx
de exemplu, predicatul axbx este acel predicat cx care, pentru fiecare valoare a variabilei x coincide cu propozitia ax bx. de asemenea, putem forma predicatele binare
ax by, ax by, ax by, ax by
consecinta logica
predicatul bx se numeste consecinta. logica a predicatului ax si scriem ax bx daca pentru orice valoare a variabilei x, propozitia axbx este adevarata.
tinnd. seama de definitia implicatiei, avem ax bx daca si numai daca pentru orice valoare a variabilei x, propozitia bx este adevarata de fiecare data cnd propozitia ax este adevarata.
exemplu
considernd predicatele
ax x 0 si bx x2 0
care au sens pentru x numar real, avem
ax bx
echivalenta logica
predicatele ax si bx sunt echi...

Aceste este doar un simplu preview la acest referat. Pentru referatul complet va rugam frumos sa il downloada-ti

Nume referat: Logica Predicatelor Matematice Categorie: Referate Diverse Afisari: 515 Download Referat (Word)

Mai multe referate asemanatoare: Logica Click aici Logica juridica Click aici Formule matematice Click aici Logica comunicarii Click aici Logica Click aici Elemente de logica Click aici

• metodica predareii matimaticii

• influenta bizantina asupra spatiului romanesc

• sunete din natura

• exemple de virusi si despre ei

• razumat amintiri din copilarie

• procedura de drep administrativ

• rol ARN,ADN,ATP

• adeverirea mortii si a invierii

• conu leonida in fata cu reactiunea

• harta hidrologica

• poezia patria romana

• frizercoafor

• executarea pedepselor privative de libertate in dreptul penal

• jurnalul cu dubla intrare

• mihai eminescu comentariu literar lacul

• Mateiu Caragiale Craii de curte veche

• april

• in padurea petrisorul

• monuments du paris

• micul print rezumat

• analiz amediului de marketing al unui hotel

• arta renascentista

• sarpele m eliade

• holocaust

• morometii raporturile dintre personaje

• infiintare societate comerciala

• ghicitori matematice

• notiunea de taxa

• tipuri de lasere

• harta geografica

• goe bogza cartea oltului

• solicitare

• utilizare internet

• religia ebraica

• schizofremia

• imortanta ph-ului

• alexandru pascanu- muzician

• sepia

• un animal ocrotit de lege din romania

• poemul creatiei

• tetrapareza

• vanzare silita la licitatie

• domeniul public si privat

• moartea caprioare]

• contributia lui pitagora

• servicii prestate

• fizica prisma optica

• pstn

• importanta lacurilor in natura si viata omului

• italia musollini

• grosismentul microscopului

• poliesteri

• cifoscolioza

• portretul dascalului

• caracteristeka de Grigore Ghika de Ion druta

• liana caracterizarea ei

• constitutia romania

• informaticieni lumi

• caracterizare coleg de banca

• Sfantul arhanghel gavril

• Total referate: 5921
• Total categorii: 22

• referate de nota 10
• jocuri online
• jocuri cu barbie
• jocuri aparate