13 kontakty: Algebra Boole’a, Argumentowość, Binegacja, Funktor zdaniotwórczy, Implikacja logiczna, Implikacja materialna, Relacja równoważności, Tablica prawdy, Tautologia (logika), Twierdzenie, Warunek konieczny, Warunek wystarczający, Zdanie logiczne.
Algebra Boole’a
Diagram Hassego dla algebry Boole’a podzbiorów zbioru trójelementowego Diagramy Venna dla operatorów algebry Boole’a Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej.
Nowy!!: Równoważność i Algebra Boole’a · Zobacz więcej »
Argumentowość
Argumentowość, arność, członowość – liczba argumentów.
Nowy!!: Równoważność i Argumentowość · Zobacz więcej »
Binegacja
Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczonąsumę logiczną(NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki sąfałszywe.
Nowy!!: Równoważność i Binegacja · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Równoważność i Funktor zdaniotwórczy · Zobacz więcej »
Implikacja logiczna
Implikacja logiczna (wynikanie) – relacja (lub w innym ujęciu symbol relacyjny) pomiędzy teoriami (zbiorami zdań logicznych) T i B jest spełniona, gdy każdy model teorii T jest także modelem teorii B. Często jest mylona z implikacjąmaterialną, będącąszczególnym przypadkiem zdania.
Nowy!!: Równoważność i Implikacja logiczna · Zobacz więcej »
Implikacja materialna
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji p \to q. Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
Nowy!!: Równoważność i Implikacja materialna · Zobacz więcej »
Relacja równoważności
Relacja równoważności – zwrotna, symetryczna i przechodnia relacja dwuargumentowa określona na pewnym zbiorze utożsamiająca ze sobąw pewien sposób jego elementy, co ustanawia podział tego zbioru na rozłączne podzbiory według tej relacji.
Nowy!!: Równoważność i Relacja równoważności · Zobacz więcej »
Tablica prawdy
Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada wartość 1, a fałszowi przypisuje się wartość 0.
Nowy!!: Równoważność i Tablica prawdy · Zobacz więcej »
Tautologia (logika)
Tautologia (wywodzi się od greckich słów tautós „ten sam” i lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe.
Nowy!!: Równoważność i Tautologia (logika) · Zobacz więcej »
Twierdzenie
Twierdzenie – sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji.
Nowy!!: Równoważność i Twierdzenie · Zobacz więcej »
Warunek konieczny
Warunek konieczny – wniosek wypływający z danego faktu.
Nowy!!: Równoważność i Warunek konieczny · Zobacz więcej »
Warunek wystarczający
Warunek wystarczający (inaczej warunek dostateczny) – każdy warunek, z którego dany fakt wynika.
Nowy!!: Równoważność i Warunek wystarczający · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Równoważność i Zdanie logiczne · Zobacz więcej »