• Najnowsze pytania
  • Bez odpowiedzi
  • Zadaj pytanie
  • Kategorie
  • Tagi
  • Zdobyte punkty
  • Ekipa ninja
  • IRC
  • FAQ
  • Regulamin
  • Książki warte uwagi

Rachunek zdań

0 głosów
80 wizyt
pytanie zadane 7 grudnia 2020 w Matematyka, fizyka, logika przez Beginner555 Użytkownik (860 p.)
edycja 7 grudnia 2020 przez Beginner555

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ę :)

1 odpowiedź

+1 głos
odpowiedź 7 grudnia 2020 przez SzkolnyAdmin Maniak (60,320 p.)
wybrane 7 grudnia 2020 przez Beginner555
 
Najlepsza
Jeżeli uważasz, że nie jest to prawda, to podaj kontrprzykład.

Masz: W1 - dane wejściowe spełniające warunek; W2 - dane wejściowe spełniające inny warunek, P - program ma skończone obliczenia.

Zakładamy, że prawdą jest: W1 => P

Masz dowieść, że (and to koniunkcja): (W1 and W2) => P

Jest takie prawo rachunku zdań zwane prawem pochłaniania: (p and q) =>p

U ciebie: (W1 and W2) => W1

Zatem dowiodłeś.

Nawet na "zdrowy" programistyczny rozum, jest to prawda. Jeżeli od danych wymagamy spełnienie jakiegoś warunku, aby program działał poprawnie i te dane spełniają ten warunek i w dodatku także jakiś inny, to program będzie działał poprawnie.
komentarz 7 grudnia 2020 przez Beginner555 Użytkownik (860 p.)

Masz racje, dzięki za podpowiedź!smiley

Podobne pytania

0 głosów
2 odpowiedzi 107 wizyt
0 głosów
0 odpowiedzi 62 wizyt
pytanie zadane 8 grudnia 2020 w Matematyka, fizyka, logika przez mikson1205 Nowicjusz (120 p.)
0 głosów
1 odpowiedź 202 wizyt
pytanie zadane 28 maja 2019 w Matematyka, fizyka, logika przez ewa11 Nowicjusz (120 p.)
Porady nie od parady
Pytania na temat serwisu SPOJ należy zadawać z odpowiednią kategorią dotyczącą tej strony.SPOJ

85,242 zapytań

134,056 odpowiedzi

297,250 komentarzy

56,334 pasjonatów

Motyw:

Akcja Pajacyk

Pajacyk od wielu lat dożywia dzieci. Pomóż klikając w zielony brzuszek na stronie. Dziękujemy! ♡

Oto dwie polecane książki warte uwagi. Pełną listę znajdziesz tutaj.

...