Bac Matematică
← Toate lecțiile
Clasa a IX-aAlgebră

Logică matematică și inducție

Propoziții, cuantificatori și negațiile lor, apoi metoda inducției matematice pe cele trei tipuri de probleme: sume, divizibilitate, inegalități.

Bac Matematică · Algebră · clasa a IX-a

Logică matematică și inducție

1Propoziții și operații logice

Pentru p\displaystyle p: „2\displaystyle 2 e prim” (adevărat) și q\displaystyle q: „4<3\displaystyle 4 < 3” (fals)

Operația

Se citește

Adevărată când

Aici

¬p\displaystyle \neg p

non p\displaystyle p

p\displaystyle p e falsă

fals

p∧q\displaystyle p \wedge q

p\displaystyle p și q\displaystyle q

amândouă sunt adevărate

fals

p∨q\displaystyle p \vee q

p\displaystyle p sau q\displaystyle q

măcar una e adevărată

adevărat

p⇒q\displaystyle p \Rightarrow q

dacă p\displaystyle p, atunci q\displaystyle q

nu e cazul „p\displaystyle p adevărată, q\displaystyle q falsă”

fals

q⇒p\displaystyle q \Rightarrow p

dacă q\displaystyle q, atunci p\displaystyle p

la fel

adevărat

O implicație cu ipoteza falsă e adevărată: „dacă 4<3\displaystyle 4 < 3, atunci 2\displaystyle 2 e prim” nu poate fi contrazisă.

Contrapozitiva

p⇒q\displaystyle p \Rightarrow q e echivalentă cu ¬q⇒¬p\displaystyle \neg q \Rightarrow \neg p. Reciproca q⇒p\displaystyle q \Rightarrow p nu e, în general, echivalentă cu ea.

De ce e adevărat

„Dacă n\displaystyle n e par, n2\displaystyle n^2 e par” spune același lucru ca „dacă n2\displaystyle n^2 e impar, n\displaystyle n e impar”. Dar „dacă un număr se divide cu 4\displaystyle 4, e par” e adevărată, iar reciproca ei („dacă e par, se divide cu 4\displaystyle 4”) e falsă: 6\displaystyle 6.

  1. 2Cuantificatori
  2. 3Inducția matematică
  3. 4Pe scurt și antrenament

Restul lecției e în Pro

Încă 3 secțiuni, cu exemple rezolvate pas cu pas, capcanele în care se pierd puncte la Bac și exerciții cu răspunsul ascuns.