Proszę sprawdźcie, czy prawidłowo rozwiązałem zadanie:
Wynika syntaktycznie z układu reguł Dedukcji Naturalnej dla formuły wtedy i tylko wtedy, gdy wynika syntaktycznie z układu reguł DN dla formuł
a) wprost
b) wprost i niewprost
Moje rozwiązanie:
ad 1. Do przesłanek dopisujemy:
1. zał
2. zał
3. zał
4. DI,3
ad 2. Do przesłanek dopisujemy:
1. zał
2. zał
3. zał
4. EI, 2
Analogicznie udowadniam metodą niewprost. Czy Jest to poprawne, czy wymaga jeszcze jakiegoś komentarza, poparcia twierdzeniami ?
Bojowy Zajączek
Rejestracja: 10 May 2009Offline Ostatnio: Feb 03 2011 15:19