II.

OPERAII CU PROPOZIII


Teodor DIMA

1. Propoziii compuse; funcii de adevr


Propoziia compus are ca elemente propoziii simple legate ntre ele prin operatori logici
numii i functori, conectori sau junctori. Forma logic a propoziiei compuse are ca
elemente variabile propoziionale legate prin variabile operaionale:
p q r ... z
(unde p, q, r..., z simbolizeaz propoziii simple, iar simbolizeaz operaii logice sau
legturi logice). Deci operaia logic cu propoziii poate fi considerat i ca o relaie logic
ntre propoziii.

functori, conectori, junctori
Fiecare propoziie simpl poate s aib o anumit
valoare de adevr. De aici rezult c valoarea de adevr a unei
propoziii compuse este n funcie de valorile de adevr ale
propoziiilor simple componente. Nu se intr n structura
propoziiilor simple componente; se ia n considerare numai
valoarea lor logic de adevr.
variabile propoziionale
Din acest punct de vedere, operatorii logici sau functorii pot lega un numr mare
de propoziii (cu n argumente). Practic au importan operaiile logice cu una i cu dou
variabile propoziionale (de ordinul unu i de ordinul doi).
variabile operaionale

Operaiile se definesc prin tabele de adevr (matrice logice de adevr, scheme).

Exist n total patru operaii logice de ordinul unu i aisprezece operaii logice de
ordinul doi, dar nu toate sunt importante. Numrul funciilor de adevr (N), presupunnd
c exist n variabile i m valori de adevr, se calculeaz astfel:
N = m
m
Pentru m = 2 exist dou valori de adevr (1 = adevrat, 0 = fals) i pentru n = 1,
se obin: N=2
2
adic 4 funcii de adevr de ordinul unu, exprimate n urmtorul tabel:
n
1

P

+
p

_
p
1 1 0
0 0 1
unde
+
p = afirmarea unei propoziii,
= negarea unei propoziii.
P
2
adic 16 funcii de adevr de ordinul doi, exprimate n urmtorul tabel:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
_
2 afirmarea unei
(altfel spus, afirmarea nu modific valoarea de adevr a propoziiei; de aceea, ea este subnel
- ori de cte ori o variabil propoziional nu este nsoit de un simbol care s ns
sa, se subnelege c ea este afirmat).
3. Prin negarea unei propoziii adevrate se obine o propoziie fals.
4. Prin negarea unei propoziii false se obine o propoziie adevrat.
Se observ c:
1. Prin afirmarea unei propoziii adevrate se obine propoziia adevrat respectiv.
. Prin propoziii false se obine propoziia fals respectiv.
emne afirmarea
eas
p
N = 2
entru n = 2 se obin:
2
p q
1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0

r s t:





d






12 = negarea implicaiei
13 = negarea lui p
14 = negarea replic
15 = negarea disjunciei n
16 = negarea tautol
Denumirile acestor funcii de adev un
1 = tautologie
3 = replicaie (inversa implicaiei)
ui p
2 = disjuncie neexclusiv
4 = afirmarea l
5 = implicaie
6 = afirmarea lui q
7 = echivalen
8 = conjuncie
10
9 = negarea conjunciei (incompatibilitate)
= isjuncie exclusiv
11 =
aiei
eexclusive (rejecia)
ogiei (contradicie)
negarea lui q


2. Definiri ale principalelor funcii de adevr
2.1. Negaia

; Ceasul meu nu arat ora exact; alteori este nevoie de o transformare a

ropoz
nt de trei tipuri: fie o funcie ntotdeauna adevrat,
e o funcie ntotdeauna fals, fie uneori adevrat, uneori fals. Astfel, funcia (1) din
lorile de adevr pe care le
primes
un
tautologii este o funcii propoziional totdeauna fals, indiferent de
alorile de adevr ale variabilelor propoziionale; ea se numete
le



n limbajul cotidian, pentru a nega o propoziie, recurgem de obicei la cuvntul
nu, plasat fie la nceputul propoziiei, fie n interior: Nu este adevrat c ceasul meu
Dat fiind o propoziie oarecare, p, putem construi din ea o propoziie fals, dac p
este a propoziie adevrat, dac ea este fals. De fiecare dat obine devrat, i o
arat ora exact
p iiei supus negrii; de exemplu, propoziia Uneori ninge n aprilie nu are ca
negaie Uneori nu ninge n aprilie, pentru c ambele propoziii pot fi adevrate; negaia
propoziiei Uneori ninge n aprilie este Niciodat nu ninge n aprilie sau Nu este
adevrat c uneori ninge n aprilie.

2.2.Tautologie, contradicie, formule sintetice
Cele 16 funcii de adevr su
m
negaia unei propoziii p; vom simboliza negaia lui p prinp i vom citi non-p.
p
non-p
p
fi
tabel este o funcie ntotdeauna adevrat, indiferent de va
c variabilele propoziionale; ea se numete tautologie sau formul
analitic.

