Редукция

Редукция (лат. reductio) — логический прием преобразования каких-либо данных к более удобному с какой-либо точки зрения виду.

Правила редукции

[ \land ] \frac{\Gamma , A \land B , \Delta}{\Gamma, A, B, \Delta} [ \neg \land ] \frac{\Gamma , \neg ( A \land B ) , \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, \neg B, \Delta}
[ \lor ] \frac{\Gamma , A \lor B, \Delta}{\Gamma, A, \Delta \mid \Gamma, B, \Delta} [ \neg \lor ] \frac{\Gamma , \neg ( A \lor B ) , \Delta}{\Gamma, \neg A, \neg B, \Delta}
[ \supset ] \frac{\Gamma , A \supset B, \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, B, \Delta} [ \neg \supset ] \frac{\Gamma , \neg ( A \supset B ) , \Delta}{\Gamma, A, \neg B, \Delta}

[ \neg \neg] \frac{\Gamma , \neg \neg A , \Delta}{\Gamma, A, \Delta}

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
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