AplicacionesLP - Historial de revisiones

Pedrosrei en 18:20 22 may 2013

2013-05-22T18:20:21Z

Pedrosrei en 11:31 22 may 2013

2013-05-22T11:31:53Z

Pedrosrei en 11:24 22 may 2013

2013-05-22T11:24:39Z

Pedrosrei en 11:11 22 may 2013

2013-05-22T11:11:02Z

Mjoseh: Página creada con ' -- AplicacionesLP.hs -- Aplicaciones de la Lógica proposicional. -- --------------------------------------------------------------------- -- --------...'

2013-05-21T07:06:58Z

Página creada con '<source lang = "haskell"> -- AplicacionesLP.hs -- Aplicaciones de la Lógica proposicional. -- --------------------------------------------------------------------- -- --------...'

Página nueva

<source lang = "haskell">
-- AplicacionesLP.hs
-- Aplicaciones de la Lógica proposicional.
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Librerías auxiliares --
-- ---------------------------------------------------------------------

import SintaxisSemantica
-- import TablerosSemanticos
-- import ResolucionProposicional

-- ---------------------------------------------------------------------
-- Ejercicio 1: En una isla hay dos tribus, la de los veraces (que
-- siempre dicen la verdad) y la de los mentirosos (que siempre
-- mienten). Un viajero se encuentra con tres isleños A, B y C y cada
-- uno le dice una frase A dice “B y C son veraces syss C es veraz” B
-- dice “Si A y B son veraces, entonces B y C son veraces y A es
-- mentiroso” C dice “B es mentiroso syss A o B es veraz”
--
-- Determinar a qué tribu pertenecen A, B y C.

-- Simbolización:
-- a, b y c representan que A, B y C son veraces
-- -a, -b y -c representan que A, B y C son mentirosos
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Ejercicio 2: Decidir si es posible colorear los vértices de un
-- pentágono de rojo o azul de forma que los vértices adyacentes
-- tengan colores distintos.

-- Simbolización:
-- 1, 2, 3, 4, 5 representan los vértices consecutivos del pentágono
-- ri (1 ≤ i ≤ 5) representa que el vértice i es rojo
-- ai (1 ≤ i ≤ 5) representa que el vértice i es azul
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Ejercicio 3: Cuatro palomas comparten tres huecos. Decidir si es
-- posible que no haya dos palomas en el mismo hueco.

-- Simbolización:
-- pihj (i ∈ {1, 2, 3, 4} y j ∈ {1, 2, 3}) representa
-- que la paloma i está en el hueco j.
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Ejercicio 4: Un rectángulo se divide en seis rectángulos menores como
-- se indica en la figura.

-- ------------------
-- | | B |
-- | A |----------
-- | | | |
-- |------| D | |
-- | C | | E |
-- |------|---| |
-- | F | |
-- ------------------

-- Demostrar que si cada una de los rectángulos menores tiene un lado
-- cuya medida es un número entero, entonces la medida de alguno de los
-- lados del rectángulo mayor es un número entero.

-- Simbolización:
-- base: la base del rectángulo mayor es un número entero
-- altura: la altura del rectángulo mayor es un número entero
-- base_x: la base del rectángulo X es un número entero
-- altura_x: la altura del rectángulo X es un número entero
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Ejercicio 5: Calcular las formas de colocar 4 reinas en un tablero
-- de 4x4 de forma que no haya más de una reina en cada fila,
-- columna o diagonal.

-- Simbolización:
-- cij (1 ≤ i, j ≤ 4) indica que hay una reina en la fila i columna j.
-- ---------------------------------------------------------------------

-- ---------------------------------------------------------------------
-- Ejercicio 6: Probar el caso más simple del teorema de Ramsey: entre
-- seis personas siempre hay (al menos) tres tales que cada una conoce
-- a las otras dos o cada una no conoce a ninguna de las otras dos.

-- Simbolización:
-- 1,2,3,4,5,6 representan a las personas
-- pij (1 ≤ i < j ≤ 6) indica que las personas i y j se conocen.
-- ---------------------------------------------------------------------
</source>

@@ Línea 26: / Línea 26: @@
 --   -a, -b y -c representan que A, B y C son mentirosos
 -- ---------------------------------------------------------------------
 a  = Atom "a"
 b = Atom "b"
@@ Línea 32: / Línea 33: @@
 solucion1 = modelosFormula ((a<-->((b/\c)<-->c))/\(b<-->((a/\b)-->(b/\c/\(no a))))/\(c<-->((no b)<-->(a\/b))))
-*Main> solucion1
+--*Main> solucion1
-[]
+--[]
 -- ---------------------------------------------------------------------
 -- Ejercicio 2: Decidir si es posible colorear los vértices de un
@@ Línea 46: / Línea 47: @@
 --   ai (1 ≤ i ≤ 5) representa que el vértice i es azul
 -- ---------------------------------------------------------------------
 -- ---------------------------------------------------------------------
 -- Ejercicio 3: Cuatro palomas comparten tres huecos. Decidir si es

@@ Línea 72: / Línea 72: @@
 --   que la paloma i está en el hueco j.
 -- ---------------------------------------------------------------------
 -- ---------------------------------------------------------------------
 -- Ejercicio 4: Un rectángulo se divide en seis rectángulos menores como