ei
Toate legile logice se exprim prin formule analitice.
ntotdeauna adevrat
tautolog
Despre ele vom vorbi ntr-un paragraf special. Negarea
v
contradicie (vezi funcia 16 din tabel). Celelalte 14 funcii din tabel
sunt formule uneori adevrate, alteori false; rezultatul depinde de
valorile de adevr ale variabilelor propoziionale. Ele se numesc formu
sintetice sau realizabile sau contingente.
Facem precizarea c orice formul, cu n variabile i n operatori,
este o tautologie, dac este ntotdeauna adevrat, o contradicie, dac
ie
ntotdeauna fals
contradicie
uneori adevrat,
a
formul
realizabil
lteori fals
este ntotdeauna fals, i sintetic, dac este numai uneori adevrat.

2.3. Implicaia
Implicaia este exprimat n tabelul anterior pe coloana a cincea; exist mai multe
mboluri pentru exprimarea sa formal; vom scrie p q, vom citi dac p atunci q
i o vo
si
m defini prin urmtorul tabel de adevr:
p q
1 1
p q
1
0
0
1
1
0
1
0
ab re fl
te
0
1
n relaia implicaional, vari ila ca se a la stnga sgeii se numete
antecedent, iar variabila din dreapta se nume secvent: cunoscnd aceste


n lim
prin ntre
entru a o
ondiie suficient.
ata ipotetic:
ient pentru producerea consecinelor (este lumin),
dar nu proveni i din surse artificiale.

tetic nu este introdus ntotdeauna prin expresia
dac..., atunci..., ci n ipoteza c..., cnd, de, s sau prin
simpla alturare a propoziiilor simple componente.
antecedent
denumiri, vom putea nelege semnificaia tabelului, definind astfel implicaia:
Ea este fals, atunci cnd antecedentul este adevrat i
secvent

ba romn, implicaia este redat prin propoziii condiionale sau
judeci ipotetice. Acestea redau relaii de dependen di
obiecte, fapte, proprieti etc.

Cele mai importante relaii de dependen sunt relaiile condi
dintre condiie
iie suficient
secventul fals; n celelalte cazuri, ea este adevrat.
jude ce ci ipoteti
ionale, adic relaiile
i consecin.
P c
cond
relaie de dependen s existe, este necesar o c
De exemplu, n judec
Dac este ziu, atunci este lumin,
condiia (dac este ziu) este sufic
este necesar, deoarece lumina poate

Judecata ipo
Atunci cnd exprim un raport de condiionare numai suficient, judecata se
numete ipotetic neexclusiv.
judecat ipotetic
De exemplu,
rii

