Rachunek zdań

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Rachunek zdań

Post autor: Maradona126 »

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ę :)
Jan Kraszewski
Administrator
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ń

Post autor: Jan Kraszewski »

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

JK
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Re: Rachunek zdań

Post autor: Maradona126 »

Właśnie nie wiem, ale mam takie określenie w treści zadania.
Jan Kraszewski
Administrator
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ń

Post autor: Jan Kraszewski »

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
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Re: Rachunek zdań

Post autor: Maradona126 »

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?
Jan Kraszewski
Administrator
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ń

Post autor: Jan Kraszewski »

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

JK
Maradona126
Użytkownik
Użytkownik
Posty: 77
Rejestracja: 7 gru 2020, o 14:34
Płeć: Kobieta
wiek: 21
Podziękował: 29 razy

Re: Rachunek zdań

Post autor: Maradona126 »

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
ODPOWIEDZ