Логика для всех / Учебные материалы

 

Логические связки

  • отрицание
    • "неверно что ...", "не ..."
      • ~a.
  • конъюнкция
    • "... и ..."
      • a & b (a, b - конъюнкты).
  • дизъюнкция
    • "... или ..."
      • a v b (a, b - дизъюнкты).
  • импликация
    • "если ..., то ..."
      • a => b (a - основание, b - следствие).
  • эквивалентность (равнозначность)
    • "... тогда и только тогда ...", "... если и только если ..."
      • a <=> b.

Таблицы истинности

a~a
10
01
a&b
111
100
001
000
aVb
111
110
011
000
a=>b
111
100
011
010
a<=>b
111
100
001
010

Все в одной таблице:

a b ~a ~b a & b a V b a => b a <=> b
11001111
10010100
01100110
00110011
 

TopList

Сайт управляется системой uCoz