e prin dac..., atunci care nu sunt
.
lte feluri de propoziii ipotetice; ele redau legi, teoreme, reguli
le logice adevrat i fals. Ea a fost numit
fals). De aceea nu treb
(2 + 2 = 4)
la implicaia material nu leag nelesuri, ci
, o propoziie implicativ nu aserteaz nici
devr i.
a este redat n tabelul anterior al funciilor propoziionale pe
coloana a aptea; simbolul functorului echivalenei este , se citete dac i
numai d definete prin urmtoarea tabel :
De treci cod de aram, de departe vezi...
(M.Eminescu)
Ai carte, ai parte.
Pe de alt parte, exist propoziii introdus
ipotetice; ele pot fi propoziii concesive, optative etc
n manuale sunt mu
care exprim relaii de coninut ntre antecedent i secvent, ntre condiie i consecin,
ntre cauz i efect, ntre mijloc i scop etc.
S ne ntoarcem la funcia propoziional numit mai sus implicaie. nelegem
acum c implicaia: p q (face) abstracie de nelesuri, pentru c ea realizeaz o
conexiune ntre valori
implicaie material i este definit prin tabela de adevr
respectiv unde au importan numai combinaiile dintre valorile de adevr (adevrat i
uie s surprind astfel de implicaii:
(zpada este alb),
(2 + 2 = 5) (zpada este alb),
(2 + 2 = 5) (zpada este neagr).
aie material
Astfel de re ii sunt posibile, deoarece
valori logice atribuite propoziiilor. Mai mult
a ul antecedentului, nici adevrul secventulu



arat faptul c, dac antecedentul este adevrat, atunci i secventul este ad
iar dac antecedentul este fals, atunci secventul poate fi adevrat sau fals.
2.4. Echivalena
Echivalen
ac..., atunci i se
p q
1
1
1
0
1
0
0
0
0
1
1
0
rat

condiie necesar
i suficient
implic
p q
propoziie
bicondiional
Echivalena este adev cnd variabilele propoziionale au
aceiai valoare de adevr.
Ea evrat,
n limba romn, echivalena este redat prin propoziii bicondiionale sau prin
ce exclusive, care redau relaii dintre o condiie necesar i suficient, i o
onsecin suficient i necesar.
exemplu,
Dac i numai dac astzi iau nota 9, atunci voi avea media 8 la Logic.
ortul
u propoziii sunt echivalente
eeai valoare logic - sunt mpreun adevrate sau false - aa
um re
re n vedere relaiile dintre nelesurile propoziiilor componente. n acest
.. sau cu
suf
ci vo
suficient o
rie pentru a ocupa primul loc n clasament se spune: Va ocupa primul loc, cu
ondii
unciei, iar
p
judeci ipoteti
c
De


Echivalena este o condiionare reciproc din care rmne numai rap
valorile logice ale variabilelor propoziionale: do
dintre
, dac au
ntotdeauna ac
c zult din tabel. Este vorba tot despre o echivalen material care nu
a
caz, formula p q se citete p este echivalent cu q.
n ceea ce privete formulrile verbale ale propoziiilor bicondiionale, n care se
folosesc i unele formulri mai scurte numai dac ..., dac..., atunci.
condiia ca ..., se enun explicit numai condiia necesar sau numai aceea
cealalt condiie fiind sugerat de context: Numai dac astzi iau nota 9, atun
media 8 la Logic. La fel, despre o echip sportiv creia i-ar fi necesar i
victo
icient,
i avea
c a s nving n ultima etap.
Desigur, atunci cnd se cere acuratee logic, aa cum este cazul, de exemplu,
propoziiilor matematice, se folosesc formulri complete i exacte.

2.5. Conjuncia
Conjuncia este o funcie definit conform coloanei a opta din
tabelul funciilor de adevr.
Simbolul & se numete semnul conjunciei sau conectorul conj
variabilele p i q se numesc conjuncte.
& q
1
0
1 1 1
0 0 0
0
0
e
ma
chivalen
terial
p & q
Numim , p & q, adevrat
numai dac p i q sunt adevrate.
conjuncie a dou propoziii, p i q, propoziia notat
0
1
Expresia se citete p i q. De exemplu, 906 se divide cu 3 i cu 11. De multe ori
conjuncia a dou propoziii poate fi redat prin p iar q, p, pe cnd q, p dar q.
De exemplu,
Ceasul meu arat ora exact r a i Ion pe cnd al lui Ion, dar al lui Ion)
a rmas n urm.
ncie
ropoziiile Eminescu a fost scriitor i Caragiale a fost scriitor. Altfel stau
i
form definiiei, are sensul de p sau/i q.
, ia l lu (
De asemenea, o propoziie ca Eminescu i Caragiale au fost scriitori, unde, din
punct de vedere gramatical, i leag dou nume, nu dou propoziii, este o conju
alctuit din p
lucrurile cu i din Eminescu i Caragiale au fost contemporani, aceasta este o
propoziie simpl care exprim o relaie dintre doi scriitori: Eminescu a fost contemporan
cu Caragiale. Aceasta este o nou dovad c exist deosebiri ntre analiza gramatical i
analiza logic.

2.6. Disjuncia neexclusiv
Disjuncia neexclusiv este definit n coloana a doua din tabelul
funciilor de adevr cu dou variabile.
p v q
Simbolul se numete conectorul disjunciei neexclusive, iar p
numesc disjuncte. Expresia pq, con
q se
Numim disjuncie neexclusiv a dou propoziii p i q, propoziia compus, notat
cu p q, a din variabile are valoarea 1. adevrat, dac cel puin un
p v q
1
1
1
1
1
0
0
0 0 0
De exemplu,
1 1
Literaii scriu n versuri sau pr (nu este exclus situaia ca unii scriitori s
se exprime i n versuri i n proz).

2.7.Disjuncia exclusiv
oziia compus exclusiv-disjunc exprim un sens restrns al particulei
u ajutorul conectorului de incompatibilitate.
n oz

tiv Prop
q
sau: sau, dar nu i; n logic se face distincie ntre dou feluri de disjuncie
exclusiv. Unul este redat prin negarea conjunciei, iar cellalt prin negarea echivalenei.
Negarea conjunciei se scrie c
p /

Expres citete p este incompatibil cu q i se definete ca ia propoziional p/q se
fiind adevrat cnd cel puin una din variabilele propoziionale are valoarea 0.
Aceasta nseamn c p i q nu pot fi adevrate n acelai timp, dar pot fi false mpreun:
p / q
1
1
0
1
1
0
0
0 1 0
1 1

(cf.coloana a doua din tabelul funciilor).
De exemplu: Acest metal este sodi otasiu, exprim faptul c metalul
respectiv nu poate fi i sodiu, i potasiu, dar i faptul c s-ar putea s nu fie nici sodiu,
nici potasiu, pentru c este altceva.
Negarea echivalenei are ca simbol w, sau
u sau el este p
1 1 0
.
Propoziia compus p w q se citete sau p, sau q, avnd sensul c cele dou
alse mpreun, conform coloanei a zecea din
tabel:

propoziii nu pot fi nici adevrate, nici f

p w q
1
0
0
1
0
1
0
Disjuncia exclusiv
0 1
sau disjuncia tare, obinut prin negarea echivalenei, este
adevrat cnd p i q au valori diferite de adevr.
De exemplu:
Aceste mrimi sunt egale sau ega

3. Metoda tabelelor de adevr

r cu una i dou variabile
folosind functori sau conectori de ordinul unu (negaia) i de
, disjuncie inclusiv, incompa-
bilitate,disjuncie exclusiv). Acum putem folosi aceste cunotine pentru a construi
in le.
Am nvat s construim funcii de adev
propoziionale
ordinul doi (implicaie, echivalen, conjuncie
ti
formule propoziionale (pe scurt, formule).




ulele sunt expresii formate din variabilele poziionale p, q, r
folosind parantezele, astfel nct s se asigure fiecrei expresii o le
formule
propoziionale
Form ,... i conectori,
ctur unic.

Ele sunt scheme de propoziii, adic fac abstracie de coninutul acestora i rein
odul n care sunt alctuite, ca funcii de adevr, din propoziii simple.
Literele p, q, r , ... sunt de asemenea formule, i anume formule atomice,
prin contrast cu acelea n care apar conectori, numite moleculare.
O situaie special o are functorul negaiei, deoarece acesta se aplic i
variabilelor propoziionale i functorilor; de exemplu, formula:
m
formule atomice
) ( q p v p
De fieca i i a
lui, fapt
aseme m folosi,
pentru simplificare, numai paranteze simple; de exemplu,
((p q) & p) q
ag formula ((p q) &
ector poate s aib mai multe
apariii, aa cum s-a ntmplat cu erioar. Parantezele arat la ce se
aplic fiecare conector, n una sau n alta din apariiile lui, n cadrul formulei.
Astfel, n formula anterioar, n a doua sa apariie, conectorul este
ziiilor este o teorie decidabil, adic exist diverse procedee cu ajutorul
a
calculului propoziional este o tautologie, o contradicie sau o formul
ntetic
ocedeu de decizie, foarte simplu, este metoda tabelelor de adevr
sau metoda matricial.
re dat, negaia schimb valoarea de adevr i a variabile
functoru
De
pe care-l vom constata chiar n acest paragraf.
nea, n cadrul formulelor, un rol important l au parantezele; vo
n aceast formul, parantezele arat n primul rnd c functorul & leag
moleculara p q cu atomara p, apoi c functorul le
p) de q.
S mai notm c, n cadrul unei formule, un con
n formula ant


conectorul principal.
formule
moleculare
Conectorul care, ntr-o formul, i acoper pe toi ceilali conectori (inclusiv celelal
S studiem acum utilizarea metodei tabelelor de adevr. Logica propo-
crora se poate decide, printr-un numr finit de pai, dac o formul
metoda
te
eventuale apariii ale sale), se numete conectorul principal al respectivei formule.
tabelelor de adevr
si .
Un astfel de pr
Am vzut c propo
compus
r
operatorilor logici, p



1
ziiile compuse sunt funcii de adevr, adic valoarea logic a
e depinde numai de valorile de adevr ale propoziiilor
mare, date fiind valorile logice ale fiecrei propoziii i definiiile
utem afla valoarea logic de adevr a propoziiei compuse.
propoziiei
componente. Prin u

pozi
oper

Recomandm o form simplificat a metodei tabelei de adevr:
Verificm mai nti unele formule cu o singur variabil: 2 = 2 combinaii.
p v p
1) 1
0
1 0
1 1
(conform definiiei disjunciei inclusive, formula este o tautologie);
p & p
1 2)
0 0 1
0 0
(conform definiiei conjunciei, formula este o contradicie);
p

