Двузначна логика

Двузначна логика се нарича:

• логиката, в която дадено съждение е вярно.
• логиката, в която съждение е невярно.
• логиката, в която дадено съждение е или вярно или невярно.

Наименованието на науката логика идва от гръцки - "логос", което значи дума, понятие, мисъл, разум.

• Вярно
• Невярно

Съждение се нарича изречение, за което може да се зададе въпросът:

• кога е вярно или невярно.
• защо е вярно или невярно.
• дали е вярно или невярно.

Видовете съждения са:

• верни и неверни
• прости и сложни
• кратки и ясни
• подредени и разбъркани

Със знак  "¬" се означава операцията:

• дизюнкция
• конюнкция
• изключваща дизюнкция
• отрицание

Съз знак "∨" се означава операцията:

• отрицание
• дизюнкция
• импликация
• конюнкция

Съз знак "∧" се означава операцията:

• отрицание
• дизюнкция
• импликация
• конюнкция

Съз знак "⊕" се означава операцията:

• дизюнкция
• изключваща дизюнкция
• импликация
• равнозначност

Съз знак "→" се означава операцията:

• дизюнкция
  →
• изключваща дизюнкция
• импликация
• конюнкция

Съз знак "↔" се означава операцията:

• дизюнкция
  →
• изключваща дизюнкция
• импликация
• равнозначност