«ДƏЛЕЛДЕУ» ҰҒЫМЫНЫҢ КЕЙБІР ЕРЕКШЕЛІКТЕРІ
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Қарму басп.
Abstract
В статье рассматривается связь между понятиями «полная система связок» и «доказатель-
ство формулы с помощью гипотез», т.е. связь между семантикой и синтаксисом. Показана
методика построения доказательства формулы с помощью производных правила вывода.
It is considered connection between notion “complete of connectives” and notion “proving of formula
from hypothesis”, i.e. connection between semantics and syntax. In is showed method of proving
of formula from derived rules of derivation.
Description
Keywords
Citation
Жетпісов Қ. «ДƏЛЕЛДЕУ» ҰҒЫМЫНЫҢ КЕЙБІР ЕРЕКШЕЛІКТЕРІ /Қ.Жетпісов //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2009.-№1.-Р.21-26