Контрольная работа по логике

• Номер работы:
  9615
• Раздел:
  Все работы   →   Контрольные работы   →   Логика
• Год сдачи:
  03.03.2005 г.
• Количество страниц:
  12 стр.
• Содержание:
  Контрольная работа.
  Вариант 2.
  Задача 1.
  Задача 2.
  Задача 3.
  Задача 4.
  Задача 5.
  Задача 6.
  Задача 7.
  Задача 8.
  Задача 9.
  Задача 10.
  Контрольная работа.
  Вариант 6.
  Задача 1.
  Задача 2.
  Задача 3.
  Задача 4.
  Задача 5.
  Задача 6.
  Задача 7.
  Задача 8.
  Задача 9.
  
• Выдержка из работы:
  Некоторые тезисы из работы по теме Контрольная работа по логике
  Задача 1.
  Б) не не p или r эквивалентно q или не r не влечет s
  1) ¬(s)
  2) ¬ ( r )
  3) ¬(p)
  4) ¬(¬(p))
  5) q v (¬(r ))
  6) ¬(¬(p)) v ( r )
  7) (q v (¬( r ))) => (¬(s))
  8) (¬(¬(p)) v (r )) <=> ( q v(¬( r )) => (¬(s)))
  
  Д) p эквивалентно q не влечет s эквивалентно r влечет q
  1)¬(s)
  2) ( r ) => (q)
  3) q => (¬(s))
  4) (q => (¬(s))) <=> (r =>q)
  5)p <=> ((q => (¬(s))) <=> (r =>q))