Правило modus ponens в исчислении высказываний

Обновлено: 22.11.2024

модус понендо поненс это своего рода логический аргумент, основанный на логическом выводе, принадлежащий к формальной системе правил вывода известной логики высказываний. Эта аргументная структура является исходной моделью, которая передается в логике высказываний и напрямую связана с условными аргументами..

Аргумент модус понендо поненс это можно рассматривать как двуногий силлогизм, который вместо использования третьего термина в качестве ссылки скорее использует условное предложение, с которым он связывает предшествующий элемент с последующим элементом.

Оставляя условности, мы можем видеть модус понендо поненс как процедура (модус) правил удержания, которые посредством утверждения (ponendo) антецедента или ссылки (предыдущий элемент), удается утверждать (поненс) к последствию или заключению (более поздний элемент).

Эта разумная формулировка начинается с двух положений или предпосылок. Он стремится сделать из них вывод, что, несмотря на то, что он является неявным и обусловленным в аргументе, требуется двойное утверждение - оба термина, предшествующего ему, и сам по себе - чтобы его можно было считать последовательным.

  • 1 Происхождение
    • 1.1 Этимология
    • 3.1 Первый пример
    • 3.2 Второй пример
    • 3.3 Третий пример
    • 4.1 Вариант 1
    • 4.2 Вариант 2
    • 4.3 Вариант 3
    • 4.4 Вариант 4

    начало

    Этот позитивный способ, как часть применения дедуктивной логики, берет свое начало в древности. Появился рукой греческого философа Аристотеля Эстаджиры, 4-го века до нашей эры. С.

    Аристотель поднял с модус поненс -как это также называется - получить обоснованный вывод путем проверки как прецедента, так и следствия в предпосылке. В этом процессе антецедент устраняется, оставляя только последующее.

    Греческий мыслитель хотел заложить основы логического описательного мышления, чтобы объяснить и осмыслить все явления, близкие к существованию человека, продукт их взаимодействия с окружающей средой..

    этимология

    модус понендо поненс Это имеет свои корни в латыни. В испанском языке его значение таково: «метод, который утверждает (подтверждает), подтверждает (утверждает)», потому что, как уже было сказано, он состоит из двух элементов (предшествующего и последующего), положительного в его структурировании.

    объяснение

    В общих чертах, модус понендо поненс коррелирует два суждения: обусловливающий предшествующий элемент, который называется «P», и условный последующий, который получает название «Q».

    Важно, чтобы посылка 1 всегда представляла форму обусловленности «если-тогда»; «если» идет перед предшествующим, а «тогда» идет перед последующим.

    Его формулировка следующая:

    Предпосылка 1: если «P», то «Q».

    примеров

    Первый пример

    Посылка 1: «Если вы хотите сдать экзамен завтра, тогда вы должны много учиться».

    Посылка 2: «Вы хотите сдать экзамен завтра».

    Итог: «Поэтому надо много учиться».

    Второй пример

    Посылка 1: «Если вы хотите быстро попасть в школу, вы должны идти по этому пути».

    Посылка 2: «Вы хотите быстро попасть в школу».

    Заключение: «Поэтому ты должен идти по этой дороге».

    Третий пример

    Посылка 1: «Если вы хотите есть рыбу, то вы должны пойти купить на рынке».

    Посылка 2: «Хочешь есть рыбу».

    Заключение: «Поэтому вы должны идти покупать на рынке»

    Варианты и примеры

    модус понендо поненс может представить небольшие варианты в своей формулировке. Далее будут представлены четыре наиболее распространенных варианта с соответствующими примерами..

    Вариант 1

    Предпосылка 1: если «P», то «¬Q»

    В этом случае символ «¬» напоминает отрицание «Q»

    Первый пример

    Предпосылка 1: «Если вы будете продолжать есть, вы не достигнете идеального веса».

    Посылка 2: «Ты продолжаешь есть так».

    Вывод: «Поэтому вы не достигнете своего идеального веса».

    Второй пример

    Посылка 1: «Если вы будете продолжать есть так много соли, вы не сможете контролировать гипертонию».

    Посылка 2: «Ты все еще ешь столько соли».

    Вывод: «Следовательно, вы не сможете контролировать гипертонию».

    Третий пример

    Посылка 1: «Если ты в дороге, то ты не проиграешь».

    Посылка 2: «Ты смотришь дорогу».

    Вывод: «Поэтому ты не проиграешь».

    Вариант 2

    Предпосылка 1: если "P" ^ "R", то "Q"

    В этом случае символ «^» относится к совокупному соединению «и», тогда как «R» представляет другой антецедент, добавляемый для проверки «Q». То есть у нас в наличии двойное условие.

    Первый пример

    Посылка 1: «Если вы придете домой и принесете попкорн, тогда мы посмотрим фильм».

    Посылка 2: «Приходите домой и приносите попкорн».

    Вывод: «Поэтому мы посмотрим фильм».

    Второй пример

    Посылка 1: «Если вы пьяны за рулем и видите мобильный телефон, вы упадете».

    Посылка 2: «Вы едете пьяным и видите мобильный телефон».

    Вывод: «Поэтому ты потерпишь крах».

    Третий пример

    Посылка 1: «Если вы пьете кофе и едите шоколад, значит, вы заботитесь о своем сердце».

    Посылка 2: «Пей кофе и ешь шоколад».

    Вывод: «Поэтому вы заботитесь о своем сердце».

    Вариант 3

    Предпосылка 1: если «¬P», то «Q»

    Предпосылка 2: "¬P"

    В этом случае символ «¬» напоминает отрицание «P».

    Первый пример

    Предпосылка 1: «Если вы не изучали совпадения гласных, вы не сдадите экзамен по лингвистике».

    Посылка 2: «Вы не изучали совпадения гласных».

    Вывод: «Следовательно, вы не сдадите экзамен по лингвистике».

    Второй пример

    Посылка 1: «Если вы не дадите еду своему попугаю, он умрет».

    Посылка 2: «Вы не даете еду своему попугаю».

    Вывод: «Поэтому он умрет».

    Третий пример

    Посылка 1: «Если вы не пьете воду, вы обезвожены».

    Предпосылка 2: «Не пей воду».

    Вывод: «Поэтому вы обезвожены».

    Вариант 4

    Предпосылка 1: если «P», то «Q» ^ «R»

    В этом случае символ «^» намекает на совокупное соединение «и», в то время как «R» представляет второе следствие в предложении; следовательно, антецедент будет подтверждать два следствия одновременно.

    Первый пример

    Посылка 1: «Если ты был добр к своей матери, тогда твой отец принесет тебе гитару и его струны».

    Посылка 2: «Вы были хороши со своей матерью».

    Вывод: «Поэтому твой отец принесет тебе гитару и ее струны».

    Второй пример

    Предпосылка 1: «Если вы практикуете плавание, то вы улучшите свою физическую выносливость и похудеете».

    Предпосылка 2: «Ты занимаешься плаванием».

    Вывод: «Следовательно, вы улучшите свою физическую выносливость и похудеете».

    Третий пример

    Предпосылка 1: «Если вы читаете эту статью в Lifeder, значит, вы узнали и вы более подготовлены».

    Посылка 2: «Вы читали эту статью в Lifeder».

    Вывод: «Поэтому вы выучили и стали более подготовленными».

    Модус поненс, путь к логике

    модус поненс представляет первое правило логики высказываний. Это концепция, которая, начиная с простых предпосылок для понимания, открывает понимание более глубоких рассуждений.

    Несмотря на то, что он является одним из наиболее используемых ресурсов в мире логики, его нельзя спутать с логическим законом; это просто метод для разработки дедуктивных доказательств.

    Исключив суждение из выводов, модус поненс избегает агглютинации и обширных конкатенации элементов при вычетах. Для этого качества это также называют "правилом разделения".

    модус понендо поненс это незаменимый ресурс для полного познания аристотелевской логики.

    Читайте также: