61 kontakty: Aksjomat, Alternatywa, Andrzej Biłat, Anicius Manlius Severinus Boethius, Arystoteles, Łacina, Biblioteka Matematyczna, Dopełnienie zbioru, Dowód nie wprost, Dowód ontologiczny, Dzielnik zera, Ekstremum funkcji, Encyklopedia Britannica, Filozofia Nauki, Funkcja okresowa, Funkcja różnowartościowa, Granica ciągu, Grawitacja, Implikacja materialna, Jacek Wojtysiak, Khan Academy, Klasyczny rachunek zdań, Kwadrat logiczny, Liczby rzeczywiste, Liczby wymierne, Liniowa niezależność, MacTutor History of Mathematics archive, Ministerstwo Edukacji i Nauki, Modus tollens, Paradoks czarnego kruka, Pi, Pochodna funkcji, Prawa De Morgana, Prawa rachunku zdań, Prawda, Równoważność, Reguła wnioskowania, Rozwinięcie dziesiętne, Siła, Szereg (matematyka), Szereg Grandiego, Szereg rozbieżny, Tablica prawdy, Tautologia (logika), Twierdzenie Fermata o zerowaniu się pochodnej, Twierdzenie proste, Twierdzenie przeciwstawne, Ułamek dziesiętny nieskończony, University of St Andrews, Uniwersytet Ekonomiczny we Wrocławiu, ..., Wartość logiczna, Warunek konieczny, Wektor, Weryfikacja, Wydawnictwo Naukowe PWN, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Wydawnictwo WAM, YouTube, Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Zasady dynamiki Newtona, Znak końca dowodu. Rozwiń indeks (11 jeszcze) »
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Prawo kontrapozycji i Aksjomat · Zobacz więcej »
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Prawo kontrapozycji i Alternatywa · Zobacz więcej »
Andrzej Biłat
Andrzej Paweł Biłat – polski filozof i logik, profesor nauk humanistycznych, specjalizujący się w ontologii formalnej, semiotyce logicznej i logice filozoficznej.
Nowy!!: Prawo kontrapozycji i Andrzej Biłat · Zobacz więcej »
Anicius Manlius Severinus Boethius
Boecjusz (łac. Anicius Manlius Severinus Boëthius, ur. ok. 480 w Rzymie; zm. między 524 a 526) – rzymski filozof, tłumacz Arystotelesa, teolog chrześcijański, święty Kościoła katolickiego i polityk.
Nowy!!: Prawo kontrapozycji i Anicius Manlius Severinus Boethius · Zobacz więcej »
Arystoteles
Arystoteles (starogr., Aristotelēs, ur. 384 p.n.e. w Stagirze, zm. 322 p.n.e. w Chalkis) – filozof, jeden z trzech – obok Sokratesa i Platona – najsławniejszych filozofów starożytnej Grecji.
Nowy!!: Prawo kontrapozycji i Arystoteles · Zobacz więcej »
Łacina
Łacina, język łaciński (łac.) – język indoeuropejski z latynofaliskiej podgrupy języków italskich.
Nowy!!: Prawo kontrapozycji i Łacina · Zobacz więcej »
Biblioteka Matematyczna
Biblioteka Matematyczna – seria wydawnicza Państwowego Wydawnictwa Naukowego obejmująca 75 podręczników akademickich z różnych dziedzin matematyki.
Nowy!!: Prawo kontrapozycji i Biblioteka Matematyczna · Zobacz więcej »
Dopełnienie zbioru
Diagram Venna: A^c jest dopełnieniem A względem U. Dopełnienie zbioru, uzupełnienie zbioru – zbiór wszystkich elementów (pewnego ustalonego nadzbioru), które do danego zbioru nie należą.
Nowy!!: Prawo kontrapozycji i Dopełnienie zbioru · Zobacz więcej »
Dowód nie wprost
Dowód nie wprost (dowód apagogiczny, dowód sokratejski, – sprowadzenie do sprzeczności, łac. contradictio in contrarium – zaprzeczenie przeciwieństwa, – sprowadzenie do niemożliwości) – forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym (założenie nieprawdziwości twierdzenia prowadzi do sprzeczności), co pozwala przyjąć, że zaprzeczenie tezy jest fałszywe, a sama teza prawdziwa.
Nowy!!: Prawo kontrapozycji i Dowód nie wprost · Zobacz więcej »
Dowód ontologiczny
Św. Anzelm z Canterbury Dowód ontologiczny (łac. ratio Anselmi) – argument na istnienie Boga autorstwa Anzelma z Canterbury.
Nowy!!: Prawo kontrapozycji i Dowód ontologiczny · Zobacz więcej »
Dzielnik zera
Dzielnik zera – element a pierścienia taki, dla którego istnieje niezerowy element b spełniający ab.
Nowy!!: Prawo kontrapozycji i Dzielnik zera · Zobacz więcej »
Ekstremum funkcji
Ekstrema lokalne funkcji f(x).
Nowy!!: Prawo kontrapozycji i Ekstremum funkcji · Zobacz więcej »
Encyklopedia Britannica
Encyklopedia Britannica, oryg.
Nowy!!: Prawo kontrapozycji i Encyklopedia Britannica · Zobacz więcej »
Filozofia Nauki
Filozofia Nauki - kwartalnik redagowany przez zespół pracowników naukowych Wydziału Filozofii Uniwersytetu Warszawskiego.
Nowy!!: Prawo kontrapozycji i Filozofia Nauki · Zobacz więcej »
Funkcja okresowa
Funkcja okresowa – funkcja, której wartości „powtarzająsię” cyklicznie w stałych odstępach (ścisła definicja poniżej).
Nowy!!: Prawo kontrapozycji i Funkcja okresowa · Zobacz więcej »
Funkcja różnowartościowa
Diagram przemienny przedstawiający iniekcję jako funkcję odwracalnąlewostronnie data.
Nowy!!: Prawo kontrapozycji i Funkcja różnowartościowa · Zobacz więcej »
Granica ciągu
Sekwencja określona przez obwody boków foremnych figur, ma granicę równąobwodowi okręgu, tj. 2 \pi r. Odpowiednia sekwencja dla wielokątów opisanych na okręgu ma takąsamągranicę. Granica ciągu – wartość, w której dowolnym otoczeniu znajdująsię prawie wszystkie (tzn. wszystkie poza co najwyżej skończenie wieloma) wyrazy danego ciągu.
Nowy!!: Prawo kontrapozycji i Granica ciągu · Zobacz więcej »
Grawitacja
Upuszczenie młotka i piór: astronauta David Scott (z misji Apollo 15) na Księżycu przedstawiający legendarny eksperyment Galileusza Grawitacja, ciążenie powszechne – zjawisko fizyczne polegające na wzajemnym przyciąganiu się wszystkich ciał – wszelkich mas i innych postaci energii.
Nowy!!: Prawo kontrapozycji i Grawitacja · 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!!: Prawo kontrapozycji i Implikacja materialna · Zobacz więcej »
Jacek Wojtysiak
Jacek Wojtysiak (ur. 22 kwietnia 1967 w Lublinie) – filozof, nauczyciel akademicki Wydziału Filozofii Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
Nowy!!: Prawo kontrapozycji i Jacek Wojtysiak · Zobacz więcej »
Khan Academy
Khan Academy (Akademia Khana) – edukacyjna organizacja non-profit założona w 2006 roku przez absolwenta Massachusetts Institute of Technology, Salmana Khana.
Nowy!!: Prawo kontrapozycji i Khan Academy · Zobacz więcej »
Klasyczny rachunek zdań
Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogąbyć tworzone z formuł atomowych za pomocąwymienionego niżej zbioru aksjomatów.
Nowy!!: Prawo kontrapozycji i Klasyczny rachunek zdań · Zobacz więcej »
Kwadrat logiczny
Kwadrat logiczny – diagram przedstawiający relacje (m.in. wynikania, równoważności bądź wykluczania) pomiędzy szczególnymi rodzajami zdań logicznych.
Nowy!!: Prawo kontrapozycji i Kwadrat logiczny · Zobacz więcej »
Liczby rzeczywiste
geometryczna zbioru liczb rzeczywistych Liczby rzeczywiste – uogólnienie liczb wymiernych na wszystkie liczby odpowiadające punktom na osi liczbowej, zwanej też prostąrzeczywistą.
Nowy!!: Prawo kontrapozycji i Liczby rzeczywiste · Zobacz więcej »
Liczby wymierne
Standardowy symbol zbioru liczb wymiernych równoliczny ze zbiorem liczb naturalnych. Liczby wymierne – liczby, które można zapisać w postaci ilorazu dwóch liczb całkowitych, w którym dzielnik jest różny od zera.
Nowy!!: Prawo kontrapozycji i Liczby wymierne · Zobacz więcej »
Liniowa niezależność
Liniowa niezależność – własność algebraiczna rodziny wektorów danej przestrzeni liniowej polegająca na tym, że żaden z nich nie może być przedstawiony jako kombinacja liniowa skończenie wielu innych wektorów ze zbioru.
Nowy!!: Prawo kontrapozycji i Liniowa niezależność · Zobacz więcej »
MacTutor History of Mathematics archive
MacTutor History of Mathematics Archive – anglojęzyczna strona internetowa, prowadzona przez Johna J. O'Connora i Edmunda F. Robertsona, umieszczona na serwerach University of St Andrews w Szkocji.
Nowy!!: Prawo kontrapozycji i MacTutor History of Mathematics archive · Zobacz więcej »
Ministerstwo Edukacji i Nauki
Ministerstwo Edukacji i Nauki (MEiN) – polski urząd administracji rządowej obsługujący ministra właściwego do spraw działów administracji rządowej oświata i wychowanie oraz szkolnictwo wyższe i nauka.
Nowy!!: Prawo kontrapozycji i Ministerstwo Edukacji i Nauki · Zobacz więcej »
Modus tollens
Modus tollens (– sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z X wynika Y oraz że Y jest fałszywe, to musimy zaakceptować też fałszywość X.
Nowy!!: Prawo kontrapozycji i Modus tollens · Zobacz więcej »
Paradoks czarnego kruka
Czy zarówno obserwacja czarnego kruka......jak i tego, co nie jest czarne i nie jest krukiem, zwiększa prawdopodobieństwo słuszności twierdzenia, że wszystkie kruki sączarne? Paradoks czarnego kruka, znany także jako paradoks Hempla, to paradoks pokazujący pewnąniekonsekwencję w procesie poznawczym.
Nowy!!: Prawo kontrapozycji i Paradoks czarnego kruka · Zobacz więcej »
Pi
Jeśli średnica koła.
Nowy!!: Prawo kontrapozycji i Pi · Zobacz więcej »
Pochodna funkcji
Wykres funkcji narysowanej na czarno i linii stycznej do tej funkcji, narysowanej na czerwono. Nachylenie linii stycznej jest równe pochodnej funkcji w zaznaczonym punkcie. Pochodna funkcji – nieformalnie: miara szybkości funkcji, czyli tempa zmian jej wartości względem zmian jej argumentów, 4.5-1 (a).
Nowy!!: Prawo kontrapozycji i Pochodna funkcji · Zobacz więcej »
Prawa De Morgana
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobąpary spójników, kwantyfikatorów lub działań na zbiorach za pomocąnegacji lub funkcji dopełnienia zbioru.
Nowy!!: Prawo kontrapozycji i Prawa De Morgana · Zobacz więcej »
Prawa rachunku zdań
Bez opisu.
Nowy!!: Prawo kontrapozycji i Prawa rachunku zdań · Zobacz więcej »
Prawda
Alegoria prawdy, marmurowa rzeźba w Ogrodzie Letnim, Sankt-Petersburg Prawda – według klasycznej definicji właściwość sądów polegająca na ich zgodności z faktycznym stanem rzeczy, których dotyczą.
Nowy!!: Prawo kontrapozycji i Prawda · Zobacz więcej »
Równoważność
Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki.
Nowy!!: Prawo kontrapozycji i Równoważność · Zobacz więcej »
Reguła wnioskowania
Niech E będzie dowolnym zbiorem.
Nowy!!: Prawo kontrapozycji i Reguła wnioskowania · Zobacz więcej »
Rozwinięcie dziesiętne
Rozwinięcie dziesiętne – sposób przedstawiania liczb rzeczywistych w postaci ułamka dziesiętnego lub ułamka dziesiętnego nieskończonego.
Nowy!!: Prawo kontrapozycji i Rozwinięcie dziesiętne · Zobacz więcej »
Siła
Siła – wektorowa wielkość fizyczna będąca miarąoddziaływań fizycznych między ciałami.
Nowy!!: Prawo kontrapozycji i Siła · Zobacz więcej »
Szereg (matematyka)
Zastosowanie szeregu Szereg – konstrukcja umożliwiająca wykonanie uogólnionego dodawania przeliczalnej liczby składników.
Nowy!!: Prawo kontrapozycji i Szereg (matematyka) · Zobacz więcej »
Szereg Grandiego
Szereg Grandiego – szereg naprzemienny 1-1+1-1+\dots zapisywany również jako Nazwa szeregu pochodzi od Guido Grandiego, który „upamiętnił” swoje przemyślenia na ten temat w 1703 roku.
Nowy!!: Prawo kontrapozycji i Szereg Grandiego · Zobacz więcej »
Szereg rozbieżny
Szereg rozbieżny – szereg nieskończony, który nie jest zbieżny, tj.
Nowy!!: Prawo kontrapozycji i Szereg rozbieżny · 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!!: Prawo kontrapozycji 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!!: Prawo kontrapozycji i Tautologia (logika) · Zobacz więcej »
Twierdzenie Fermata o zerowaniu się pochodnej
Twierdzenie Fermata o zerowaniu się pochodnej – twierdzenie klasycznej analizy matematycznej mówiące o zerowaniu się pochodnej funkcji różniczkowalnej osiągającej maksimum lub minimum w punkcie wewnętrznym przedziału.
Nowy!!: Prawo kontrapozycji i Twierdzenie Fermata o zerowaniu się pochodnej · Zobacz więcej »
Twierdzenie proste
Twierdzenie proste – pojęcie używane w logice matematycznej, określane dla twierdzenia wyjściowego dla innego twierdzenia.
Nowy!!: Prawo kontrapozycji i Twierdzenie proste · Zobacz więcej »
Twierdzenie przeciwstawne
Twierdzenie przeciwstawne, także kontrapozycja lub transpozycja – zdanie orzekające wynikanie zaprzeczenia założenia z zaprzeczenia tezy.
Nowy!!: Prawo kontrapozycji i Twierdzenie przeciwstawne · Zobacz więcej »
Ułamek dziesiętny nieskończony
Ułamek dziesiętny nieskończony – zapis liczby rzeczywistej a za pomocąszeregu liczbowego w postaci: gdzie a_0, a_1, a_2 \dots sąliczbami naturalnymi, przy czym 0 \leqslant a_0 oraz 0 \leqslant a_n \leqslant 9 dla n.
Nowy!!: Prawo kontrapozycji i Ułamek dziesiętny nieskończony · Zobacz więcej »
University of St Andrews
University of St Andrews – najstarszy szkocki uniwersytet (trzeci, po Oxford i Cambridge, w Wielkiej Brytanii).
Nowy!!: Prawo kontrapozycji i University of St Andrews · Zobacz więcej »
Uniwersytet Ekonomiczny we Wrocławiu
Budynek E Rektorat Uniwersytet Ekonomiczny we Wrocławiu (daw. Akademia Ekonomiczna im. Oskara Langego we Wrocławiu) – polska publiczna uczelnia ekonomiczna z siedzibąwe Wrocławiu.
Nowy!!: Prawo kontrapozycji i Uniwersytet Ekonomiczny we Wrocławiu · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Prawo kontrapozycji i Wartość logiczna · Zobacz więcej »
Warunek konieczny
Warunek konieczny – wniosek wypływający z danego faktu.
Nowy!!: Prawo kontrapozycji i Warunek konieczny · Zobacz więcej »
Wektor
Ilustracja wektora Wektor – obiekt matematyczny opisywany za pomocąwielkości: modułu (nazywanego też – zdaniem niektórych niepoprawnie – długościąlub (wartością), kierunku wraz ze zwrotem (określającym orientację wzdłuż danego kierunku); istotny przede wszystkim w matematyce elementarnej, inżynierii i fizyce. Wiele działań algebraicznych na liczbach rzeczywistych ma swoje odpowiedniki dla wektorów: mogąbyć one dodawane, odejmowane, mnożone przez liczbę i odwracane. Operacje te spełniająznane prawa algebraiczne: przemienności, łączności, rozdzielności (odejmowanie traktowane jest jako szczególny przypadek dodawania). Suma dwóch wektorów o tym samym początku może być znaleziona geometrycznie za pomocąreguły równoległoboku. Mnożenie przez liczbę, w tym kontekście nazywanązwykle skalarem, zmienia moduł wektora, tzn. rozciąga go lub ściska zachowując jego kierunek oraz jeżeli liczba jest dodatnia zachowuje zwrot, a gdy ujemna zmienia zwrot wektora. Współrzędne kartezjańskie sąspójnym środkiem opisu wektorów i operacji na nich. Wektor staje się ciągiem liczb rzeczywistych nazywanymi składowymi skalarnymi. Dodawanie wektorów i mnożenie wektora przez skalar sąwykonywane składowa po składowej (zob. przestrzeń współrzędnych). Wektory odgrywająważnąrolę w fizyce: prędkość oraz przyspieszenie poruszającego się obiektu oraz siła działająca na ciało mogąbyć opisane za pomocąwektorów. Wiele innych wielkości fizycznych może być rozpatrywanych jako wektory. Matematyczna reprezentacja wektora fizycznego zależy od układu współrzędnych wykorzystanego do jego opisu. Inne obiekty podobne wektorom, które opisująwielkości fizyczne i ulegająprzekształceniom w podobny sposób wraz ze zmianąukładu współrzędnych to pseudowektory i tensory.
Nowy!!: Prawo kontrapozycji i Wektor · Zobacz więcej »
Weryfikacja
Weryfikacja (z łac. veritas „prawda” i facio „czynię”), sprawdzanie – działanie zmierzające do rozstrzygnięcia prawdziwości danego zdania.
Nowy!!: Prawo kontrapozycji i Weryfikacja · Zobacz więcej »
Wydawnictwo Naukowe PWN
Wydawnictwo Naukowe PWN (WN PWN), w latach 1951–1991 Państwowe Wydawnictwo Naukowe (PWN) – polskie wydawnictwo naukowe założone w 1951 w Warszawie jako Państwowe Wydawnictwo Naukowe.
Nowy!!: Prawo kontrapozycji i Wydawnictwo Naukowe PWN · Zobacz więcej »
Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika (Wydawnictwo Naukowe UMK, Wydawnictwo UMK) działa jako jednostka ogólnouczelniana Uniwersytetu Mikołaja Kopernika w Toruniu.
Nowy!!: Prawo kontrapozycji i Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika · Zobacz więcej »
Wydawnictwo WAM
Wydawnictwo Apostolstwa Modlitwy (1872–1918, 1935–1993), Wydawnictwo Księży Jezuitów (1918–1935), Wydawnictwo WAM (od 1993) – najstarsze polskie wydawnictwo katolickie, założone w 1872 przez ks. Stanisława Stojałowskiego SJ w Krakowie.
Nowy!!: Prawo kontrapozycji i Wydawnictwo WAM · Zobacz więcej »
YouTube
Siedziba YouTube w San Bruno San Mateo YouTube (skrót YT) – amerykański serwis internetowy założony 14 lutego 2005 roku, umożliwiający bezpłatne udostępnianie, edycję, nadawanie na żywo i komentowanie filmów.
Nowy!!: Prawo kontrapozycji i YouTube · Zobacz więcej »
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie
Wydział Elektryczny Wydział Kształtowania Środowiska i Rolnictwa Wydział Techniki Morskiej i Transportu Budynek Jednostek Międzywydziałowych Zachodniopomorski Uniwersytet Technologiczny w Szczecinie (ZUT) – publiczna uczelnia akademicka powstała 1 stycznia 2009 w Szczecinie z połączenia Akademii Rolniczej w Szczecinie i Politechniki Szczecińskiej.
Nowy!!: Prawo kontrapozycji i Zachodniopomorski Uniwersytet Technologiczny w Szczecinie · Zobacz więcej »
Zasady dynamiki Newtona
url.
Nowy!!: Prawo kontrapozycji i Zasady dynamiki Newtona · Zobacz więcej »
Znak końca dowodu
Znak końca dowodu – znak matematyczny oznaczający koniec dowodu twierdzenia.
Nowy!!: Prawo kontrapozycji i Znak końca dowodu · Zobacz więcej »