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ę
Rachunek zdań
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
-
- Administrator
- Posty: 34073
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5191 razy
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
-
- Administrator
- Posty: 34073
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5191 razy
Re: Rachunek zdań
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
JK
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
Re: Rachunek zdań
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?
-
- Administrator
- Posty: 34073
- Rejestracja: 20 mar 2006, o 21:54
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 3 razy
- Pomógł: 5191 razy
Re: Rachunek zdań
To może być kwestia lokalnego nazewnictwa - stąd moje pytanie. Gdzie studiujesz? Jaką literaturę miałeś podaną do wykładu?
JK
JK
-
- Użytkownik
- Posty: 77
- Rejestracja: 7 gru 2020, o 14:34
- Płeć: Kobieta
- wiek: 21
- Podziękował: 29 razy
Re: Rachunek zdań
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
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