Hej,
Nie jestem pewien takiego zdania. Mam określić czy zdanie jest regułą rachunku zdań i czy jest tautologią.
Rozumowanie ,,Jeśli dana wejściowa programu P spełnia warunek W1, to program P ma obliczenia skończone. Dana wejściowa spełnia warunek W1 i W2. Zatem program P ma obliczenia skończone."
Ja uważam że nie jest, ale jak źle myślę to niech ktoś mi powie dlaczego?
Dziękuję