Sunteți pe pagina 1din 32

Logica

propoziiilor
CURS IX
Asist dr. Mihai
BURLACU
Cuprins

Propoziiile categorice

Logica propoziiilor compuse cu operatori


verifuncionali

Negaia

Conjuncia

Disjuncia

Excluziunea

Implicaia

Echivalena

Incompatibilitatea

Rejecia
Propoziiile categorice (I)

n logic propoziie categoric sau de predicaie


(numit aa de la gr. kategorein: a predica, adic
a atribui o proprietate) este orice propoziie n care
se enun ceva despre un obiect determinat sau
despre membrii unei clase de obiecte.
Propoziiile categorice (II)

O propoziie categoric are subiect i


predicat.
Subiect Predicat
Subiectul propoziiei
categorice este termenul
care desemneaz ceva.
Predicatul este termenul
prin care se enun ceva
despre ceea ce
desemneaz subiectul.
Copul
Raportul de predicaie din
propoziiile categorice

Evideniat la nivelul limbajului comun prin copul


(este).

Poate f evideniat i prin forma gramatical a


termenului predicat.

Cursul este ncnttor. Cursul ncnt.


Observaie: O propoziie categoric poate f
exprimat n forme gramaticale diferite, unele de
mare complexitate.
Clasifcarea propoziiilor
categorice dup criteriul
calitii

Afrmative, caz n care proprietatea


predicat este afrmat despre subiect.

Negative, caz n care proprietatea


predicat este negat n legtur cu
subiectul.
Clasifcarea propoziiilor
categorice dup criteriul
cantitii

Singulare, caz n care subiectul este


termen singular.

Generale, care la rndul lor pot f:

Universale, caz n care predicatul enun


ceva despre ntreaga extensiune a
subiectului.

Particulare, caz n care predicatul este


enunat despre o parte a extensiunii
subiectului.
Cele 4 tipuri de propoziii
categorice cu subiect general

Combinnd aceste criterii de clasifcare i admind c


propoziiile singulare pot f tratate ca universale ntruct
predicatul lor enun ceva despre ntreaga extensiune a
subiectului care este termen singular, se obin 4 tipuri de
propoziii categorice cu subiect general:
A: Universal afrmativ: Toi S sunt P: SaP
E: Universal negativ: Niciun S nu este P: SeP
I: Particular afrmativ: Unii S sunt P: SiP
O: Particular negativ: Unii S nu sunt P: SoP
Observaii

Semnele sincategorematice toi i niciun acoper n


formulrile anterioare i cazul limit al clasei S cu un
singur element, cazul propoziiei singulare.

Subiectul i predicatul unei propoziii categorice


particip la semnifcaia acesteia cu intensiunea i
extensiunea lor. Astfel, din punct de vedere intensional,
o propoziie SaP consemneaz faptul c proprietatea S
este nsoit totdeauna de proprietatea P, din punct de
vedere extensional SaP consemnnd incluziunea clasei
S n clasa P.
Raporturile dintre terenii (!"
P) Propoziiilor Categorice
Diagrame
Propoziii
SaP SeP SiP SoP
Euler


Venn


Observaii

#n reprezentarea cu diagrame Euler" a utilizat linia


continu pentru a sugera certitudinea in$oraiei
reprezentate grafc %i linia &ntrerupt pentru a sugera
caracterul vag al respectivei in$oraii.

#n diagramele Venn" dup cu ar trebui s%tii" este


arcat cu ' zona nevid (&n care" adic" se %tie c
e'ist cel puin un eleent)" este (a%urat zona vid %i
este nearcat zona despre care lipse%te in$oraia.
Clasifcarea prpopoziiilor
categorice

ntre propoziiile categorice exist tot felul de


relaii. Considernd S i P (i.e. subiectul i
predicatul) propoziiei categorice drept argumente
ale acesteia, putem mpri propoziiile n:

Simple (i.e. atomice): propoziii ale cror argumente


sunt termeni;

Compuse (i.e moleculare): Propoziii ale cror


argumente sunt propoziii. Propoziiile compuse pot f,
la rndul lor:
1. Cu operatori verifuncionali
2. De modalitate
Clasifcarea propoziiilor
copuse
1. Cu operatori verifuncionali: propoziii
cu valoare de adevr determinat univoc
de valorile de adevr ale argumentelor
legate cu ajutorul operatorilor logici.
2. De modalitate: Propoziii cu valoare de
adevr dependent de tipul operatorilor
logici care leag argumentele.
Logica propoziiilor copuse
cu operatori veri$uncionali

