Limbajul natural include i situaii care nu pot fi formalizate prin intermediul logicii termenilor.

De aceea, pentru determinarea validitii (corectitudinii) unor raionamente, avem nevoie de un alt fel de logic: logica propoziiilor/logica propoziional.Unitatea logic de baz nu mai este termenul precum n logica termenilor cipropoziia simpl (atomar) i neanalizabil. Exemplu: Fraza Dac este prea cald, m duc la piscin nu poate fi abordat n logica termenilor. Se recurge la conectorii logici! Nu orice construcie lingvistic reprezint o propoziie (excluse: enunurile interogative, exclamative etc.) Ceea ce rmne neschimbat prin traducerea dintr-o limb n alta nelesul. I. PROPOZIIA ATOMAR o propoziie simpl, care are n vedere un fapt i care posed o valoare de adevr (adevrat/fals). Exemple: Afar plou mi iau umbrela Stau acas M duc la pescuit etc. SIMBOLIZARE: p, q, r, s - VARIABILE PROPOZIIONALE/variabile logice VALORILE DE ADEVR: adevrat simbol: 1 fals simbol: 0

II. PROPOZIIA COMPUS combinaie complex de propoziii atomare legate prin expresii precum: dac atunci , i, sau, dac i numai dac etc. Exemple: Dac plou afar, atunci mi iau umbrela i m duc la pescuit; Dac i numai dac plou afar, atunci stau acas; Stau acas sau m duc la pescuit Nu stau acas i m duc la pescuit etc. Conectorii logici constante propoziionale/constante logice expresii careleag propoziiile simple n propoziii compuse; conecteaz propoziiile atomare, genernd propoziii compuse sau moleculare. O proprietate important a conectorilor logici: valoarea de adevr a propoziiilor compuse depinde de valoarea de adevr a propoziiilor atomare componente. Propoziiile compuse sunt tratate ca FUNCII DE ADEVR! Dac avem dou variabile propoziionale atunci avem 16 conectori logici binari. (Vezi Manual p. 30) Cei mai importani conectori logici:

NEGAIA CONJUNCIA DISJUNCIA IMPLICAIA ECHIVALENA

1. NEGAIA (operator monadic)

Simbol: ; ~; p. Matricea de adevr:

p 1 0

p 0 1

Prin negarea unei propoziii p se obine o nou propoziie (non-p), complementar n raport cu prima, care este adevrat cnd p este fals i fals cnd p este adevrat. Exprimare n limbaj natural: Nu este adevrat c ; nu ; este fals c . Exemplu: Dac avem propoziia Afar plou negaia ei poate mbrca urmtoarele forme: Afar nu plou; Nu plou afar; Nu este cazul c afar plou; Este fals c afar plou. Propoziia iniial (p) i negaia ei (p) se afl n raport de contradicie, adic nu pot fi simultan nici adevrate, nici false. Negaia schimb valoarea de adevr a unei propoziii. Prin dubla negaie a unei propoziii se obine propoziia iniial: p p.

2. CONJUNCIA (operator diadic) Simbol: &; ; ^. Matricea de adevr:

p 1 1 0 0

q 1 0 1 0

p&q 1 0 0 0

Exprimare n limbaj natural: i; dar; iar; i totui; ns; ci; n timp ce ; pe cnd ; dei; cu toate c; n pofida. Conjuncia a dou propoziii este adevrat numai dac ambele propoziii sunt adevrate. n restul cazurilor, cnd cel puin una este fals, i conjuncia lor va fi fals. Exemplu: Dou propoziii: Afar plou i Eu plec la pescuit conjuncia lor poate fi regsit n una din urmtoarele exprimri: Afar plou i eu plec la pescuit, Afar plou, iar eu plec la pescuit, Dei afar plou, eu plec la pescuit etc. Dac unul dintre termenii unei conjuncii este fals, atunci ntreaga conjuncie va fi fals (p&q 0). Dac unul dintre termenii conjunciei este adevrat, valoarea sa de adevr este determinat de valoarea celuilalt termen ( p&1 0). 3. DISJUNCIA

Simbol: v; w. Matricea de adevr:

p 1 1 0 0

q 1 0 1 0

pwq 0 1 1 0

1. DISJUNCIA INCLUSIV este adevrat dac cel puin una dintre cele dou propoziii este adevrat; este fals dac ambele propoziii sunt false. Exemplu: M duc la mare sau m duc la munte (ambele aciuni pot fi mplinite).

2. DISJUNCIA EXCLUSIV este adevrat atunci cnd termenii ei au valori de adevr diferite Exemplu: Sau m duc la mare, sau m duc la munte (exprim o disjuncie exclusiv). ori ori fie fie Exprimare n limbaj natural:

sau; ori; fie; sau sau ; fie fie; ori ori ; sau mcar; ba. Dac unul dintre termenii unei disjuncii inclusive este adevrat, atunci ntreaga conjuncie va fi adevrat (p v q 1). Dac unul dintre termenii disjunciei este fals, valoarea sa de adevr este determinat de valoarea celuilalt termen (p v 0 p). 4. IMPLICAIA (condiional) Simbol: . Matricea de adevr:

p 1 1 0 0

q 1 0 1 0

p q 1 0 1 1

Implicaia reprezint o relaie de succesiune logic ntre dou propoziii; este fals doar dac prima propoziie a implicaiei este adevrat i cea de-a dou este fals, n restul cazurilor implicaia este adevrat. Exprimare n limbaj natural: dac atunci; cnd atunci ; dac , nseamn c ; deci; implic ; din rezult c ; o condiie suficient; pentru c; deoarece; fiindc; din deducem pe . Exemplu:

Dac plou (p) atunci mi iau umbrela (q). p antecedent; q consecvent. p condiie suficient pentru q q condiie necesar pentru p. Expresia numai dac, doar dac etc. reprezint o IMPLICAIE INVERS. De exemplu: Numai dac plou (p) mi iau umbrela (q); Formula logic: q p. LEGI DE REDUCERE A VALORII:

Dac antecedentul este adevrat, valoarea de adevr a implicaiei este identic cu aceea a consecventului su: (1 p q). Dac antecedentul este fals, implicaia este adevrat: (0 q 1). Dac consecventul su este adevrat, implicaia este adevrat: (p 1 1). Dac consecventul este fals, valoarea de adevr a implicaiei este aceeai cu a negaiei antecedentului: (p 0 p).

5. ECHIVALENA (dubla implicaie; bicondiional) Simbol: ; . Matricea de adevr:

p 1 1 0 0

q 1 0 1 0

p q 1 0 0 1

Echivalena exprim o relaie de concordan logic; este adevrat numai dac ambele propoziii au aceeai valoare de adevr. Dou propoziii sunt logic echivalente dac au aceeai valoare de adevr. Exprimare n limbaj natural: dac i numai dac atunci ; dac i numai dac este echivalent cu ; numai dac , este o condiie necesar i suficient . [p q] [(p q) & (q p)] (conjuncie de implicaii reciproce) Dac una dintre componentele unei echivalene este adevrat, valoarea de adevr a echivalenei depinde de valoarea de adevr a celeilalte componente: (p 1 p) Dac una dintre componentele echivalenei este fals, valoarea de adevr a echivalenei este aceeai cu negaia celeilalte componente: (p 0 p)