|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Matematycy z Polski i innych krajów - m.in. z Francji, Niemiec, Estonii, Portugalii, Iranu, Nigerii - wezmą udział w IV Podlaskiej Konferencji Matematycznej, która odbędzie się w dniach 9-11 kwietnia w Białymstoku. Spotkanie organizuje Białostocki... 11 lutego, tym razem w Katowicach, odbyła się kolejna edycja konferencji IT-Medica, którą to Polski Serwis Naukowy już po raz trzeci objął patronatem. Warto przypomnieć iż jest to cykl imprez informatyczno-medycznych adresowany do menedżerów ośrod... 11 lutego, tym razem w Katowicach, odbyła się kolejna edycja konferencji IT-Medica, którą to Polski Serwis Naukowy już po raz trzeci objął patronatem. Warto przypomnieć iż jest to cykl imprez informatyczno-medycznych adresowany do menedżerów ośrod... Drugie Warsztaty „DNA – Encyklopedia Życia” poświęcone biotechnologii już za nami. Impreza ta, podobnie jak dwa lata temu, cieszyła się ogromnym zainteresowaniem zwiedzających. Łączną liczbę uczestników warsztatowych wykładów, pokazów ... Drugie Warsztaty „DNA – Encyklopedia Życia” poświęcone biotechnologii już za nami. Impreza ta, podobnie jak dwa lata temu, cieszyła się ogromnym zainteresowaniem zwiedzających. Łączną liczbę uczestników warsztatowych wykładów, pokazów ...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Symbol relacyjnyCzy wiesz że...? Rachunek zdań to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu. Logika matematyczna – 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ę ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. Symbol relacyjny lub predykat – jest to uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu. Symbol relacyjny stanowi odpowiednik matematycznej relacji w logice matematycznej, jednak nie jest z nią tożsamy – relacja zbudowana jest bowiem na pojęciu zbioru, podczas gdy w logice pojęcie to nie występuje. Symbole relacyjne mogą mieć zero lub większą liczbę argumentów. Symbole relacyjne o zerowej liczbie argumentów to zmienne zdaniowe. Każdy symbol relacyjny jest formułą atomową rachunku zdań. Symbolom relacyjnym w procesie wartościowania mogą zostać przypisane wartości logiczne: prawda lub fałsz. W odróżnieniu jednak od zmiennych zdaniowych, sparametryzowane symbole relacyjne mają wartości logiczne przypisywane do każdej kombinacji swoich parametrów. Prawda to jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz. W logice matematycznej prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.
Fałsz – jedna z dwóch podstawowych wartości logicznych. Drugą jest prawda. Fałsz jest niezgodnością treści sądu (zdania) z tym do czego się odnosi. Bibliografia
Czy wiesz że...? beta Formuła atomowa (formuła prosta) – w logice matematycznej formuła, która nie ma żadnych właściwych podformuł. Rodzaje formuł atomowych zależą od rodzaju używanej logiki.
Zbiór (niegdyś mnogość, wielość) – jedno z fundamentalnych pojęć współczesnej matematyki, w teorii mnogości (teorii zbiorów) przyjmowane jako pojęcie pierwotne. Intuicyjnie: kolekcja, zestaw niepowtarzających się obiektów bez wyróżnionej kolejności nazywanych elementami.
W logice, matematyce i informatyce argumentowość (lub arność) – liczba argumentów funkcji, funkcji zdaniowej, relacji, operatora lub symbolu funkcyjnego.
Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).
Zmienna zdaniowa - bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym w procesie zwanym wartościowaniem przyporządkowywane są wartości prawda lub fałsz.
Relacja – w teorii mnogości dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostają w związku albo łączy je pewna zależność, czy też własność lub nie). Najważniejszymi relacjami są relacje dwuargumentowe, tj. między elementami pary zbiorów (opisane w osobnym artykule, w tym funkcje i działania jednoargumentowe); relacje jednoargumentowe to po prostu podzbiory pewnego zbioru. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