p
3)
0
1 0 0
1 1
( conform definiiei implicaiei, formula este sintetic sau realizabil).
S verificm mulele cu variabile:
2
2
= 4 co inaii
((p
acum for dou
mb


q) & p)

q
Se procedeaz astfel:
se atribuie variabilelor propoziionale valorile 1 (adevrat) i 0 (fals), conform formulei 2
n
(unde 2 este numrul valorilor de adevr, iar n este numrul variabilelor pro
i se fac toate combinaiile posibile dintre 1 i 0; apoi, folosindu-se definiiile
logici utilizai n formul, se afl valoarea logic a propoziiei compuse.
ionale)
atorilor
1
1
1
0
0 1 1 0 0 1 1 taut
0 1 0 0 0 1
1
0
1
0
1
1
1
1
1
0
0
1 5 2 6 3 7 4

Formula este o
ologie (vezi
coloana 7).
Ultimul rnd cu cifre ez i efe rii raii .
((p
repr int ord nea ctu ope lor
q)

)) (( q) w
0
1
0
1




1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
Aceast formul
este
v & (p

q p /

p)
1
1
0
0
1
1
0
1
1
0
0
1
1
1
0
0
0
1
1
1
0
0
1
1
1
1
0
1
0
0
0
1 0
12 7


sintetic (vezi
coloana 13).

1 8 2 10 3 9 4 13 5 11 6



4. Propozi eg g e

i op iile compu , tol iile d oz ile ntotdeauna
devrate, sunt legi logice.
Aceasta este o caracteristic prin care legile logice se deosebesc de
eauna adevrate, pentru
de adevr depinde de coninutul lor. De exemplu, formula de mai sus, p
q,
turilor de dependen (dintre condiie i consecin, cauz i
efect, mijloc i scop
r
n nici un domeniu fr aplicarea corect a legilor logicii.
acestei aseriuni l ofer analiza limbii. Aa cum am vzut,
ci...). Toate tiinele folosesc aceste conjuncii; prin u
ele folosesc aceleai legturi logice, iar legturile logice impun aceleai legi.

ii compuse care exprim l i lo ic
D ntre pr ozi se tau og , a ic prop ii
Ex i
e ca fo a un sunt 2
erc iu:
V rifi i rmule cu trei variabile propozi ion le, de
3
= 8 combinaii! ?
a
legile tiinelor neformale, exprimabile prin formule sintetice.
tdeauna
gi logice
propozi o
adevrate le
iile nt
sunt
Acestea pot fi adevrate, dar nu sunt ntotd
c valoarea lor
este adevrat numai dac q este un secvent al lui p; nu este o lege logic, dar ea
poate s redea legi ale rapor
etc.).

