Matematyka.pl

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."
Pytanie czy jest to reguła rachunku zdań i czy jest tautologią.
Ja uważam, że nie jest regułą rachunku zdań, ale jeśli jest to niech ktoś mi wytłumaczy dlaczego jest. Z góry Dziękuję

A co to jest "reguła rachunku zdań"?

JK

Właśnie nie wiem, ale mam takie określenie w treści zadania.

No to może najpierw się dowiedz? Trudno rozwiązywać zadania bez zrozumienia ich treści. Uważasz, że coś "nie jest regułą rachunku zdań" nawet nie wiedząc, co to znaczy?

JK

Robiłem to w ten sposób taki na czuja, w moich materiałach miałem wypisane różne reguły wnioskowania np. modus tollens itp. no i nie znalazłem takiej reguły i dlatego myślę, że nie jest. No i właśnie moje główne pytanie brzmi czy reguła rachunku zdań to to samo co reguła wnioskowania?

To może być kwestia lokalnego nazewnictwa - stąd moje pytanie. Gdzie studiujesz? Jaką literaturę miałeś podaną do wykładu?

JK

Studiuję na Politechnice w Białymstoku, a to moje podane literatury do wykładu.
1. K. A. Ross, Ch. Wright, Matematyka dyskretna, PWN 1996
2. G. Mirkowska, Matematyka dyskretna, PJWSTK 2003
3. M. Kacprzak, G. Mirkowska, P. Rembelski, A. Sawicka, Elementy matematyki
dyskretnej. Zbiór zadań. Wydawnictwo PJWSTK 2008
4. H. Rasiowa, Wstęp do matematyki współczesnej, PWN, 2009
5. W. Marek, J. Onyszkiewicz, Zbiór zadań z teorii mnogości, PWN, 2003