www.mazepa.fora.pl

Nauka, kultura i rozrywka

Forum www.mazepa.fora.pl Strona Główna -> Matematyka -> Logika matematyczna
Napisz nowy temat  Odpowiedz do tematu Zobacz poprzedni temat :: Zobacz następny temat 
Logika matematyczna
PostWysłany: Czw 12:16, 11 Wrz 2008
Gość

 





Logika matematyczna



Logika matematyczna, to dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.

Formalizowanie logiki filozoficznej przez logikę matematyczną polega na tworzeniu systemów algebraicznych, dzięki którym można zamiast słownych określeń stosować symbole zdań oraz dokonywać obliczeń symbolicznych.

Twórcami logiki matematycznej byli m.in. George Boole, Gottlob Frege, Edmund Husserl i Bertrand Russell, a do jej rozwoju przyczynili się między innymi: Alonzo Church, Kurt Gödel oraz Polacy Alfred Tarski i Jan Łukasiewicz.
PostWysłany: Czw 12:49, 11 Wrz 2008
tomaszek1958
Zastępca Admina
Zastępca Admina

 
Dołączył: 22 Lis 2005
Posty: 7028
Przeczytał: 2 tematy

Pomógł: 2 razy
Ostrzeżeń: 0/5
Skąd: Gdańsk Wrzeszcz
Płeć: Mężczyzna





Logika matematyczna - elementy


Zdaniem w sensie matematycznym to zdanie, o którym można powiedzieć jednoznacznie, że jest prawdziwe lub fałszywe.



Wartością logiczną dla zdania prawdziwego jest 1, natomiast dla zdania fałszywego wartością logiczną jest 0.



Zdania najczęściej oznacza się przez litery: p, q, r i tak dalej.



Funkcją zdaniową (formą zdaniową) jest wyrażenie, stające się zdaniem logicznym po wstawieniu na miejsce zmiennej x każdego z elementów należących do dziedziny.



Negacją (zaprzeczeniem) zdania p jest zdanie „nieprawda, że p” oznaczamy go przez: ~p


Post został pochwalony 0 razy
Zobacz profil autora
PostWysłany: Pią 12:31, 12 Wrz 2008
Gość

 





xD


Very Happy
Logika matematyczna
Forum www.mazepa.fora.pl Strona Główna -> Matematyka
Możesz pisać nowe tematy
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
Wszystkie czasy w strefie CET (Europa)  
Strona 1 z 1  

  
  
 Napisz nowy temat  Odpowiedz do tematu  


fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001-2003 phpBB Group
Theme created by Vjacheslav Trushkin
Regulamin