Математические и логические основы информатики - учебное пособие по программному обеспечению, программированию

 

Тезисы:

  • Логическая равносильность формул.
  • Как мы условились выше, тот факт, что формулы F и Ф логически равносильны будем обозначать FФ.
  • Логические равносильности играет важную роль в логике высказываний.
  • [3]) Ниже мы покажем их применение, например, к анализу структуры математических доказательств.
  • Определим понятие логического вывода формулы Ф из множества посылок (гипотез) F.
  • Вначале определим содержательно понятие логического следствия.
  • Ясно, что если две формулы равносильны, то каждая из них является логическим следствием другой.
  • Рис.2.4. Соответствие логических констант всегда замкнутому и всегда разомкнутому контактам.
  • Естественно, логикой высказываний не исчерпывается все многообразие логических рассуждений.
  • Логические операции над высказываниями.
Читать онлайнСкачать учебное пособие

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные учебные пособия по программному обеспечению, программированию