Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)

исчисление высказываний

Пред. тема | След. тема

0n0

исчисление высказываний

24.06.2011, 21:44

Доказать, что правило является допустимым в ИС
$\frac{G,A,B\vdash C}{G,(A\&B)\vdash C}$

Страница 1 из 1

[ 1 сообщение ]

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)