Wpis z mikrobloga

Słuchałem sobie uzasadnienia wyrokku TK. Problem mieli typowo matematyczno-programistyczny - cykliczne zależności.

Fajny matematyczny trick zastosowali, żeby to rozwiązać. Rozpatrzyli na przypadki.

Mamy twierdzenie, zakładamy, że część jest prawdziwa i sprawdzamy czy nie ma sprzeczności. Potem zakładamy, że jest nieprawdziwa i sprawdzamy czy nie prowadzi do sprzeczności. Jeśli tylko 1 opcja prowadziła do sprzeczności to mamy odpowiedź.

Szanuję.

#dobrazmiana #matematyka #logika #prawo #trybunalkonstytucyjny
  • 5
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach