Մաթ. Տրամ./Բանաձևերի արտածումները/0'

Վիքիգրքերյից՝ ազատ հանրագիտարանից

A \supset \left( {\left( {A \supset B} \right) \supset B} \right)


A,A \supset B \vdash B

// դեդուկցիայի թեորեմ

1.\,\,A,A \supset B \vdash A

// նախադրյալ

2.\,\,A,A \supset B \vdash A \supset B

// նախադրյալ

3.\,\,A,A \supset B \vdash B

// m.p. (1,2)
Ստացված է «http://hy.wikibooks.org/wiki/%D5%84%D5%A1%D5%A9._%D5%8F%D6%80%D5%A1%D5%B4./%D4%B2%D5%A1%D5%B6%D5%A1%D5%B1%D6%87%D5%A5%D6%80%D5%AB_%D5%A1%D6%80%D5%BF%D5%A1%D5%AE%D5%B8%D6%82%D5%B4%D5%B6%D5%A5%D6%80%D5%A8/0%27» էջից