OD 11.02.2011 FORUM PEŁNI WYŁĄCZNIE ROLĘ ARCHIWALNĄ. NIE JEST MOŻLIWA REJESTRACJA ANI DODAWANIE WYPOWIEDZI.
kognitywistyka.net: forum Strona Główna
 FAQ   Szukaj   Użytkownicy   Grupy   Rejestracja   Profil   Zaloguj się, by sprawdzić wiadomości   Zaloguj 

 Ogłoszenie 
OD 11.02.2011 FORUM PEŁNI WYŁĄCZNIE ROLĘ ARCHIWALNĄ. NIE JEST MOŻLIWA REJESTRACJA ANI DODAWANIE WYPOWIEDZI.

Poprzedni temat «» Następny temat
rachunek funktorów intensjonalnym
Autor Wiadomość
Rafal Lizut

Posty: 2
Skąd: Lublin
Wysłany: 2007-03-05, 22:08   rachunek funktorów intensjonalnym

Witam,
Jestem nowym uzytkownikiem wiec jezeli gdzies nie tak wpisalem post to prosze o wybaczenie. Chcialem się zapytac czy ktoś może mi powiedziec czy jest jakieś prawo logiki przy operatorze intensjonalnym "jest przekonany" gdzie moglbym dolączyć alternatywę (ekstensjonalną) i wyciągnąć ww operator przed alternatywę.
€ - operator intensjonalny wierzy, że
€P v Q → € (P v Q)
Innymi słowy
czy mowiac wierze, ze Warszawa jest stolica Polski lub kot to płaz mogę powiedziec zgodnie z prawami logiki, ze wierzę, że (Warszawa to stolica Polski lub kot to płaz)??
Pozdrawiam i z gory dziekuje Rafal
 
 
Leszek Nowaczyk
Administrator


Posty: 765
Skąd: Poznań
Wysłany: 2007-03-05, 22:34   

Witam,

pozdrawiam nowego użytkownika :-)

Wybaczam wpisanie postu "nie tak" (bo mamy taki wątek "zapytaj eksperta", gdzie Twój wpis powinien się znaleźć).

Proszę o zmianę Smoka na Twoje imię i nazwisko - taki mamy tu zwyczaj.

Pozdrawiam
 
 
Rafal Lizut

Posty: 2
Skąd: Lublin
Wysłany: 2007-03-06, 08:19   

Witam
Chcialem wlasnie tam wstawic ale nie moge znalezc "dodaj nowy post" albo cos takiego. Nastepnym prazem sie poprawie.
:)

[ Dodano: 2007-03-06, 10:50 ]
ps w teskcie oczywiście chodzi o funktory intensjonalne.
 
 
Marek Kasperski


Posty: 168
Skąd: Warszawa
Wysłany: 2007-03-06, 20:58   

Chyba najbardziej kompetnenta osoba w tej kwestii bylby kolega Rafal Palczewski (ktory z kolegi stal sie dr :) ).

Slawek moglby go zaczepic na korytarzu UMK, to pewnie by pomogl.
 
 
Slawomir Wacewicz
Administrator


Posty: 1117
Skąd: Toruń
Wysłany: 2007-03-06, 21:00   

Moim zdaniem nie można, ale to odpowiedź na tzw. "czuja" :) . Postaram się zahaczyć kogoś od logiki.
Pozdrawiam
_________________
http://www.home.umk.pl/~wacewicz/
 
 
Wyświetl posty z ostatnich:   
Odpowiedz do tematu
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
Nie możesz załączać plików na tym forum
Możesz ściągać załączniki na tym forum
Dodaj temat do Ulubionych
Wersja do druku

Skocz do:  

Support forum phpbb by phpBB Assistant
Powered by phpBB modified by Przemo © 2003 phpBB Group
Theme xandgreen created by spleen modified v0.3 by warna

CogNews.net




Patronat Medialny kognitywistyka.net

patronat medialny

patronat medialny


Dni Mózgu 4

patronat medialny


Ways to protolanguage