1. Главная
  2. Библиотека
  3. Логика
  4. Известно, что если Петя не видел Колю на улице, то либо...
Разбор задачи

Известно, что если Петя не видел Колю на улице, то либо Коля ходил в кино, либо Петя сказал правду; если Коля не ходил в кино, то Петя не видел Колю на улице и Коля сказал правду; если Коля сказал правду, то либо он ходил в кино, либо Петя солгал.

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Дедуктивные системы
Известно, что если Петя не видел Колю на улице, то либо Коля ходил в кино, либо Петя сказал правду; если Коля не ходил в кино, то Петя не видел Колю на улице и Коля сказал правду; если Коля сказал правду, то либо он ходил в кино, либо Петя солгал.

Условие:

Известно, что если Петя не видел Колю на улице, то либо Коля ходил в кино, либо Петя сказал правду; если Коля не ходил в кино, то Петя не видел Колю на улице и Коля сказал правду; если Коля сказал правду, то либо он ходил в кино, либо Петя солгал. Выясните, ходил ли Коля в кино.

Решение:

Обозначим следующие высказывания:

П – «Петя видел Колю на улице»
К – «Коля ходил в кино»
Т – «Петя сказал правду»
Д – «Коля сказал правду»

Даны условия:

  1. Если Петя не видел Колю (¬П), то либо Коля ходил в кино (К), либо Петя сказал правду (Т). Это можно записать: ¬П → (К ∨ Т).

  2. Если Коля не ходил в кино (¬К), то Петя не видел Колю (¬П) и Коля сказал правду (Д): ¬К → (¬П ∧ Д).

  3. Если Кол...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какой метод рассуждения используется для определения, ходил ли Коля в кино, исходя из данных условий?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод