👤
a fost răspuns

Se dau urnatoarele propozitis:
1. Unele medleamente nu au contraindicapli
2. Uncle dureri sun suportabile.
A. Precizati formulele logice corespunzitoare propoziffilor 1 si 4. (0,5p)
3. Nicio neatentie in trafic nu este scuzabila.
4. Toate esecurile sum lecili de viajo.
B. Construiti, aât in limbaj formal cût si in limbaj natural, subcontrara propozitiei 1, contradictoria propozitiei 2. subcontrara subalterei propozitici 3, si contradictoria contrarei propozitie 4. (2p)
C. Aplicati explicit operatiile de conversiune si obversiune, pentru a deriva conversa si obversa corecte ale fiecareia dintre propozifitle 2 si 4, atât in limbaj formal, cât si in limbaj natural. (2p)
D. Construiti, atât in limbaj formal cât si in limbaj natural conversa obversei subalterei propozitiei 3 si obversa conversei propozifici 4. (2p)
E. Doi clevi, X si Y, opineaza astfel:
X: Daca toji caini sunt animale cu blana, atunci toute animalele cu blană sunt cáini.
Y: Dacã unele can i cu teste pentru bacalaureat nu sunt ieftine, atinci nicio carte cu teste pentru bacalaureat nu este ieftina.
Pomind de la accasta situatie:
a. scrieti, in limbaj formal, opiniile celor doi elevi; (1p)
b. explicati/justificati corectitudinea rationamentelor formalizate(cu ajutorul legii distribuirii termenilor).


Răspuns :

Răspuns:

A. Formulele logice corespunzătoare propozițiilor 1 și 4 sunt:

1. Unele medicamente nu au contraindicații: ∃x (M(x) ∧ ¬C(x))

4. Toate eșecurile sunt lecții de viață: ∀x (E(x) → L(x))

B. Subcontrara propoziției 1 în limbaj formal: ¬(∃x (M(x) ∧ ¬C(x)))

Subcontrara propoziției 1 în limbaj natural: Nu există medicamente fără contraindicații.

Contradictoria propoziției 2 în limbaj formal: ¬(¬D(x))

Contradictoria propoziției 2 în limbaj natural: Durerea nu este suportabilă.

Subcontrara subalterei propoziției 3 în limbaj formal: ¬(∀x (N(x) → S(x)))

Subcontrara subalterei propoziției 3 în limbaj natural: Există unele neatenții în trafic care sunt scuzabile.

Contradictoria contrarei propoziției 4 în limbaj formal: ¬(∀x (E(x) → ¬L(x)))

Contradictoria contrarei propoziției 4 în limbaj natural: Nu toate eșecurile sunt lecții de viață.

C. Conversația și obversa corectă ale propoziției 2 în limbaj formal:

Conversația: ∀x (D(x) → S(x))

Obversa: ∃x (D(x) ∧ ¬S(x))

Conversația și obversa corectă ale propoziției 2 în limbaj natural:

Conversația: Toate durerile sunt suportabile.

Obversa: Există unele dureri care nu sunt suportabile.

Conversația și obversa corectă ale propoziției 4 în limbaj formal:

Conversația: ∀x (E(x) → L(x))

Obversa: ∃x (E(x) ∧ ¬L(x))