de metal este nclzit, atunci ea se dilat, unde este exprimat un
raport de cauzalitate.


Nu se poate face tiin
Legile logicii trebuie respectate n orice tiin.
De exemplu,
Dac o ba
Un argument important al
propoziiile se leag ntre ele cu ajutorul unor conjuncii care redau constante logice (i,
sau, dac... atun rmare, toate
tiin
Teoretic, se poate construi o infinitate de formule ntotdeauna adevrate, dar
numai unele, care sunt n numr restrns, au semnificaie n cadrul logicii i au aplicaii
importante pentru construirea de argumente corecte.
Legile logicii se deosebesc astfel de legile celorlalte tiine prin faptul c ele sunt
etern valabile, pentru orice act de gndire, pe cnd legile celorlalte tiine sunt
evr
e variabil este
ragraful 2.4. Nici o consideraie de
coninut nu intr n discuie. Legea identitii este ns util pentru c permite
substiii ntre varia
af
variabil, o formul
A
ea; tehni
i se potriveasc i totodat
e din punct de
un
ad ate numai pentru domeniul unde acioneaz.
4.1. Legi logice cu valoare de principii n logica clasic
Unele tautologii din logica propoziiilor compuse exprim legi care erau
considerate fundamentale n logica clasic. Aceste legi sunt redate n logica modern prin
formule simple pe care le vom studia n continuare.
n calculele logice, aceast lege consemneaz c oric
echivalent cu ea nsi: p p. Echivalena este conectorul logic care
unete enunuri cu aceeai valoare de adevr (ambele sunt adevrate i
ambele false), aa cum am vzut n pa
p
ge entitii
bile i ntre formule. Caracteristica sa principal este nlocuirea ei cu
irmaiei, n sensul c aceasta este exprimat fr folosirea negaiei (o
este ceea ce este).
ceast lege are i alte ntrebuinri n logic: sunt argumente care se bazeaz pe
ca definiiei o presupune; de asemenea, ea trebuie respectat n orice context
pentru ca oamenii s se neleag ntre ei. Asupra acesteia vom mai reveni.
Aristotel a formulat astfel principiul necontradiciei: ... este peste
putin ca unuia i aceluiai subiect s
operaia logic a

s nu i se potriveasc sub acelai raport unul i acelai predicat....
n calculele logice, aceast lege este strns legat de operaia logic a negaiei.
Aceast operaie stabilete relaiile logice dintre propoziiile care sunt opus
vedere al valorii lor de adevr.
Aa cum am vzut n paragraful 2.1. din capitolul II, f
definete prin tabela valorilor de adevr, dup cum urmeaz:
ctorul negaiei se
p
_
p
1 0
0 1
unde p = orice propoziie
propoziiei p
_
p= nega ia
4.1.2. Legea necontradiciei
p
4.1.1. Le a id
Legea necontradiciei arat c p i nu pot fi mpreun adevrate: dac una este
adevrat, cealalt trebuie s fie fals.
_
p
Cele dou linii ale tabelului arat aceasta: cnd p este adevrat este fals, iar
cnd este adevrat, p este f gii este:
_
p
_
p
necontradiciei, posibilitatea limbajului logic este anihilat. De fapt, lege
argum ntrilor, indivizii s-i contrazic propriile opinii exp
als. Structura formal a le
p &
_
p
1
0
1
1
0
1
Aceast lege exprim o condiie necesar a gndirii logice: nu este admis
afirmarea concomitent a unei propoziii i a negaiei sale. Dac este nclcat exigena
a
este respectat n mod spontan. Dar se ntmpl ca, n timpul
e rimate
anterior. n acest sens, se spune c erin econt diciei asigur consecvena logic a
argumentrii. Logica formal este dominat e le necontradiciei. A argumenta corect
nseamn n primul rnd a nu te contrazice. Legea identitii este mai greu nclcat n
argumentarea individului normal i adult. Dar se ntmpl deseori ca indivizii s se
contrazic n propriile lor preri, atunci cnd se nfrunt tendine i interese contrarii.
unei propoziii, este suficient s argumentm adevrul propoziiei opuse, aa cum vom
vedea ntr-un alt paragraf.
consecven logic a
argumentrii
c a n ra
d gea
Legea necontradiciei ntemeiaz anumite inferene; pentru a argumenta falsitatea

Dar nu este cu putin nici ca s existe un termen mijlociu
ntre cele dou extreme ale unei contradicii (Aristotel).

4.1.3. Legea terului exclus

Operaia negaiei nu este complet exprimat prin legea necontradiciei. Ea arat,
aa cum am vzut, c dou propoziii opuse, p i , nu pot fi n acelai timp adevrate.
Dar pot fi ambele false ? Rspunsul l ofer legea terului exclus:
_
p



n logica relaiilor dintre propoziii, aceast lege arat c este necesar ca o formul
alctuit din una sau mai multe variabile s fie sau s nu fie acceptat.
p
Propoziiile p i nu pot fi ambele false (n acelai timp i sub
acelai raport), una trebuie s fie adevrat.
_
p


v
p
1
0
1
1
0
1
Altfel spus, n mod necesar, rop ie trebuie s fie adevrat sau fals, a treia
posibilitate nu exist.
nelegem acum mai bine deosebirea important dintre cele dou legi ale negaiei.
iind adevrat, cealalt trebuie s fie fals. Legea terului exclus

t numai dou valori
e adevr - legea bivalenei sau legea care combin legea necontradiciei cu legea terului
exclus.
Formal, lege
o p ozi
Legea necontradiciei afirm o imposibilitate: nu se poate p ip , de unde se deduce c,
una dintre propoziii f
(tertium non datur) exprim o necesitate: trebuie s fie p sau p , ceea ce duce la
concluzia c, una dintre propoziii fiind fals, cealalt este adevrat.

Legile negaiei se regsesc ntr-o singur lege, cea a bivalenei, care
ntemeiaz ntreaga logic clasic n care se admi
gea bivalenei 4.1.4. Le
d
a se exprim cu ajutorul disjunciei exclusive: sau p sau
_
p
_
p
p w
1
0 1 1
1 0

Pe aceast lege se bazeaz anumite argumentri infereniale, pe care le
vom studia ntr-un paragraf ulterior.
Propoziiile p i
_
p nu po nic dev te, nici false mpreun. t fi i a ra
4.1.5. Legea dublei negaii
Un corolar al celor dou legi ale negaiei este legea dublei negaii:


Negarea negaiei este o afirmaie indirect.


p
p
1
0
1
1
1
0
Aceast lege st la baza constituirii unor inferene numite echivalene i a
argumentelor demonstrative prin reducere la absurd.

4.1.6. Legea ntemeierii sau a
raiunii suficiente sau a
condiionrii
... nici un fapt nu poate fi adevrat sau real, nici o propoziie
veridic, fr s existe un temei, o raiune suficient pentru
care lucrurile sunt aa i nu altfel... (G.W.Leibniz)
n capitolul introductiv am stabilit c operaia logic prin care se realizeaz
ntemeierea propoziiilor enuniative este inferena sau raionamentul. n aceast operaie,
o propoziie numit concluzie se ntemeiaz pe una sau mai multe propoziii numite
premise. Cu alte cuvinte, este o lege care vegheaz asupra desfurrii corecte a
argumentrii. Vom studia aceast lege la un nivel general, ca exprimnd raporturi de
condiionare dintre valorile de adevr ale propoziiilor.
1) (p q) (q p
Dou propoziii conexate prin condiionare sunt, n logica bivalent, adevrate sau
false, de unde rezult c raportul de condiionare este de mai multe tipuri: el se exprim
prin funcii propoziionale al cror conector este implicaia. Astfel, dac p este adevrat,
atunci i q este adevrat, ceea ce este echivalent cu dac q este fals, atunci i p este
fals:



iar, dac q este adevrat i p este adevrat, atunci falsitatea lui p se asociaz cu falsitatea
lui q:

2) (q p) (p q ).

