Класифікація формул логіки предикатів. Логічне слідування

Заработок на криптовалютах по сигналам. Больше 100% годовых!

Трейдинг криптовалют на полном автомате по криптосигналам. Сигналы из первых рук от мощного торгового робота и команды из реальных профессиональных трейдеров с опытом трейдинга более 7 лет. Удобная система мгновенных уведомлений о новых сигналах в Телеграмм. Сопровождение сделок и индивидуальная помощь каждому. Сигналы просты для понимания как для начинающих, так и для опытных трейдеров. Акция. Посетителям нашего сайта первый месяц абсолютно бесплатно.

Обращайтесть в телеграм LegionCryptoSupport

При завжди матимемо . У другу сторону доводимо аналогічно.

Приклад 9. Перевірити, чи правильні міркування:

всі ромби є паралелограмами. Всі квадрати – ромби. Отже, всі квадрати – паралелограми;

кожний ромб є паралелограмом. Деякі паралелограми – квадрати. Отже, деякі ромби – квадрати;

кожний математик мислить логічно. Той, хто мислить логічно, не робить логічних помилок. Іван робить логічні помилки. Отже, Іван – не математик.

►а) Введемо предикати М(х)= «x – ромб», S(x)= «x-квадрат» та P(x)= «x – паралелограм». Формулою дані міркування можна записати так: ⊨. Маємо силогізм ААА першої фігури, який називають Barbara. Припустимо, що міркування не правильні (нема логічного слідування). Тобто, існує інтерпретація, у якій обидві посилки перетворюються в істинні висловлення, а висновок – у хибне:, а

Тоді предикати татотожно істинні, а предикат спростовний. Тобто існує в області інтерпретації елемент, що , звідси а Оскільки повинно бути, що то . Тоді , а це перечить тому, що предикат тотожно істинний. Отримане про тиріччя доводить правильність міркувань. b) За допомогою предикатів прикладу а) дані міркування запишуться формулами: ⊨. Тут встановлюється відношення між М та Sчерез Р. Це силогізм четвертої фігури AII. Припустимо, що міркування нелогічні. Тобто, існує інтерпретація, у якій а Тоді

Предикат тотожно істинний, предикат виконуваний, а предикат тотожно хибний. З виконуваності предиката випливає, що існує в області інтерпретації елемент , такий що, звідси і . Оскільки повинно бути, що , то . Тоді . Суперечності не отримали. Тому правильне припущення про нелогічність таких міркувань. Висловлення посилок та висновку можна ілюструвати кругами Ейлера. З ілюстрації міркувань для прикладів а) та b) видно, що у першому випадку висновок очевидний, а у другому з двох даних посилок випливає, що ромби можуть не бути квадратами. Щоб отримати висновок про те, що деякі ромби – квадрати, потрібно вибрати інші посилки. с) Введемо М(х)= «х-математик», S(x)= «x-мислить логічно» та Р(х)= «x – робить логічні помилки», І=Іван. Формулою дані міркування можна записати так:

Рекомендуємо почитати:

Проблема жорстокості у шкільному середовищі
Основним правовим принципом захисту прав дітей є рівність усіх дітей. Рівність означає, що люди, незважаючи на всі їхні індивідуальні особливості та здібності, мають рівні права на повагу й ...

Психолінгвістичні особливості навчання англійського діалогічного мовлення у 5 класі
Діалогічне мовлення - це процес мовленнєвої взаємодії двох або більше учасників спілкування. Тому в межах мовленнєвого акту кожен з учасників виступає як слухач і як мовець. Розглянемо псих ...

Історія та розвиток яворівської забавки
Це унікальний випадок у народному декоративному мистецтві України. Яворівська забавка (саме забавка, а не іграшка, оскільки походить від забавляти, бавити, заспокоювати) — іграшки, що майст ...