0:00
НачинающийПропозициональная логикаВвод Выражения

Выразите следующее утверждение с помощью логических символов:

"Если не холодно, то я выйду на улицу"

Используйте:

  • C для "холодно"
  • O для "я выйду на улицу"
  • ¬ для отрицания (not)
  • для импликации

Введите ваш ответ, используя символы, доступные в калькуляторе.