Legea ntemeierii aplicat consecvent ne recomand, pe de o parte,
s nu acceptm ca adevruri aseriuni nedemonstrate, iar, pe de alt parte,
s acceptm propoziii demonstrate, acelea pentru care ni se ofer
s nu acceptm ca
adevruri aseriuni
nedemonstrate
spiritul tiinific
temeiuri suficiente. Formulele (1) i (2) caracterizeaz spiritul tiinific, ncrederea n
cunoaterea tiinific.
A accepta ca adevrate idei nedemonstrate sau a ne ndoi de ceea ce este dovedit
constituie nclcri ale legii ntemeierii, izvorte din atitudini napoiate.

4.2. Propoziii compuse care exprim argumentri infereniale

4.2.1. Caracterizare general; structura inferenei
n paragraful 2 al primului capitol am artat c

a argumenta nseamn a ntemeia unele propoziii cu ajutorul altora iar prin
inferen nelegem un sistem de propoziii n care o propoziie deriv din altele.
Din aceast definiie rezult structura inferenei: propoziia care deriv, pe care o
ntemeiem, se numete concluzie; propoziiile din care derivm, pe baza crora
ntemeiem, se numesc premise.
ntr-un raionament exist ntotdeauna o singur propoziie-concluzie, dar
propoziiile-premise pot fi una sau mai multe. Dac derivm dintr-o singur premis o
concluzie, obinem o inferen imediat, iar dac derivm din dou sau mai multe
premise o concluzie, obinem o inferen mediat.
n funcie de tipul propoziiilor ce joac rol de premise, exist raionamente cu
propoziii simple i raionamente cu propoziii compuse. La rndul lor, raionamentele cu
propoziii compuse se mpart n mai multe categorii, n funcie de felul propoziiilor
compuse ce intr n alctuirea lor.
Inferenele pot fi, aa cum am vzut, corecte, valide sau incorecte, nevalide. O
inferen este corect construit, este valid, dac ntre conjuncia premiselor i concluzie
se instituie un raport de implicaie logic, adic de fiecare dat cnd premisele sunt
adevrate mpreun i concluzia este adevrat. ntr-un raionament valid, premisele fiind
date ca adevrate, concluzia rezult cu necesitate ca fiind adevrat.
Putem testa existena acestui raport de implicaie logic prin metoda tabelelor de
adevr.
Fiecrui tip de inferen i corespunde o anumit schem logic ce poate fi
exprimat printr-o formul propoziional, printr-o propoziie compus condiional,
deoarece, aa cum am explicat, conjuncia premiselor implic concluzia. Dac inferena
este valid, propoziia compus condiional ce o exprim este o tautologie.
Vom prezenta n continuare formulele propoziionale ce exprim structura logic
a celor mai cunoscute argumentri infereniale deductive, corecte, utilizate n practica
argumentrii.

