Математическая логика, Исчисление высказываний Опции

[Amro]

Люди!!! Горю!!! Нужна помощь!!! В понедельник контрольная по мат логике, дали нулевой вариант, а я вообще в ней не шарю .... В общем проходим мы сейчас тему исчисление высказываний, а вернее это целый раздел ....
Если есть кто знающий!?? может объясните на "пальцах" как доказывать нижеприведённые примеры ....
(|- знак выводимости .... --> импликация ....... V дизъюнкция .... & конъюнкция) Особенно интересует 1,2 и 5 примеры .... Можь у кого электронные лекции есть, с примерами решения??? Буду благодарен!!! :thanks:

Сообщение отредактировано: Amro - 26.11.2004 21:31

[Dark]

Я попробую =)

сначала определения

1. !(!a) = a отрицание

2.a. a&b = b&a коньюнкция
b. a&0=0
c. a&1=a
d. a&a=a

3.a. a&b = b&a дизьюнкция
b. a&0=a
c. a&1=1
d. a&a=a

= - [три черточки]
!= - [три черточки перечеркнутые]
4.a. a->b!= b->a
b. 1->a=a
c. 0->a=1
d. a->a=1
e. a->1=1
f. a->0=!a