20 kapcsolatok: Augustus De Morgan, Diszjunkció, George Boole, Gottfried Wilhelm Leibniz, Gottlob Frege, Implikáció, Karl Weierstrass, Konjunkció, Kvantor, Logika, Logikai művelet, Matematika, Matematikai logika, Művelet, Német nyelv, Névmás, PDF, René Descartes, Term, Változó.
Augustus De Morgan
Augustus De Morgan (Maduráj, 1806. június 27. – London, 1871. március 18.) angol matematikus.
Új!!: Formális logika és Augustus De Morgan · Többet látni »
Diszjunkció
Vagy-kapu A matematikai logikában diszjunkció ("szétválasztás, szembeállítás") vagy más néven logikai „vagy” alatt egy olyan kétváltozós logikai műveletet értünk, amelynek a logikai értéke akkor és csak akkor hamis, ha mind a két operandusának hamis a logikai értéke.
Új!!: Formális logika és Diszjunkció · Többet látni »
George Boole
George Boole (Lincoln, Anglia, 1815. november 2. – Ballintemple, Írország, 1864. december 8.) angol matematikus és filozófus.
Új!!: Formális logika és George Boole · Többet látni »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Lipcse, 1646. július 1. – Hannover, 1716. november 14.) német polihisztor: jogász, diplomata, történész, matematikus, fizikus és filozófus.
Új!!: Formális logika és Gottfried Wilhelm Leibniz · Többet látni »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, Mecklenburg-Schwerin, 1848. november 8. – Bad Kleinen, 1925. július 26.) német matematikus, logikatudós, filozófus, a modern matematikai logika és analitikus filozófia megalapítója, művelője.
Új!!: Formális logika és Gottlob Frege · Többet látni »
Implikáció
B Az implikáció, kondicionális vagy szubjunkció logikai művelet, használjuk a matematikai logikában, informatikában.
Új!!: Formális logika és Implikáció · Többet látni »
Karl Weierstrass
Karl Theodor Wilhelm Weierstrass (Ostenfelde, Bajorország, 1815. október 31. – Berlin, 1897. február 19.) német matematikus, a modern függvényelmélet egyik megalapozója.
Új!!: Formális logika és Karl Weierstrass · Többet látni »
Konjunkció
#ÁTIRÁNYÍTÁS Konjunkció (logika).
Új!!: Formális logika és Konjunkció · Többet látni »
Kvantor
#ÁTIRÁNYÍTÁS Kvantor (egyértelműsítő lap).
Új!!: Formális logika és Kvantor · Többet látni »
Logika
A logika az érvényes következtetések és bizonyítások, illetve az ezzel összefüggő filozófiai, matematikai, nyelvészeti és tudományos módszertani kérdések tudománya.
Új!!: Formális logika és Logika · Többet látni »
Logikai művelet
Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk.
Új!!: Formális logika és Logikai művelet · Többet látni »
Matematika
Pszeudoszféra Marosvásárhelyen, a Bolyai téren Euklidész: ''Elemek'' c. híres geometria-tankönyvéhez (Franciaország, XIV. szd. első évtizedei) A matematika tárgyát és módszereit tekintve, sajátos tudomány, mely részben a többi tudomány által vizsgált, részben pedig a matematika „belső” fejlődéséből adódóan létrejött (felfedezett, ill. feltalált) rendszereket, struktúrákat, azok absztrakt, közösen meglévő tulajdonságait vizsgálja.
Új!!: Formális logika és Matematika · Többet látni »
Matematikai logika
A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat matematikai módszerekkel vizsgálja.
Új!!: Formális logika és Matematikai logika · Többet látni »
Művelet
A művelet a matematikában általában speciális függvényt jelent, mely esetében adott halmaz néhány eleméhez (azaz elemek rendezett véges sorozataihoz) rendelünk ugyanebbe a halmazba eső elemeket.
Új!!: Formális logika és Művelet · Többet látni »
Német nyelv
A német a germán nyelvek nyugati ágába tartozó nyelv.
Új!!: Formális logika és Német nyelv · Többet látni »
Névmás
A hagyományos grammatikában a névmás olyan szófaj, amely zárt, de heterogén osztályt alkot.
Új!!: Formális logika és Névmás · Többet látni »
#ÁTIRÁNYÍTÁS Portable Document Format.
Új!!: Formális logika és PDF · Többet látni »
René Descartes
René Descartes (ejtsd: röné dékárt), latinosított nevén Renatus Cartesius (La Haye-en-Touraine (ma Descartes (Indre-et-Loire)), Franciaország, 1596. március 31. – Stockholm, 1650. február 11.) francia filozófus, természetkutató és matematikus.
Új!!: Formális logika és René Descartes · Többet látni »
Term
A logikában azon szimbólumokat, melyeket konstansokból, változókból, vagy függvényekből állítunk elő, termeknek nevezzük.
Új!!: Formális logika és Term · Többet látni »
Változó
#ÁTIRÁNYÍTÁS Változó (egyértelműsítő lap).