4.2.2. Inferene disjunctive
Inferenele disjunctive sunt acelea n care apar cu rol de premise propoziii disjunctive.
Cel mai des ntlnite n argumentare sunt inferenele disjunctive mixte, la care o
premis este propoziie disjunctiv, iar cealalt premis i concluzia sunt propoziii
simple, enuniative.

n funcie de felul disjunciei, apar mai multe moduri, tipuri de inferene
disjunctive:
Cnd disjuncia este exclusiv i obinut prin negarea conjunciei (incompatibili-
tatea), apare modus ponendo-tollens, care, la rndul su, are dou forme:
p / q p / q
modus
ponendo-tollens
p ((p/q)&p)q q ((p/q)&q) p
q p
n acest caz, afirmm n premise una din propoziiile incompatibile pentru a o
nega n concluzie pe cealalt. De exemplu,
Acest metal este sodiu sau potasiu
Acest metal este sodiu
Acest metal nu este potasiu.
Modus ponendo-tollens i bazeaz corectitudinea pe legea necontradiciei,
studiat n paragraful 4.1.2. din acest capitol.
Cnd disjuncia este inclusiv, apare modus tollendo-ponens, care, la rndul su,
are dou forme:
modus
tollendo-ponens
pvq pvq
p ((pvq) &p) q q ((pvq) &q) p
q p
n acest caz, negm n premise o propoziie pentru a o afirma n concluzie pe
cealalt.
De exemplu,
Aceast carte este un manual pentru studeni sau elevi
Aceast carte nu este un manual pentru studeni
Aceast carte este un manual pentru elevi.
Modus tollendo-ponens este corect pe baza legii terului exclus, conform paragrafului
4.1.3.
Cnd disjuncia este exclusiv i obinut prin negarea echivalenei, sunt posibile
ambele moduri:
p q p q
modus ponendo-tollens
p ((p q) & p) q q ((p q) & q) p
q p

p q p q
modus tollendo-ponens
p ((p q) & p) q q ((p q) & q) p
q p





S ne reamintim legea bivalenei, deoarece aceasta reglementeaz corectitudinea
acestor moduri realizate cu non-echivalena.
Exerciiu:
Construii cele patru forme, avnd ca premis propoziia compus:
Propoziiile sunt sau adevrate, sau false.
?
Denumirile acestor moduri provin din latin, de la verbul ponere, care nseamn
a pune (deci punem, afirmm) i de la verbul tollere, care nseamn a suprima, a
lua.
Inferenele disjunctive joac un rol important n viaa practic i n activitatea
tiinific, deoarece recunoaterea i identificarea obiectelor se face cu ajutorul lor. De
asemenea, unele demonstraii, dup cum vom vedea, au la baz inferene disjunctive.

4.2.3. Inferene ipotetice
Inferenele ipotetice sunt acelea n componena crora intr propoziii ipotetice,
condiionale, care sunt concretizri ale relaiei de implicaie.
Dac premisele i concluzia sunt propoziii ipotetice, atunci apare o inferen
ipotetic pur, numit i silogism ipotetic:
p q
silogism ipotetic
consecina consecinei
este consecina
q r ((pq)&(qr))(pr)
p r
n cazul acestui tip de inferen, acioneaz urmtoarea regul:
consecina consecinei este consecina condiiei.
De exemplu,
Dac copilul e brutalizat, devine nervos
Dac copilul devine nervos, devine indisciplinat
Dac copilul e brutalizat, devine indisciplinat.
Dac doar o premis este propoziie ipotetic, cea de a doua premis i concluzia
fiind propoziii enuniative, apare o inferen ipotetic mixt.
n funcie de felul n care raionm asupra raportului de condiionare suficient
exprimat de premisa ipotetic, obinem dou moduri distincte, dou tipuri de inferene
ipotetice mixte:
a) Cnd raionm n mod direct, apare modus ponendo-ponens, mai scurt, modus ponens:
p q
modus
ponendo-ponens
p ((pq)&p)q
q
n acest caz, tiind c implicaia este adevrat, afirmm n premise antecedentul
(condiia) pentru a afirma n concluzie secventul (consecina).
De exemplu,
Dac pe o planet exist biosfer, atunci exist oxigen
Exist biosfer
Exist oxigen.
b) Cnd raionm indirect, apare modus tollendo-tollens, pe scurt, modus tollens:
p q
modus
tollendo-tolens
q ((p q) & q) p
p
n acest caz, tiind c implicaia e adevrat, negm n premise secventul
(consecina) pentru a nega n concluzie antecedentul.
De exemplu,
Dac pe o planet exist biosfer , exist oxigen
Nu exist oxigen
Nu exist biosfer.
Pe baza raportului de condiionare suficient, putem deci raiona corect n dou
moduri: plecnd de la afirmarea antecedentului sau de la negarea secventului. Dac
plecm de la afirmarea secventului sau de la negarea antecedentului, obinem
raionamente incorecte, nevalide.
afirmarea secventului
p q
q ((p q) & q) p
p
negarea antecedentului
p q
p ((p q) & q) p
q
?

