Examenul de bacalaureat 2011

Proba de evaluare a competenelor digitale document de lucru

PROPOZIII

COMPUSE
Limba natural conine expresii lingvistice care nu pot fi formalizate
[...], n cadrul unei logici a termenilor i prin intermediul propoziiilor
categorice. O expresie propoziionale precum: - Dac este prea frig, nu voi
merge la plimbare - nu poate fi abordat ca o propoziie categoric, n acest
sens fiind creat o alt logic numit fie logic propoziional, fie logica
propoziiilor compuse etc.
Numele de propoziie compus, provine de la faptul c n structura
unei propoziii compuse se pot pune n eviden cel puin o propoziie simpl
i cel puin o constant logic. [...]
Propoziiile compuse se obin aplicnd anumite operaii logice la
propoziiile simple, iar mai precis este vorba de a aplica aceste operaii la
valoarea de adevr a propoziiilor simple. De aceea, propoziiile compuse
sunt tratate ca funcii de adevr, respectiv valoarea de adevr a unei
propoziii compuse depinde de valoarea de adevr a propoziiilor simple. [...]

n limbile naturale, mecanismul negrii este

neuniform, respectiv modul de construire a negaiei unei
propoziii este n funcie de forma logico-lingvistic pe
care propoziia o are deja.
Astfel, propoziia negativ Nu p este echivalent, n esen, cu Nu
este adevrat c p, dar n anumite contexte, diferena dintre cele dou
moduri de exprimare este evident. [...]
Chiar dac din punct de vedere gramatical se spune despre
conjuncie c leag pri de propoziie, din punct de vedere logic este vorba
de legarea a dou propoziii. [] Cu toate acestea, conjuncia gramatical
i nu ndeplinete ntotdeauna rolul unei conjuncii logice. [...]

experimentat

Examenul de bacalaureat 2011

Proba de evaluare a competenelor digitale document de lucru

Proprietile principalilor operatori propoziionali:

1. negaia
a) principiul terului exclus;
b) principiul noncontradiciei;
c) legea dublei negaii;
2. conjuncia
a) idempotena conjunciei;
b) contragerea conjunciei;
c) comutativitatea conjunciei;
d) asociativitatea conjunciei;
3. implicaia
a) tranzitivitatea implicaiei;
b) contrapoziia implicaiei;
c) distributivitatea implicaiei fa de conjuncie;
d) distributivitatea implicaiei fa de disjuncie;

(Adaptat dup Manualul de Logic i argumentare, clasa a IX-a, Elena

Lupa, Victor Bratu, Maria Dorina Stoica) http://www.sprestele.ro/index.php?
option=com_content&view=article&id=53:formareauniversului&catid=35:date-generale&Itemid=54

experimentat