negație logică (inversiune)

Determinarea conjuncția a două propoziții se extinde în mod natural la orice număr finit de elemente: conjuncția A1 A2 A3 . O adevărată dacă și numai dacă toate declarațiile adevărate A1. A2. A3. AN (și, prin urmare, fals, fals atunci când cel puțin una dintre aceste declarații).

Adăugarea logică (disjuncție) din disjunctio latină # 8213; separare, o distincție.

Dacă două expresii sunt conectate prin cuvântul „sau“, complexul rezultat este în general considerată o adevărată declarație atunci când adevărat cel puțin una dintre componentele de vorbire. De exemplu, ia în considerare două afirmații: „Mel este negru.“ (A), "Consiliul de negru." (B). Spunând „cretă neagră sau bord negru“ ar fi adevărat, pentru că una dintre frazele originale (B) este adevărat.

Astfel disjungerea două declarații se numește o nouă declarație, care este adevărată dacă și numai dacă este adevărat, cel puțin una dintre aceste declarații.

Determinarea disjuncției a două enunțuri se extinde în mod natural la orice număr finit de elemente: disjuncției V A1 A2 A3 V V. V AN adevărată dacă și numai dacă este adevărat, cel puțin una dintre declarațiile A1, A2, A3. AN (și, în consecință, fals, fals atunci când toate aceste declarații).

Implicația logică (implicație) din implico latină # 8213; strâns legate.

În discuția noastră, mai ales în dovezi matematice, deseori folosim enunțuri complexe formate prin utilizarea cuvântului „în cazul în care. Apoi ..“ Aici, afirmația care urmează cuvântul „dacă“ se numește de bază sau trimiterea, și spunând, aflat după cuvântul „care“ se numește consecința sau concluzie.

Astfel, implicația A => B este o afirmație care este falsă dacă și numai dacă A este adevărat și B este fals.

Scriem această definiție sub forma unui tabel de adevăr:

Identitatea logică (echivalență).

Astfel, echivalența două declarații A și B este o afirmație care este adevărată dacă și numai dacă ambele aceste declarații A și B sunt adevărate sau ambele sunt false.

Dă exemple de înregistrare Exemple de complexe folosind Conectivele denumiri logice:
„Pentru a fi sau a nu fi # 8213; aceasta este întrebarea. „(William Shakespeare) V ¬ A <=>
„Dacă vrei să fii frumos, el a intrat husarii.“ (Prutkov) A => B