Wpis z mikrobloga

Hej Mirki mam takie zadanie z #logika i #matematyka, może ze #studbaza ktoś też będzie pamiętał.

Zbadaj, czy podane rozumowanie jest poprawne. Jeśli tak to wskaż regułę na której jest ono oparte.
Jeśli dana wejściowa programu P spełnia warunek W, to program P ma obliczenie skończone. Zatem dana wejściowa programu P nie spełnia warunku W lub program p ma obliczenie skończone.

W odpowiedziach jest: tak, modus ponens, wprowadzenie alternatywy.
Nie kumam jak zostały zastosowane te dwie reguły do tego rozumowania. Ktoś ma pomysł?

#pytanie #studia
  • 1