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 MaTest
http://www.ceguel.es/MaTest/
Sun, 05 Sep 2010 01:04:47 -0500FeedCreator 1.7.2-ppt DokuWikihttp://www.ceguel.es/MaTest/lib/images/favicon.icoMaTest
http://www.ceguel.es/MaTest/
man-1.0 - creado: Página de la documentación de la versión 1.0a
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.César GonzálezWed, 24 Mar 2010 09:04:38 -0500matest - Preparando la página principal para la documentación de la versión 1.2
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.César GonzálezWed, 24 Mar 2010 08:58:59 -0500polish_notation - editor externo
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 -0500teorem_dnp - creado
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…César GonzálezWed, 03 Dec 2008 11:19:37 -0500