Fişǎ de recapitulare pentru teză la disciplina Logicǎ

-SEMESTRUL II-

1. Construiţi un exemplu de demonstraţie: a) prin excludere b) prin absurd.

2. Fie următoarele argumente:

a) Alin este la bibliotecă.
Ioana este la bibliotecă.
Mihnea este la bibliotecă
Alin, Ioana şi Mihnea sunt toţi copiii familiei Stan.
Toţi copiii familiei Stan sunt la bibliotecă.
Tipul argumentului:_________________________

b) Ionuţ şi Costin sunt prieteni şi au note bune la matematică. Ionuţ a obţinut rezultate bune la olimpiada
de matematică, prin urmare şi Costin va obţine rezultate bune la olimpiada de matematică
Tipul argumentului:_________________________

c) Pisica are blană.

Tigrul are blană.
Leul are blană.
Pisica, tigrul şi leul sunt unele feline.
Probabil, toate felinele au blană.
Tipul argumentului:_________________________

a) precizaţi tipul argumentelor;

b) realizati corespondenta între elementele limbajului natural si cele ale limbajului logic.
c) realizaţi schema logică specifică.
d) definiţi argumentele identificate.

3. Pentru următoarele argumente cu propoziţii compuse:

a) realizaţi corespondenţa dintre variabilele propoziţionale şi propoziţiile simple;
b) identificaţi conectorii logici;
c) determinaţi formula logică corespunzătoare ;

A. Dacă sunt conştiincios, atunci am rezultate bune. Dacă am rezultate bune, atunci am să reuşesc în
viaţă. Sunt conştiincios sau am rezultate bune, rezultă că reuşesc în viaţă

B. Elena fie şi-a realizat tema la matematică, fie a mers în club. Dacă şi-a realizat tema la matematică,
atunci va obţine o notă mare, iar dacă a fost în club s-a întâlnit cu Mihai. Elena s-a întâlnit cu Mihai, prin
urmare, ea nu şi-a realizat rema la matematică.

4. Determinaţi validitatea următoarelor formule logice folosind metoda tabelelor de adevăr, precizând
totodată şi tipul formulei în funcţie de rezultatul obţinut.
a) [ (~q ↔ p)] → q b) [(~p & q)] ↔q c) [ (pwq) &~q] → ~p

5. Construiţi argumente pe baza schemelor de mai jos şi precizaţi tipul acestora.

p→q pwq p vq
p____ p___ ~ p___
q ~q q