Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Zainstaluj
Szybszy dostęp niż przeglądarce!
 

Prawo kontrapozycji

Indeks Prawo kontrapozycji

Prawo kontrapozycji, prawo transpozycji – prawo rachunku zdań (tautologia) mówiące o równoważności dwóch rodzajów implikacji: Sąone nazywane odpowiednio implikacjąprostąoraz przeciwstawną.

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 »

Przekierowuje tutaj:

Prawo transpozycji.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »