propositional logic (Q200694)

From Wikidata
Jump to: navigation, search
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
  • propositional calculus
  • sentential calculus
  • sentential logic
edit
Language Label Description Also known as
English
propositional logic
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
  • propositional calculus
  • sentential calculus
  • sentential logic

Statements

0 references
0 references
Propositional logic
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
          edit
            edit