Презентация по информатике на тему "Логика: импликация и эквивалентность"

• 1 слайд

  Логическое следование «Импликация»
  
  Соединение двух или нескольких высказываний оборотом речи
  «Если А, то В» называют «Импликацией»
  Импликация обозначается: А  В, А имплицирует В, В следует из А
  А – условие В – следствие
  Импликация в математической логике определяется таблицей истинности
  Высказывание: Если идет дождь «А» то на улице сыро «В»
  («А  В») истинно:
  - если не идет дождь «не А», то на улице не сыро (сухо) «не В»;
  - если не идет дождь «не А», то на улице сыро « В» (дождь шел вчера);
  - если идет дождь « А», то на улице сыро « В»;
  («А  В») ложно: - если идет дождь « А», то на улице не сыро «не В»;
  Вывод: не может при истинном «А» быть ложным «В»
  

• 2 слайд

  Логическое соответствие «Эквивалентность»
  
  Два или несколько высказываний «Эквивалентны» если они одновременно истинны или ложны.
  Эквивалентность обозначается: А ~ В, А↔В, A ≡ B
  читается А эквивалентно В
  Эквивалентность в математической логике определяется таблицей истинности