книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Double Negative Elimination

Код 1106486

Нет в продаже

Аннотация к книге "Double Negative Elimination"

High Quality Content by WIKIPEDIA articles!In propositional logic, the inference rules double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) allow deriving the double negative equivalent by adding (for double negative introduction) or removing (for double negative elimination) a pair of negation signs.Double negative elimination is a theorem of classical logic, but not of weaker logics such as...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1311-7860-3
Объём: 64 страниц
Масса: 117 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Разделы права