Modus ponens

Modus ponens - правило вывода в исчислении высказываний. Является частным случаем правила резолюций.

Форма записи: \frac{A, A \to B}{B}, где A, B - любые формулы.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home