Please enable JavaScript.
Coggle requires JavaScript to display documents.
Tipuri de propoziții și valoarea de adevăr - Coggle Diagram
Tipuri de propoziții și valoarea de adevăr
1. Propoziții logice
Se referă la propoziții care pot fi
adevărate
sau
false
.
3. Clasificare după extensiune
Universale
Exemplu:
„Toți oamenii au nevoie de odihnă.”
Predicat:
O(x): „x este om”
R(x): „x are nevoie de odihnă”
Simbolizare logică:
∀x(O(x)→R(x))
Particulare
Exemplu
: „Unii elevi citesc.”
Predicat:
E(x): „x este elev”
C(x): „x citește”
Simbolizare logică:
∃x(E(x)∧C(x))
4. Valoarea de adevăr
Propoziții
adevărate
Confirmate prin raționament sau observație
Exemplu:
„Apa fierbe la 100°C.”
Propoziții
false
Contrazic realitatea sau raționamentul logic
Exemplu:
„Toate cercurile au colțuri.”
5. Exemple mixte
Universală afirmativă compusă
Exemplu:
„Toți elevii care învață iau note bune.”
Predicat:
E(x): „x este elev”
I(x): „x învață”
N(x): „x ia note bune”
Simbolizare logică:
∀x [(E(x) ∧ I(x)) → N(x)]
Particulară afirmativă compusă
Exemplu|:
„Unii elevi învață și participă la concursuri.”
Predicat:
E(x): „x este elev”
I(x): „x învață”
P(x): „x participă la concursuri”
Simbolizare logică:
∃x (E(x) ∧ I(x) ∧ P(x))
2. Clasificare după structură
Afirmative
Exemplu
: „Toți elevii sunt atenți.”
Predicat
:
E(x): „x este elev”
A(x): „x este atent”
Simbolizare logică
: ∀x(E(x)→A(x))
Negative
Exemplu:
„Niciun elev nu este neatent.”
Predicat:
E(x): „x este elev”
A(x): „x este atent”
(„Neatent” = ¬A(x))
Simbolizare logică:
¬∃x(E(x)∧¬A(x))≡∀x(E(x)→A(x))