Type:

Other

Description:

This Demonstration presents a simple test for Bochvar's (1939) three-valued logic. The values are: True, False, and Undefined (or Paradoxical or Meaningless), with associated numerical values 1, 0, 1/2, respectively. The value of compound propositions is evaluated according to Bochvar's matrices for internal connectives.

Subjects:

    Education Levels:

      Keywords:

      EUN,LOM,LRE4,work-cmr-id:398639,http://demonstrations.wolfram.com:http://demonstrations.wolfram.com/BochvarsThreeValuedLogic/,ilox,learning resource exchange,LRE metadata application profile,LRE

      Language:

      Access Privileges:

      Public - Available to anyone

      License Deed:

      Creative Commons Attribution 3.0

      Collections:

      None
      This resource has not yet been aligned.
      Curriki Rating
      'NR' - This resource has not been rated
      NR
      'NR' - This resource has not been rated

      This resource has not yet been reviewed.

      Not Rated Yet.

      Non-profit Tax ID # 203478467