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
"branca de la lògica que es dedica a l'estudi de les proposicions"@ca
"branca della logica"@it
"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
"formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné"@cs
"podstawy dział logiki matematycznej, inaczej logika zerowego rzędu"@pl
"propositiosymboleista ja loogisista konnektiiveista koostuva symbolinen logiikka"@fi
"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
"sistema formal que permite demonstrações através da equivalência lógica das proposições categóricas"@pt
"tak van logica binnen de wiskunde"@nl
"théorie de logique mathématique"@fr
"раздел символической логики изучающий сложные высказывания, составленные из простых"@ru