Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064782n
Noun Concept
SYL
No term available
EN
A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them WordNet 3.0
Relations
Sources
IS A
EN
symbolic logic
EN
logical system
PART OF
EN
logic
HAS KIND
NL
tweewaardige logica
EN
second-order propositional logic
EN
many-valued logic
DESCRIBED BY SOURCE
EN
Armenian Soviet Encyclopedia
DIFFERENT FROM
EN
zeroth-order logic
HAS QUALITY
EN
validity
SAID TO BE THE SAME AS
EN
propositional logic
STUDIES
EN
propositional formula

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License