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

Rachunek zdań

VPS Starter Arubacloud
0 głosów
198 wizyt
pytanie zadane 7 grudnia 2020 w Matematyka, fizyka, logika przez Beginner555 Obywatel (1,760 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 Szeryf (86,280 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 Obywatel (1,760 p.)

Masz racje, dzięki za podpowiedź!smiley

Podobne pytania

0 głosów
2 odpowiedzi 241 wizyt
pytanie zadane 1 lutego 2021 w Matematyka, fizyka, logika przez Liczyrzepa1337 Nowicjusz (120 p.)
0 głosów
0 odpowiedzi 148 wizyt
pytanie zadane 8 grudnia 2020 w Matematyka, fizyka, logika przez mikson1205 Nowicjusz (120 p.)
0 głosów
1 odpowiedź 370 wizyt
pytanie zadane 28 maja 2019 w Matematyka, fizyka, logika przez ewa11 Nowicjusz (120 p.)

92,452 zapytań

141,262 odpowiedzi

319,080 komentarzy

61,854 pasjonatów

Motyw:

Akcja Pajacyk

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

Oto polecana książka warta uwagi.
Pełną listę książek znajdziesz tutaj.

Akademia Sekuraka

Akademia Sekuraka 2024 zapewnia dostęp do minimum 15 szkoleń online z bezpieczeństwa IT oraz dostęp także do materiałów z edycji Sekurak Academy z roku 2023!

Przy zakupie możecie skorzystać z kodu: pasja-akademia - użyjcie go w koszyku, a uzyskacie rabat -30% na bilety w wersji "Standard"! Więcej informacji na temat akademii 2024 znajdziecie tutaj. Dziękujemy ekipie Sekuraka za taką fajną zniżkę dla wszystkich Pasjonatów!

Akademia Sekuraka

Niedawno wystartował dodruk tej świetnej, rozchwytywanej książki (około 940 stron). Mamy dla Was kod: pasja (wpiszcie go w koszyku), dzięki któremu otrzymujemy 10% zniżki - dziękujemy zaprzyjaźnionej ekipie Sekuraka za taki bonus dla Pasjonatów! Książka to pierwszy tom z serii o ITsec, który łagodnie wprowadzi w świat bezpieczeństwa IT każdą osobę - warto, polecamy!

...