Цитата(tig81 @ 14.4.2010, 17:08) *

Во-первых, решать за вас никто не будет, а, во-вторых, второй и третий пункт я не знаю.

мне бы подсказать с помощью каких аксиом или правил надо доказывать что из двух заключений выводится одно в данном примере