Vom numi funcie de adevr raportul de


coresponden ntre valorile de adevr ale
propoziiilor elementare (simple, atomice)
i valoarea de adevr a propoziiei
compuse din acestea. Vom reprezenta
astfel funcia de adevr:

a
= T
C
(p,q) T
O
(p,q); T={0,1}
)uncia de adevr

T
C
(p,q): Valorile de adevr ale propoziiilor elementare
ce alctuiesc propoziia compus.

T
O
(p,q): Valorile de adevr ale rezultatelor
operaiei/operaiilor logice asupra propoziiilor
elementare.

Valorile de adevr: fals (0) i adevrat (1).

Logica identifc i opereaz cu 16 funcii elementare de adevr,


funcii ce acoper intervalul raporturilor de coresponten posibile
ntre valorile de adevr de la tautologie
Observaie cu privire la
tabelele $unciilor de adevr

Tabelele funciilor elementare de adevr


evideniaz regulile specifce de adevr
ale acestor funcii. Cunoaterea regulilor
de adevr este util n evaluarea logic a
propoziiilor compuse.
*egaia (I)

Funcie de adevr monar ( adic cu un singur


argument) ce ia valoarea logic adevrat (1) cnd
argumentul ia valoarea logic fals (0) i invers.
Negaia este simbolizat p, se citete Nu este
adevrat p, are semnifcaia intuitiv a
contestrii valorii logice a propoziiei date i se
reprezint tabelar astfel:
p p
1 0
0 1
Regula de adevr:
Valoarea de adevr a
negaiei este opus
valorii de adevr a
propoziiei negate.

Valoarea de adevr a negaiei este opus valorii de adevr a propoziiei negate.


Pentru p=1, p=0
Pentru p=0, p=1

Utiliznd notaia lui Willard Van Orman Quine (1908 2000):


