Category:論理結合子

• 

  論理的真理

  Logical truth
  
• 

  非含意

  Material nonimplication
  
• 

  逆含意

  Converse implication
  
• 

  逆非含意

  Converse nonimplication
  
• 

  論理結合子

  
• 

  否定

  Negation
  
• 

  否定論理積

  Sheffer stroke
  
• 

  厳密含意

  Strict conditional
  
• 

  論理包含

  Material conditional
  
• 

  否定論理和

  Logical NOR
  
• 

  同値

  If and only if
  
• 

  論理和

  Logical disjunction
  
• 

  論理演算

  Logical connective
  
• 

  論理積

  Logical conjunction
  
• 

  排他的論理和

  Exclusive or
  ▼-1 trends