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

[Amro]

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

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