шпаргалка

Аксиомы исчисления высказывания.

[ Назад ]

1. А->(В->А)

2. (А->(В->С))->((А->В)->(А->С))

1. А<*>В -> А

2. А<*>В -> В

3. (А->В)->((А->С)->(А->(В<*>С)))

1. А->А -дизъ- В

2. В->А -дизъ- В

3. (А->С)->((В->С)->(А -дизъ- В->С))

1. (А->В)->( -> )

2. A->

3. ->A



КАТЕГОРИИ:

Network | английский | архитектура эвм | астрономия | аудит | биология | вычислительная математика | география | Гражданское право | демография | дискретная математика | законодательство | история | квантовая физика | компиляторы | КСЕ - Концепция современного естествознания | культурология | линейная алгебра | литература | математическая статистика | математический анализ | Международный стандарт финансовой отчетности МСФО | менеджмент | метрология | механика | немецкий | неорганическая химия | ОБЖ | общая физика | операционные системы | оптимизация в сапр | органическая химия | педагогика | политология | правоведение | прочие дисциплины | психология (методы) | радиоэлектроника | религия | русский | сертификация | сопромат | социология | теория вероятностей | управление в технических системах | физкультура | философия | фотография | французский | школьная математика | экология | экономика | экономика (словарь) | язык Assembler | язык Basic, VB | язык Pascal | язык Си, Си++ |