Logika zadania

Question

Hej, szukam osoby która pomogłaby mi rozwiązać owe zadania:

1. Zapisz schematy zdań w języku logiki modalnej (używając operatorów modalnych, epistemicznych i temporalnych)

a) Jeżeli wiadomo, że nastąpiło ostre zapalenie wyrostka robaczkowego, to konieczne jest wykonanie zabiegu operacyjnego oraz możliwa jest długa rekonwalescencja.

b) Wiadomo, że Jan miał wypadek i konieczna będzie naprawa jego samochodu.

2) Udowodnij w systemie K: Jeżeli Jan wie, że pada deszcz, to Jan wie, że pada deszcz lub świeci słońce

3) Skonstruuj model, w którym poniższe formuły nie są prawdziwe.

a) detloid kwadrat p V deltoid delotid kwadrat p

b) kwadrat kwadrat deltoid p

Comments

Że tak się wyrażę liczysz że ktoś za Ciebie zrobi wszystkie zadania?