pq-system explorer

dc.contributor	Universidade Estadual Paulista (UNESP)
dc.creator	Caviness, Ken
dc.date	2016-10-26T18:04:19Z
dc.date	2016-10-26T18:04:19Z
dc.date.accessioned	2017-04-06T12:46:47Z
dc.date.available	2017-04-06T12:46:47Z
dc.identifier	http://acervodigital.unesp.br/handle/unesp/368785
dc.identifier	http://objetoseducacionais2.mec.gov.br/handle/mec/23084
dc.identifier.uri	http://repositorioslatinoamericanos.uchile.cl/handle/2250/965067
dc.description	Educação Superior::Ciências Exatas e da Terra::Matemática
dc.description	The pq-system [1] is a formal system in which theorems can be derived or generated from axioms or from other theorems by using a rule of inference. Use only the upper sliders to adjust the "pq-string" and test whether it is an axiom or a theorem or neither. (Axioms must follow the axiom schema or pattern "xp-qx", where x represents a string of hyphens.) This Demonstration is a power tool for exploring this sample formal system, but the exploration process occurs in your own mind: do not use the lower slider or buttons until you have thoroughly explored the system or you short-circuit the process
dc.publisher	Wolfram demonstrations project
dc.relation	PqSystemExplorer.nbp
dc.rights	Demonstrations freeware using MathematicaPlayer
dc.subject	Demonstrações de teoremas
dc.subject	Educação Superior::Ciências Exatas e da Terra::Matemática::Lógica Matemática
dc.title	pq-system explorer
dc.type	Otro