зачет мат.логика

@Gena-2kurs · Регистрация: 19.02.2011

Пару задачек я попробовал своими силами, если не трудно, посмотреть и исправить, если че не так.
Заранее спасибо...

@cherednict · 24.02.2011, 14:49

4. у А может быть 2 значения либо Истина(1) либо Лож(0).
А(I) ⌐ ⌐А(II) I→II
и и и
л л и
следовательно данно тождество(утвержд.) верно. и из А → ⌐ ⌐А

@Gena-2kurs · 24.02.2011, 15:14 **[ТС]**

Сообщение от cherednict

4. у А может быть 2 значения либо Истина(1) либо Лож(0).
А(I) ⌐ ⌐А(II) I→II
и и и
л л и
следовательно данно тождество(утвержд.) верно. и из А → ⌐ ⌐А

Спасибо еще раз

Надеюсь зачет поставят )

@cherednict 9 / 9 / 0 Регистрация: 12.12.2010 Сообщений: 54
	24.02.2011, 14:49	2
	4. у А может быть 2 значения либо Истина(1) либо Лож(0). А(I) ⌐ ⌐А(II) I→II и и и л л и следовательно данно тождество(утвержд.) верно. и из А → ⌐ ⌐А 0

@Gena-2kurs 0 / 0 / 0 Регистрация: 19.02.2011 Сообщений: 10
	24.02.2011, 15:14 [ТС]	3
	Сообщение от cherednict 4. у А может быть 2 значения либо Истина(1) либо Лож(0). А(I) ⌐ ⌐А(II) I→II и и и л л и следовательно данно тождество(утвержд.) верно. и из А → ⌐ ⌐А Спасибо еще раз Надеюсь зачет поставят ) 0