p = (p)
Dac p= , p= + ,
Dac p= , p= , +
*egaia (II)
Legend:
+ pentru propoziie
adevrat.
, pentru propoziie $als.
Con-uncia (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic adevrat
(1) atunci i numai atunci cnd ambele argumente sunt
adevrate. Conjuncia este simbolizat p&q (sau p^q),
se citete p i q, are semnifcaia intuitiv a conexiunii
simple a faptelor exprimate n propoziiile p i q i se
reprezint tabelar astfel:
p q p&q
1 1 1
1 0 0
0 1 0
0 0 0
Con-uncia (II)
Regula de adevr Nr. 1:
.ac o coponent a
con-unciei este adevrat"
valoarea de adevr a
con-unciei este dat de
valoarea de adevr a
celeilalte coponente/
p0+ 1 p
.ac p1 +" +0+ 1 +

.ac p1 ," ,0+ 1 ,
Regula de adevr Nr. 2:
.ac o coponent a
con-unciei este $als"
con-uncia este $als/
p0, 1 ,
.is-uncia (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic fals (0)
atunci i numai atunci cnd ambele argumente sunt
false (0). Disjuncia este simbolizat pvq, se citete p
sau q, semnifc intuitiv faptul c cel puin una dintre
strile de fapt exprimate n propoziii se realizeaz
i este reprezentat tabelar astfel:
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
.is-uncia (II)
Regula de adevr Nr. 1:
.ac o coponent a
dis-unciei este adevrat"
dis-uncia este adevrat/
pv = + +
pv = p ,
.ac p1 +" + v, 1 +
.ac p1 ," , v, 1 ,
Regula de adevr Nr. 2:
.ac o coponent a
dis-unciei este $als"
valoarea de adevr a
dis-unciei este dat de
valoarea celeilalte
coponente/
2'cluziunea (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic fals (0)
atunci cnd argumentele ei au aceeai valoare logic i
valoarea logic adevrat (1) atunci cnd argumentele au
valori logice diferite. Excluziunea este simbolizat pwq
(sau p+q), se citete sau p sau q, semnifc intuitiv faptul
c unul i numai unul dintre faptele exprimate n
propoziii se realizeaz i este reprezentat tabelar astfel:
p qpwq
1 1 0
1 0 1
0 1 1
0 0 0
2'cluziunea (II)
Regula de adevr Nr. 1:
.ac o coponent a
e'cluziunii este adevrat"
atunci valoarea de adevr a
e'cluziunii este dat de
valoarea de adevr a
negaiei celeilalte
coponente/
Regula de adevr Nr. 2:
Dac o component a
excluziunii este fals, valoarea
de adevr a excluziunii este
dat de valoarea de adevr a
celeilalte componente.
p3 = p +
.ac p1 +" + 3+ 1 ,
.ac p1 ," , 3+ 1 +
p3 = p ,
.ac p1 +" + 3 , 1 +
.ac p1 ," , 3 , 1 ,
Iplicaia (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic fals (0)
atunci i numai atunci cnd antecedentul este adevrat
(1) i consecventul este fals (0). Implicaia este simbolizat
pq, se citete dac p atunci q, semnifc intuitiv c este
imposibil ca faptul exprimat n antecedent s se
realizeze iar faptul exprimat n consecvent s nu se
realizeze i este reprezentat tabelar astfel:
p qpq
1 1 1
1 0 0
0 1 1
0 0 1
Iplicaia (II)
Regula de adevr Nr. 1:
.ac o coponent a
iplicaiei este adevrat"
atunci valoarea de adevr a
iplicaiei este dat de
valoarea de adevr a
consecventului/
Regula de adevr Nr. 2:
Dac o component a
implicaiei este fals, valoarea
de adevr a implicaiei este
dat de valoarea de adevr a
negaiei antecedentului.
p = p ,
.ac p1 +" +4,1 ,
.ac p1 ," , 4,1 +
+ p = p
.ac p1 +" + 4+ 1 +
.ac p1 ," +4,1 ,
2c(ivalena (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic adevrat (1)
atunci cnd ambele argumente au aceeai valoare logic i
valoarea logic fals (0) cnd argumentele au valori logice
diferite. Echivalena este simbolizat p q , se citete dac
i numai dac p atunci q, semnifc intuitiv c ambele
fapte exprimate n propoziii fe se realizeaz fe nu se
realizeaz i este reprezentat tabelar astfel:
p qpq
1 1 1
1 0 0
0 1 0
0 0 1
2c(ivalena (II)
Regula de adevr Nr. 1:
.ac o coponent a
ec(ivalenei este
adevrat" atunci valoarea
de adevr a ec(ivalenei
este dat de valoarea de
adevr a celeilalte
coponente/
p = p 5+
.ac p1 +" + 5+ 1 +
.ac p1 ," , 5+ 1 ,
Regula de adevr Nr. 2:
.ac o coponent a
ec(ivalenei este $als"
valoarea de adevr a
ec(ivalenei este dat de
valoarea de adevr a
negaiei celeilalte
coponente/
p = p 5,
.ac p1 +" + 5,1 ,
.ac p1 ," , 5,1 +
Incopatibilitatea (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic fals (0)
atunci i numai atunci cnd ambele argumente sunt
adevrate. Incompatibilitatea este simbolizat p/q (sau
p q), se citete nu p sau nu q, semnifc intuitiv c cel
mult unul dintre faptele exprimate de cele dou
propoziii se realizeaz i este reprezentat tabelar
astfel:
p q p/q
1 1 0
1 0 1
0 1 1
0 0 1
Incopatibilitatea (II)
Regula de adevr Nr. 1:
.ac o coponent a
incopatibilitii este
adevrat" atunci valoarea
de adevr a
incopatibilitii este dat
de valoarea de adevr a
negaiei celeilalte
coponente/
p/ = p +
.ac p1 +" + 6+ 1 ,
.ac p1 ," , 6+ 1 +
p/= , +
Regula de adevr Nr. 2:
.ac o coponent a
incopatibilitii este $als"
incopatibilitatea este
adevrat/
Re-ecia (I)

Funcie de adevr binar (cu dou argumente, adic


legnd dou propoziii) care ia valoarea logic adevrat
(1) atunci i numai atunci cnd ambele argumente sunt
false. Rejecia este simbolizat p q, se citete nici p
nici q, semnifc intuitiv c niciunul dintre faptele
exprimate de cele dou propoziii nu se realizeaz i
este reprezentat tabelar astfel:
p qp q
1 1 0
1 0 0
0 1 0
0 0 1
Re-ecia (II)
Regula de adevr Nr. 1:
.ac o coponent a
re-eciei este adevrat"
re-ecia este $als/
p = + ,
Regula de adevr Nr. 2:
.ac o coponent a
re-eciei este $als" atunci
valoarea de adevr a
re-eciei este dat de
valoarea de adevr a
negaiei celeilalte
coponente/
p = p ,
.ac p1 +" + , 1 ,
.ac p1 ," , , 1 +