... este propozitia care se citeste p sau q, notata p v q, si care este adevarata atunci si numai atunci cand este adevarata cel putin una din propozitiile p, q.pqp v q111101011000De exemplu consideram propozitiile p 23 si q balena este un peste. Propozitia p v q este o propozitie falsa deoarece ambele propozitii sunt false.Propozitiile care se obtin din prpozitiile p, q, r..., numite propozitii simple, aplicand de un numar finit de ori conectorii logici , , v se vor numi propozitii compuse. Calculul propozitiilor studiaza propozitiile compuse din punctul de vedere al adevarului sau falsului in raport cu valorile logice ale propozitiilor simple care le compun.Implicatia propozitiilor. Sa consideram propozitia compusa p v q a carei valoare de adevar rezulta din tabela urmatoarepq p p v q1101100001110011Observam ca propozitia compusa p v q este falsa atunci si numai atunci cand p este adevarata si q falsa, in celelalte cazuri fiind adevarata.Propozitia compusa p v q se noteaza p!q si se citeste daca p atunci q sau p implica q. Ea se numeste implicatia propozitiilor p, q in aceasta ordine.In implicatia p!q , p se numeste ipoteza sau antecedentul implicatiei, iar propozitia q se numeste concluzia sau consecventul implicatieiEchivalenta propozitiilor. Cu propozitiile p, q putem forma propozitia compusa p!q q!p, care se noteaza p!q si se citeste p daca si numai daca q.pqp!qq!pp!q11111100100110000111Formule echivalente in calculul propozitionalAsa cum in clasele mici cu literele a, b, c, ... si simbolurile , ,-, , putem forma expresiile algebrice, asa si in calcul propozitional cu literele p, q, r, ... sau p1 , p2 ,p3 ,... si cu simbolurile conectorilor logici , ,!,! , putem sa formam diverse expresii numite formule ale calculului proportional.Formulele calculului proportional le notam cu literele a, a, a, a, ... .Exe ... Download