Logic, in its purest form, is the reasoning used to take a set of assumptions and reach a conclusion. More specifically, logic is the study of prescriptive systems of reasoning, that is, systems proposed as guides for how people (as well, perhaps, as other intelligent beings/machines/systems) ought to reason. Logic says which forms of inference are valid and which are not. Traditionally, logic is studied as a branch of philosophy, but it can also be considered a branch of mathematics and computer science. How people actually reason is usually studied under other headings, including cognitive psychology.

''See table of logic symbols for explanations of symbols used in logic.

Abstraction | Branches of philosophy | Interdisciplinary fields

Categoría:Lóxica | Катэгорыя:Лёгіка | Категория:Логика | Categoria:Lògica | Kategorie:Logika | Kategori:Logik | Kategorie:Logik | Kategooria:Loogika | Categoría:Lógica | Kategorio:Logiko | Catégorie:Logique | 분류:논리학 | Category:Logiko | Kategori:Logika | Category:Logica | Flokkur:Rökfræði | Categoria:Logica | קטגוריה:לוגיקה | Categoria:Logica | Kategória:Logika | Categorie:Logica | Category:論理学 | Kategoria:Logika | Categoria:Lógica | Категория:Логика | Kategorija:Logika | Kategori:Logik | Kategori:Mantık | Категорія:Логіка | Category:邏輯