(Q200694)

English

propositional calculus

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

  • sentential calculus
  • sentential logic
  • statement logic
  • zeroth-order logic
  • propositional logic

Statements

Identifiers

výroková logika
0 references
Propositional calculus(2)
0 references
Propositional calculus
0 references
1 reference
propositional-logic · GitHub Topics · GitHub (English)
20 July 2021
ЛОГИКА ВЫСКАЗЫВАНИЙ
0 references
Propositional Calculus
0 references
0 references
0 references
 
edit
edit
    edit
      edit
        edit
        edit
          edit
            edit