Неправильні характеристики пропозицій і приклади



The неправильні пропозиції вони логічні об'єкти з істинним значенням null (false). Взагалі, пропозиція є лінгвістичним (реченням) або математичним виразом, з якого може бути забезпечена його істина або хибність. Пропозиції є основою логіки і складають дуже специфічне поле, відоме як логіка пропозицій.

Таким чином, головною характеристикою пропозиції є можливість оголосити її за істинністю (помилковою або істинною). Наприклад, вираз ¡Хуан, зайдіть в магазин! вона не є пропозицією, оскільки вона не має такої можливості. Тим часом, молитви, такі як Хуан, пішли в магазин, щоб купити або Хуан йде в магазин, якщо у них є.

Тепер у математичній площині "10-4 = 6" і "1 + 1 = 3" є пропозиціями. Перший випадок є справжньою пропозицією. Зі свого боку, другий є частиною неправильних пропозицій.

Отже, важливим є не пропозиція або те, як вона представлена, а її істинність. Якщо є, то є й пропозиція.

Індекс

  • 1 Характеристики
    • 1.1 Простий або складний
    • 1.2
    • 1.3 Недостатня двозначність
    • 1.4 З єдиною істинною цінністю
    • 1.5 Сприйнятливі до символічного відображення
    • 1.6 Використання роз'ємів або логічних роз'ємів
  • 2 Таблиці правди
  • 3 Приклади неправильних пропозицій
    • 3.1 Прості пропозиції
    • 3.2 Складові пропозиції
  • 4 Посилання

Особливості

Простий або складний

Неправильні твердження можуть бути простими (вони виражають лише одну істинність) або складові (вони виражають багатозначність істини). Це залежить від того, чи впливають його компоненти на ланцюгові елементи. Ці реляційні елементи відомі як з'єднувачі або логічні зв'язки.

Прикладом першого є неправильні пропозиції типу: "Білий кінь чорний", "2 + 3 = 2555" або "Всі ув'язнені невинні".

Другого типу відповідають пропозиції, такі як "Автомобіль чорний або червоний", "Якщо 2 + 3 = 6, то 3 + 8 = 6". В останньому спостерігається зв'язок між принаймні двома простими пропозиціями.  

Як і справжні, помилкові переплетені з іншими простими пропозиціями, які можуть бути помилковими, а інші - істинними. Результат аналізу всіх цих пропозицій призводить до цінності істини, яка буде репрезентативною для поєднання всіх залучених пропозицій.

Декларативний

Декларативні є неправильні пропозиції. Це означає, що вони завжди мають асоційоване значення істини (помилкове значення).

Якщо у вас, наприклад, "x більше 2" або "x = x", ви не можете встановити значення брехні (або істини), поки не дізнаєтеся про те, що "x" являє собою. Тому жоден з двох виразів не вважається декларативним.

Відсутність двозначності

Неправильні пропозиції не мають двозначності. Вони побудовані таким чином, що вони мають єдину можливу інтерпретацію. Таким чином, його істинність є фіксованою і унікальною.

З іншого боку, ця відсутність двозначності відображає її універсальність. Таким чином, вони можуть бути універсально негативними, особливо негативними та екзистенційно негативними:

  • Всі планети обертаються навколо Сонця (універсально негативні).
  • Деякі люди виробляють хлорофіл (особливо негативний).
  • Птахів на суші немає (екзистенційно негативні).  

З єдиним істинним значенням

Неправильні твердження мають тільки одне істинне значення, фальшиве. Вони не мають істинного значення одночасно. Кожного разу, коли ця пропозиція буде піднята, її значення залишатиметься неправдивим, доки умови, в яких вона формулюється, не змінюються.

Сприйнятливі до символічного відображення

Неправильні твердження піддаються символічному зображенню. Для цього перші літери словника призначаються звичайним способом для їх позначення. Таким чином, у пропозиційній логіці літери a, b, c та наступні символи символізують пропозиції.

Як тільки пропозиція отримала символічну букву, вона зберігається протягом усього аналізу. Таким же чином, присвоюється відповідне істинне значення, зміст пропозиції більше не буде мати значення. Всі наступні аналізи будуть базуватися на символі і значенні істини.

Використання роз'ємів або логічних роз'ємів

Через використання ланцюжків (з'єднувачів або логічних зв'язків), кілька простих помилкових пропозицій можуть об'єднатися і сформувати композит. Ці з'єднувачі є кон'юнкцією (y), диз'юнкцією (o), імплікацією (тоді), еквівалентністю (якщо і тільки якщо) і запереченням (no).

Ці з'єднувачі пов'язують їх з іншими, що також може бути неправильним чи ні. Значення правди всіх цих пропозицій поєднуються один з одним, згідно з фіксованими принципами, і дають "повне" значення істини для всієї складеної пропозиції або аргументу, як відомо також.

З іншого боку, роз'єми дають значення істинності «всього» пропозицій цього ланцюжка. Наприклад, помилкове твердження, прив'язане до помилкового через роз'єднувальний роз'єм, призводить до помилкового значення для композита. Але якщо воно пов'язане з істинним твердженням, то істинне значення складеної пропозиції буде істинним.

Таблиці правди

Всі можливі комбінації значень істини, які можуть прийняти помилкові пропозиції, відомі як таблиці правди. Ці таблиці є логічним інструментом для аналізу декількох помилкових тверджень, пов'язаних між собою.

Тепер отримане значення істини може бути істинним (тавтологія), помилковим (протиріччя) або контингентом (помилковим або істинним, залежно від умов). Ці таблиці не враховують зміст кожного з помилкових положень, тільки їх істинну цінність. Тому вони універсальні.

Приклади неправильних пропозицій

Прості пропозиції

Прості пропозиції мають унікальну істинну цінність. У цьому випадку значення істини є помилковим. Ця цінність призначається залежно від особистого сприйняття реальністю людини. Наприклад, наведені нижче прості пропозиції мають помилкове значення:

  1. Трава синя.
  2. 0 + 0 = 2
  3. Дослідження приголомшує людей.

Композиційні пропозиції

Складні помилкові пропозиції формуються з простих зв'язків, які пов'язані через роз'єми:

  1. Трава блакитна і вивчає жорстоко.
  2. 0 + 0 = 2 або трава синя.
  3. Якщо 0 + 0 = 2, то трава синя.
  4. 0 + 0 = 2, а трава блакитна тоді і тільки тоді, коли вивчає людей.

Список літератури

  1. Техаський університет в Остіні. (s / f). Пропозиційна логіка. Взяті з cs.utexas.edu.
  2. Університет Саймона Фрейзера. (s / f). Пропозиційна логіка. Взяті з cs.sfu.ca.
  3. Університет Старого Домініону. (s / f). Пропозиція Взяті з cs.odu.edu.
  4. Інтернет-енциклопедія філософії. (s / f). Пропозиційна логіка. Взяті з iep.utm.edu.
  5. Енциклопедія Британіка. (2011, квітень). Таблиця істини. Взяті з britannica.com.
  6. Андраде, Є. Cubides, P.; Marquez, C.; Варгас, Е. і Канкино, Д. (2008). Логіка і формальне мислення. Богота: редакція Universidad del Rosario.
  7. Грант Лакхардт, C.; Bechtel, W. (1994). Як робити речі з логікою. Нью-Джерсі: Lawrence Erlbaum Associates, Inc..