About the Book
Font: Wikipedia. Pagines: 170. Capitols: Logica, Teoria de conjunts, Filosofia de les matematiques, Calcul logic, Sil.logisme, Argument, Demostracio matematica, Axioma, Construccio dels nombres reals, Teorema d'incompletesa de Godel, Proposicio, Funcio inversa, Taula de veritat, Validesa logica, Diagrama de Venn, Implicacio, Llenguatge formalitzat, Funcio booleana, Automat finit, Si i nomes si, Condicional material, Metallenguatge, Metode empiric, Algebra de Boole, Cum hoc ergo propter hoc, Conjunt convex, Composicio funcional, Funcio exhaustiva, Connectiva logica, Funcio bijectiva, Funcio de Weierstrass, Operacio matematica, Conjunt numerable, Ordre ben fundamentat, Plot, Negacio, Jerarquia aritmetica, Equipotencia, -algebra, Anell binari, Xarxa de Petri, Raonament abductiu, Consequencia logica, Condicio necessaria i suficient, Problema de decisio, Problema de la induccio, Conjunt magre, Nombre de Godel, Sil.logisme categoric, Paradoxa de Russell, Relacio d'equivalencia, Simbol de Levi-Civita, Metode del descens infinit, Principi de no contradiccio, Diferencia simetrica, Semantica, Subconjunt, N-pla, Axioma de l'eleccio, Inferencia, Multiplicitat, Constant logica, Entscheidungsproblem, Classe, Raonament deductiu, Funcio de veritat, Definicio inductiva, Hipotesi del Continu, Lleis de De Morgan, Quadre d'oposicio dels judicis, Tall de Dedekind, Distincio entre us i mencio, Hotel infinit, Principi del tercer exclos, Principia Mathematica, Reduccio a l'absurd, Conversio logica, Declaracio, Diagrama d'Euler, Unio, Funcio injectiva, Producte cartesia, Restriccio, Identitat dels indiscernibles, Quantificador, Conjuncio logica, Interseccio, Codomini, Funcio recursiva, Problema de la justificacio de la deduccio, Demostracio per induccio, Principi d'identitat, Funcio identitat, Multiconjunt, Recobriment, Relacio d'ordre, Interval, Entimema, Metalogica, Disjuncio, Particio, Modus tollendo tollens, Conjunt buit, Post hoc ergo propter hoc, Conjunt difus, Logica matematica, ...
