Univerzální systém spojek

#definice Univerzální systém spojek

Množina logických spojek tvoří univerzální systém, právě když ke každé formuli existuje logicky ekvivalentní formule, která obsahuje pouze tyto spojky.

  • Na vyjádření čehokoliv ve výrokové logice stačí pouze 3 spojky
  • Jde to ale i lépe, i následující množiny tvoří USS:

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25