What we talk about when we talk about Technology

技術について語ります。

論理結合子

  • 矛盾(Contradiction)
  • 恒真式(Tautology)
  • 論理積(Conjunction)
  • 否定論理積(Alternative Denial)
  • 非含意(Material non implication)
  • 含意(Material implication)
  • 命題P(Proposition P)
  • 否定P(Negation of P)
  • 逆非合意(Converse non implication)
  • 逆合意(Converse implication)
  • 命題Q(PropositionQ)
  • 否定Q(Negation of Q)
  • 排他的論理和(Exclusive disjunction)
  • 同値(Biconditional)
  • 論理和(Disjunction)
  • 否定論理和(Joint denial)