Propozitii cu cuantificatori: exercitii de traducere si evaluare

Cuantificatorii sunt cuvinte care arata „cât” dintr-o multime are o anumita proprietate. In logica clasica, folosim doi cuantificatori de baza: cuantificatorul universal („pentru orice”, „toți”, simbolic ∀) si cuantificatorul existential („există cel putin un”, „unii”, simbolic ∃). O propozitie cu cuantificator se numeste propozitie cuantificata.

De exemplu: „Toate pisicile sunt mamifere” se scrie ∀x (Pisică(x) → Mamifer(x)), iar „Unele pisici sunt negre” se scrie ∃x (Pisică(x) ∧ Negru(x)). Este important sa intelegem diferenta: propozitia universala spune ceva despre fiecare element din universul de discurs, pe cand cea existentiala spune ca exista cel putin un element care indeplineste conditia. Pentru a traduce corect dintr-un enunt in limbaj natural in logica, trebuie sa identificam: (1) universul de discurs (de exemplu, „toate animalele” sau „toate fiintele”), (2) predicatele (proprietatile), (3) daca avem de-a face cu o afirmatie despre toate elementele sau doar despre unele.

De asemenea, negatiile sunt delicate: negarea unei propozitii universale („Nu toate pasarile zboara”) este echivalenta cu o propozitie existentiala („Exista o pasare care nu zboara”). Invers, negarea unei propozitii existentiale („Nu exista pisici care sa zboare”) este echivalenta cu o propozitie universala („Toate pisicile nu zboara” sau „Nicio pisica nu zboara”). In exercitiile de evaluare, trebuie sa stabilim daca o propozitie cuantificata este adevarata sau falsa intr-un anumit context (de exemplu, intr-o multime de animale cunoscute).

Pentru clasa a 5-a, ne concentram pe traducerea simpla (de la limbaj natural la forma logica) si pe evaluarea adevarului intr-o lume mica, iar pentru clasele mai mari (7-8) adaugam negatii si deductii simple.

Exemple

• Exemplul 1: Traduceti in logica: „Toti elevii din clasa sunt harnici.” Universul de discurs: elevii din clasa. Predicat: H(x) = „x este harnic”. Raspuns: ∀x H(x). Explicatie: Spunem ca pentru orice elev x, proprietatea H(x) este adevarata.
• Exemplul 2: Traduceti in logica: „Exista o floare care este rosie.” Universul de discurs: florile. Predicat: R(x) = „x este rosie”. Raspuns: ∃x R(x). Explicatie: Spunem ca exista cel putin o floare x pentru care R(x) este adevarata.
• Exemplul 3: Evaluati propozitia „∀x (Carte(x) → Interesanta(x))” intr-o lume cu doua carti: Cartea A este interesanta, Cartea B nu este interesanta. Raspuns: Fals. Explicatie: Pentru x = Cartea B, Carte(B) este adevarat, dar Interesanta(B) este fals, deci implicatia este falsa. Nu toate cartile sunt interesante.

Concepte cheie: Cuantificator universal (∀), Cuantificator existential (∃), Traducerea din limbaj natural in logica, Evaluarea valorii de adevar a propozitiilor cuantificate, Negatia propozitiilor cu cuantificatori