Talk:Q200694

Autodescription — propositional calculus (Q200694)

description: 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

Useful links:

Pretty display of data  (with Wikidata:Reasonator)
Pretty display of data (with Wikidata:Sqid)
View it! – Images depicting the item on Commons
Scholia
Report on constraint conformation of “propositional calculus” claims and statements. Constraints report for items data
Number of statements about propositional calculus by property (query)
All claims about propositional calculus (query)
List of items with same label (query)
List of lexemes with sense propositional calculus (query)

Classification of the class propositional calculus (Q200694)  

For help about classification, see Wikidata:Classification.

Parent classes (classes of items which contain this one item)

Subclasses (classes which contain special kinds of items of this class)

⟨propositional calculus⟩ on wikidata tree visualisation (external tool)(depth=1)

Generic queries for classes

See also

This documentation is generated using {{Item documentation}}.

propositional logic (Q16705128)

Merge? --Fractaler (talk) 11:47, 23 January 2017 (UTC)[reply]

Talk:Q200694

Autodescription — propositional calculus (Q200694)

propositional logic (Q16705128)

Navigation menu

Search