Exerciiu:
Verificai cu ajutorul tabelelor de adevr! Revenii la exemplele (1) i (2) din
paragraful 3, capitolul I i analizai-le pe baza noilor cunotine.
n cazul raportului de condiionare suficient i necesar, raport exprimat prin
conectorul (echivalen) putem raiona corect n patru moduri:
modus ponens de la condiie p q
p ((p q) & p) q
q
modus ponens de la consecin p q
q ((p q) & q) p
p
modus tollens de la condiie p q
p ((p q) &p) q
q
modus tollens de la consecin p q
q ((p q) &q) p
p
Raionamentele ipotetice mixte dein un rol important n demonstraie, alctuind
schema principal a procedeelor pentru susinerea sau combaterea unei teze.
Modus ponens ofer mijlocul principal prin care putem susine adevrul unei
propoziii. Acest mod arat c adevrul unei aseriuni trebuie ntemeiat pe adevrul unei
propoziii antecedente din care deriv.
Modus tollens servete la demonstrarea falsitii unei teze. n acest scop, se cere
s artm c din teza respectiv deriv consecine false.
Exerciiu:
Construii exemple pentru cele dou raionamente incorecte i pentru cele patru moduri
ale echivalenei.

4.2.4. Inferene ipotetico-disjunctive (dileme)
Inferenele ipotetico-disjunctive sunt acelea n componena crora intr att
propoziii condiionale, ct i propoziii disjunctive. Aceste inferene combin n
anumite feluri modurile studiate anterior, rezultnd patru tipuri de dileme.
dileme
Dilemele au trei premise, dintre care dou sunt propoziii condiionale, iar una disjunctiv.
Concluzia este fie o propoziie enuniativ, fie o propoziie disjunctiv: dac e o
propoziie enuniativ, dilema se numete simpl; dac e o propoziie disjunctiv, dilema
se numete complex. dac propoziia-concluzie este afirmativ, dilema se numete
constructiv; dac propoziia-concluzie este negativ, dilema este distructiv.
p q
Dilema constructiv simpl
r q
p v r
q ((pq)&(rq)&(pvr))q
De exemplu,
Dac citesc lecia, nseamn c nv
Dac-mi fac temele, nseamn c nv
Citesc lecia sau mi fac temele
nv.
n cazul acestei dileme, afirmm n premisa disjunctiv cei doi antecedeni ai
premiselor condiionale, pentru a afirma n concluzie secventul prezent n ambele
premise condiionale.

p q
r s
p v r
q v s
Dilema constructiv complex


((pq)&(rs)&(pvr))(qvs)
De exemplu,
Dac citesc lecia, nseamn c nv
Dca citesc ziarul, nseamn c m relaxez
Citesc lecia sau citesc ziarul
nv sau m relaxez.
n cazul acestei dileme, afirmm n premisa disjunctiv ambii antecedeni ai
premiselor ipotetice, pentru a afirma n concluzie cei doi secveni unii prin disjuncie.
p q
p r
q v r ((p q) & ( p r & (q vr )) p
p
Dilema distructiv simpl

De exemplu,
Dac nv, obin note mari
Dac nv, am cunotine solide
Nu obin note mari sau nu am cunotine solide
Nu nv.

n cazul acestei dileme, negm n premisa disjunctiv ambii secveni din
premisele ipotetice, pentru a nega n concluzie antecedentul din premisele ipotetice.
p q Dilema distructiv complex
r s
q vs ((p q) & (r s & (q vs)) (p vr )
p vr

De exemplu,
Dac nv logic, atunci raionez corect
Dac nv gramatic, atunci tiu s scriu corect
Nu raionez corect sau nu scriu corect
N-am nvat logic sau n-am nvat gramatic.
n cazul acestei dileme, unim n premisa disjunctiv negaiile celor doi secveni
din premisele condiionale, pentru a uni n concluzie prin disjuncie negaiile celor doi
antecedeni din premisele condiionale.

Dilema, n forme simple sau complexe, este o arm puternic de combatere. Teza
adversarului este analizat n toate interpretrile posibile, artndu-se c fiecare
dintre ele este inacceptabil.





Set By T-D1 (yth_1100ro@yahoo.com)