Czy rozumowanie jest regułą rachunku zdań Marek20: Hej, Mam zadanie, z rachunku zdań. Czy poniższe rozumowanie jest regułą rachunku zdań i czy jest tautologią. Ja uważam że nie jest, ale jak się mylę to niech ktoś mi powie dlaczego. 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." Z góry Dziękuję!

ite: Czy poniższe wnioskowanie jest oparte na którejś z tautologii rachunku zdań i czy jest poprawne? Tak, jest poprawne. Oparte jest na formule, która jest tautologią. [(p⇒q) ∧ (p ∧ r)] ⇒ q

Marek20: A to nie powinno się zapisać w ten sposób to p⇒q, p⋀r to w liczniku a w mianowniku q? I szukać czy jest taka reguła rachunku zdań?

ite: Można też zapisać p⇒q p ∧ r −−−−−−−−−−−−−−− q taki schemat będzie poprawną regułą wnioskowania (inaczej powiemy regułą dowodzenia)

Marek20: Dobra już te zadanie mniej więcej rozumiem, ale zastanawia mnie jaka jest różnica między regułą rachunku zdań a regułą dowodzenia.

ite: Nie wiem, jaka jest różnica, ponieważ nie wiem, co to jest "reguła rachunku zdań", takiego pojęcia nie znam.

Marek20: Właśnie mam takie coś w treści zadania i nigdzie w necie nie mogę znaleźć co to jest.