logika, formalizacja ignacy: Cześć, forum może niekoniecznie odpowiednie, ale może znajdę pomoc. Chodzi o sformalizowanie takiego krótkiego zadania: "Grób nie może być ponownie użyty, gdy od ostatniego pochówku minęło mniej niż 20 lat" Zastanawiam się nad spójnikiem "gdy"− użyć dla niego implikacji czy może innego funktora?

reds: Grób nie może być ponownie użyty, ponieważ od ostatniego pochówku nie minęło 20 lat

ignacy: chyba jednak nie w ten sposób

Pytający: Śmiało "gdy" mogłoby być zastąpione przez "jeśli", więc implikacja jest ok. "od ostatniego pochówku minęło mniej niż 20 lat" ⇒ "grób nie może być ponownie użyty"

ignacy: Dzięki!