Category:論理式

• 

  命題

  Proposition
  ▲1 trends

  
• 

  全称記号

  Universal quantification
  ▲1 trends

  
• 

  トートロジー

  Tautology (language)
  
• 

  数式

  Expression (mathematics)
  
• 

  定理

  Theorem
  
• 

  恒真式

  Tautology (logic)
  
• 

  ポーランド記法

  Polish notation
  
• 

  論理式 (数学)

  Logical formula
  
• 

  原子論理式

  Atomic formula
  
• 

  命題関数

  Propositional function
  
• 

  シークエント

  Sequent
  
• 

  推論規則

  Rule of inference