Соотнесите высказывания на естественном языке и их символические записи.

• Объекты 1
  • Если это книга, то она синяя, а если синяя, то она на той полке, а если это книга, то она на той полке.
  • Если это книга, то она синяя, если не синяя, то это не книга.
  • Если не синее, то это книга, если не синее, то это тоже не книга, значит, синее.
  • Если это не синее и не книга, то это либо не книга, либо не синее.
• Объекты 2
  • \(\(А → В\) & \(В → С\)) → \(А → С\)
  • \(А → В\) ↔ \(¬В → ¬ А\)
  • \(\(¬ А → В\) & \(¬ А → ¬ В\)) → А
  • ¬ \(А & В\) ↔ \(¬ А ˅ ¬ В\)