Кирлĕ тата çителĕклĕ малсăлтавсем

Туллирех статья пур
 Урăх чĕлхе уйрăмĕнче туллирех статья пур Necessity and sufficiency(акăлч.)
Çак статьяна куçарса эсир проекта пулăшма пултаратăр.
Хĕрхĕлтĕм талккăшра пулни А ăшĕнче пулассин çителĕклĕ малсăлтавĕ, анчах кирлĕ сăлтав мар. A ăшĕнче пулни хĕрхĕлтĕм талккăшра пулассин кирлĕлĕхĕ, анчах ку çителĕклĕ мар. A тата B ăшĕнче пулни хĕрхĕлтем талккăшра пулма кирлĕ тата çителĕклĕ

Кирлĕ малсăлтав тата çителĕклĕ малсăлтав — пĕр-пĕр шухăшларăшпа логикăлла çыхăннă малсăлтавсен тĕсĕсем. Çав малсăлтавсен уйрăмлăхĕсем логикăра тата математикăра пĕлтерĕшлĕ.

Çавăн пекех

[тӳрлет | кодне тӳрлет]

Асăрхавсем

[тӳрлет | кодне тӳрлет]

Литература

[тӳрлет | кодне тӳрлет]
  • Эдельман С. Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.
  • Гиндикин С. Г. Алгебра логики в задачах. — М.: Наука, 1972. — 288 с.

Каçăсем

[тӳрлет | кодне тӳрлет]