Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/inc/auth.php on line 313

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/feed.php on line 38

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/feed.php on line 39

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/feed.php on line 40

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/feed.php on line 41

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/inc/httputils.php on line 27

Warning: Cannot modify header information - headers already sent by (output started at /home/ceguel/public_html/MaTest/conf/local.php:1) in /home/ceguel/public_html/MaTest/inc/httputils.php on line 28
http://www.ceguel.es/MaTest/ Sun, 05 Sep 2010 01:33:52 -0500 FeedCreator 1.7.2-ppt DokuWiki http://www.ceguel.es/MaTest/lib/images/favicon.ico http://www.ceguel.es/MaTest/ http://www.ceguel.es/MaTest/doku.php/man-0.1?rev=1238272961&do=diff Este es el manual de usuario de la versión 0.1 de MaTest. Esta versión se haya anticuada. Inicio Nada más arrancar el programa preguntará por la dimensión de las matrices que se van a usar. Introduzca la dimension de la matriz: En esta versión el tamaño está limitado a matrices de 10×10 elementos como máximo. Sat, 28 Mar 2009 15:42:41 -0500 http://www.ceguel.es/MaTest/doku.php/man-1.0?rev=1269439478&do=diff Instalación Primeramente ve a la página de descarcas, allí encontrarás el paquete del programa en diversos formatos: [.zip] o [.tar.gz]. El contenido es el mismo, pero puede resultar más cómodo un formato u otro según en qué sistema operativo se vaya a instalar. Wed, 24 Mar 2010 09:04:38 -0500 http://www.ceguel.es/MaTest/doku.php/matest?rev=1269439139&do=diff Matrix Tester for logical matrices. MaTest es un tester de matrices lógicas útil en la investigación en lógica matemática y lógica filosófica. Definidas unas matrices para unas conectivas, definido un mínimo valor designado y dada una fórmula bien formada, calcula todas las posibles valoraciones de la fórmula y evalúa en cada caso si se trata de un valor designado o no. Wed, 24 Mar 2010 08:58:59 -0500 http://www.ceguel.es/MaTest/doku.php/polish_notation?rev=1234351810&do=diff Descripción La notación polaca, también conocida como notación prefija, es un tipo de notación creada por Jan Łukasiewicz allá por 1920. En la notación prefija los operadores preceden a los operandos. Esta notación se aplica en lógica, aritmética y álgebra; en el ámbito de la lógica diremos que, en esta notación, las conectivas preceden a las variables. Wed, 11 Feb 2009 05:30:10 -0500 http://www.ceguel.es/MaTest/doku.php/teorem_dnp?rev=1228324777&do=diff Créditos: La siguiente lista de tautologías está tomada de Apuntes de lógica proposicional clásica (manuscrito) de José M. Méndez, y se reproduce aquí con permiso de su autor. T Notación estándar Notación polaca T1 A -> (B -> A) CpCqp T2 [A -> (B -> C)] -> [(A -> B) -> (A -> C)] CCpCqrCCpqCpr T3 A -> A Cpp T4 (B -> C) -> [(A -> B) -> (A -> C)] CCqrCCpqCp… Wed, 03 Dec 2008 11:19:37 -0500