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

[Amro]

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

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

[BlackNightFear]

Думаю, если я выложу сюда некоторые основные формулы логики это не кому не помешает... хотя я уверен что большинство здешних посетителей знают их!

// "+" это сложение по модулю!
// /\ - дизьюнкция

x -> y = !x V y
x <-> y = ! ( x + y )
x <-> y = ( x -> y ) /\ ( y -> x )
x | y = ! ( x /\ y )
!x = 1 + x
x <-> y = 1 + x + y
x V y = ( x -> y ) -> y
x V y = !x -> y
x + y = ! ( x <-> y )
!( x V y ) = !x /\ !y
!( x /\ y ) = !x V !y
x V y = ! ( !x /\ !y )

x /\ x = x
x /\ !x = 0
x /\ 0 = 0
x /\ 1 = x
x V x = x
x V !x = x
x V 0 = x
X V 1 = 1

C ними примерчики доказываются попроще!((-;