The Archive

Home

❯

01. Semestr

❯

13 LGR

❯

notes

❯

Úplný systém logických spojek

Úplný systém logických spojek

Properties1
tagslogika_a_grafy

14. 9. 20261 min čtení

Úplné systémy logistických spojek:

  • {¬,∧,∨,⇒,⇔}
  • {¬,∧,∨}
  • {¬,∨}
  • {¬,∧}
  • {¬,⇒}
  • {↓}
  • {∣}


Graf

Příchozí odkazy

  • Výroková logika