| dbo:description
|
- branca de la lògica que es dedica a l'estudi de les proposicions (ca)
- Teilgebiet der Logik (de)
- sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad (es)
- a formális logika egyik ága (hu)
- branca della logica (it)
- tak van logica binnen de wiskunde (nl)
- théorie de logique mathématique (fr)
- podstawy dział logiki matematycznej, inaczej logika zerowego rzędu (pl)
- propositiosymboleista ja loogisista konnektiiveista koostuva symbolinen logiikka (fi)
- formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (cs)
- раздел символической логики изучающий сложные высказывания, составленные из простых (ru)
- 数理論理学の基礎的な一部門 (ja)
- 邏輯系統 (zh)
- sistema formal que permite demonstrações através da equivalência lógica das proposições categóricas (pt)
- branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components (en)
|
