Bochvar's three-valued logic

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (UNESP)-
Autor(es): dc.creatorHafner, Izidor-
Data de aceite: dc.date.accessioned2019-08-21T18:02:53Z-
Data de disponibilização: dc.date.available2019-08-21T18:02:53Z-
Data de envio: dc.date.issued2013-09-25-
Data de envio: dc.date.issued2013-09-25-
Data de envio: dc.date.issued2013-09-25-
Fonte completa do material: dc.identifierhttp://acervodigital.unesp.br/handle/unesp/70099-
Fonte completa do material: dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/22561-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/462169-
Descrição: dc.descriptionEducação Superior::Ciências Exatas e da Terra::Matemática-
Descrição: dc.descriptionThis 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-
Publicador: dc.publisherWolfram demonstrations project-
Relação: dc.relationBochvarsThreeValuedLogic.nbp-
Direitos: dc.rightsDemonstrations freeware using MathematicaPlayer-
Palavras-chave: dc.subjectLógica matemática-
Palavras-chave: dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática-
Título: dc.titleBochvar's three-valued logic-
Aparece nas coleções:Repositório Institucional - Acervo Digital Unesp

Não existem arquivos associados a este item.