Разбор задачи

?

  • Предмет: Логика
  • Автор: Кэмп
  • #Символическая логика
  • #Математическая логика
?

Условие:

λ(AB)=1,λ(( A B)((¬AC)(BC)))=\lambda(\mathrm{A} \wedge \mathrm{B})=1, \lambda((\mathrm{~A} \wedge \mathrm{~B}) \Rightarrow((\neg \mathrm{A} \Leftrightarrow \mathrm{C}) \wedge(\mathrm{B} \vee \mathrm{C})))= λ(A)=0,λ(¬(( A( BD))(CD)))=\lambda(\mathrm{A})=0, \lambda(\neg((\mathrm{~A} \Rightarrow(\mathrm{~B} \wedge \mathrm{D})) \vee(\mathrm{C} \wedge \mathrm{D})))=?

Решение:

Задача 23: Дано:

  1. λ(AB)=1\lambda(\mathrm{A} \wedge \mathrm{B})=1

Это означает, что оба выражения A\mathrm{A} и B\mathrm{B} истинны, так как конъюнкция истинна только тогда, когда оба операнда истинны.

Теперь рассмотрим вторую часть: 2. λ(( A B)((¬AC)(BC)))\lambda((\mathrm{~A} \wedge \mathrm{~B}) \Rightarrow((\neg \mathrm{A} \Leftrightarrow \mathrm{C}) \wedge(\mathrm{B} \vee \mathrm{C})))

Сначала определим  A\mathrm{~A} и  B\mathrm{~B}:

  •  A=0\mathrm{~A} = 0 (ложь, так как λ(A)=1\lambda(\mathrm{A})=1)
  •  B=0\mathrm{~B} = 0 (ложь, так как λ(B)=1\lambda(\mathrm{B})=1)

Следователь...

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

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

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

Какое свойство импликации используется для определения истинности выражения \( (A \wedge B) \Rightarrow ((\neg A \Leftrightarrow C) \wedge (B \vee C)) \), если известно, что \( \lambda(A \wedge B) = 1 \)?

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

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

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

Топ 3 ошибок

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

Выбери предмет