Р\= р влечет q,p2 = q влечет гир3-р влечет г.
Мы должны доказать, что рх влечет, что р2 влечет р3. Возьмем пятый из наших упомянутых выше принципов, подставим не-р вместо р и вспомним, что «не-р или я» по определению есть то же самое, что «р влечет я». Тогда наш пятый принцип дает:
Если q влечет г, тогда «р влечет я» влечет «р влечет г», то есть «р2 влечет, что р^ влечет р3».
Назовем это предложение А.
Но четвертый из наших принципов, когда мы подставляем не-р, не-q вместо /г и я, и с учетом определения импликации, становится:
«Если р влечет, что q влечет г, тогда q влечет, что р влечет г».
При подстановке р2 вместо р, р\ вместо q и р3 вместо г предложение принимает вид:
«Если р2 влечет, что рх влечетр3, тогда р] влечет, что р2 влечетр3». Назовем это предложение В.
С помощью пятого принципа мы доказываем, что
«р2 влечет, что рх влечет р3»,
которое и является нашим предложением А.
Таким образом, мы имеем здесь пример схемы вывода, так как А представляет р в нашей схеме, а В представляет «р влечет я». Отсюда, мы прибываем к я, а именно
«Pi влечет, что р2 влечет р3»,
0 коммент.:
Отправить комментарий