Для данного рассуждения«Если
вещь причисляется к res nec mancipi, то она может перейти в собственность другого лица посредством простой
передачи, а если вещь причисляется к res mancipi, то не может. Значит, любая вещь будет причисляться либо к res nec mancipi, либо к res mancipi»выберите наиболее подходящую формализацию и определите, имеется ли логическое следование

  • (A → B); (C→ ¬B)╞ (A ∨ C)
  • (A → B); (C→ ¬B)╞ (A ≠ B)
  • (A → B); (C→ ¬B)╞ (A ≠ C)
  • (A → B); (¬C→ ¬B)╞ (A ≠ C)
  • вывод НЕ следует из посылок
  • вывод следует из посылок

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.