Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
123Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
LIMBAJE DE PROGRAMARE

LIMBAJE DE PROGRAMARE

Ratings: (0)|Views: 7,234|Likes:
Published by Radu
LIMBAJE DE PROGRAMARE
LIMBAJE DE PROGRAMARE

More info:

Published by: Radu on Nov 06, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/29/2013

pdf

text

original

 
www.cartiaz.ro– Carti si articole online gratuite de la A la Z
LIMBAJE DE PROGRAMARECAPITOLUL 1.ELEMENTE DE LOGICĂ MATEMATICĂ ŞI ALGEBRĂ BOOLEA1.1. Calculul propoziţiilor 1.1.1. Noţiunea de propoziţie
DEFINIŢIA 1.1. Se numeşte propoziţie un enunţ (un ansamblu de cuvintecărora li s-a dat un sens) despre care se ştie că este sau adevărat sau fals, însă nu simultan şi una şi alta.Exemple de propoziţii:1) În orice triunghi suma unghiurilor sale este egală cu 180
o
;2) 3+2=5;3) 2>5;4) Balena este un mamifer.5) Planeta Saturn este satelit al Pamântului.Propoziţiile 1), 2) şi 4) sunt adevărate dar 3) şi 5) sunt false.O clasă foarte largă de propoziţii adevărate o constituie teoremele dinmatematică.Contraexemple (enunţuri care nu sunt considerate propoziţii):1) x+2=5; (enunţurile cu variabile sunt predicate)2) Deschide uşa !; (enunţ imperativ)3) Numărul x divide numărul y; (predicat)4) Atomul de aur este galben. (enunţ absurd)
1.1.2. Valoare de adevăr 
Notăm cu P
2
mulţimea propoziţiilor definite după definiţia 1.1.DEFINIŢIA 1.2. Funcţia v : P
2
 
{0,1} se numeşte funcţia valoare de adevăr.Fiecărei propoziţii din mulţimea propoziţiilor P
2
i se ataşează valoarea 1 dacăpropoziţia este adevărată, şi valoarea 0 dacă este falsă.De obicei se vor nota propoziţiile prin litere mici: p,q,r ... şi cu v(p), v(q),
1
 
www.cartiaz.ro– Carti si articole online gratuite de la A la Z
v(r)... valorile lor de adevăr.
1.1.3. Operatori (operaţii cu propoziţii)
Cu ajutorul operatorilor definiţi în continuare se pot construi propoziţiicompuse.
Negarea propoziţiilor.
Negarea propoziţiei este propoziţia "non p", care senotează !p şi care este adevărată când p este falsă şi falsă când p esteadevărată.Valoarea de adevăr a propoziţiei !p este dată în tabela următoare:
Conjucţia propoziţiilor.
Conjucţia propoziţiilor p,q este propoziţia care seciteşte "p şi q", notată cupΛq, care este adevărată atunci şi numai atunci când fiecare din propoziţiile p,q este adevărată.Valoarea de adevăr a propoziţiei pΛq este dată în tabela următoare:
Disjuncţia propoziţiilor 
. Disjuncţia propoziţiilor p, q este propoziţia care seciteşte "p sau q" (notată pVq) şi care este adevărată, atunci şi numai atuncicând este adevărată cel puţin una dintre propoziţiile p, q.
 
 v(p) v(!p)
100 1 
 v(p) v(q) v(p
q)
0 0 00 1 01 0 01 1 12
 
www.cartiaz.ro– Carti si articole online gratuite de la A la Z
Valoarea de adevăr a propoziţiei pVq este dată în tabela următoare:
Implicaţia propoziţiilor.
Să considerăm propoziţia compusă (
p)Vq a căreivaloare de adevăr rezultă din tabela urmatoarePropozia (!p)Vq se notează p
q şi se numeşte impliciapropoziţiilor p,q (în acestă ordine); p este ipoteza iar q este concluzia.Observăm că (!p)Vq este falsă atunci şi numai atunci când p esteadevărată şi q falsă, în celelalte cazuri fiind adevărată.
Echivalenţa propoziţiilor.
Cu propoziile p, q putem forma propoziacompusă (p
q) Λ (q
p) care se notează p
şi se citeşte "p dacă şi numaidacă q". Din tabela următoare se vede că propoziţia p
q este adevăratăatunci şi numai atunci când p şi q sunt în acelaşi timp adevărate sau false.
Formule echivalente în calculul propoziţional
 
 
 v(p) v(q) v(p
q)
0 0 00 1 11 0 11 1 1
 v(p) v(q) v(!p) v((!p)
q)
0 0 1 10 1 1 11 0 0 01 1 0 1
 v(p) v(q) v(p
q) v(q 
 p) v(p
q)
0 0 1 1 10 1 1 0 01 0 0 1 01 1 1 1 13

Activity (123)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Adina Ţiganașu liked this
Andrei Nt liked this
Apostol Stefan liked this
Andrei Nt liked this
lascu_lorena liked this
Ana Beldiga liked this
Cristina Bucioc liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->