Ejercicios De Tablas De Verdad Y Formalización Más Tablas De Verdad

Páginas: 10 (2452 palabras) Publicado: 23 de mayo de 2012
EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD
Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas.
1.
p | & | q | -> | p |
V | V | V | V | V |
V | F | F | V | V |
F | F | V | V | F |
F | F | F | V | F |
TAUTOLOGÍA
2.
( | p | -> | q | ) | & | ( | p | &| ¬ | q | ) |
| V | V | V | | F | | V | F | F | V | |
| V | F | F | | F | | V | V | V | F | |
| F | V | V | | F | | F | F | F | V | |
| F | V | F | | F | | F | F | V | F | |
CONTRADICCIÓN
3.
p | v | ( | q | -> | r | ) |
V | V | | V | V | V | |
V | V | | V | F | F | |
V | V | | F | V | V | |
V | V | | F | V | F | |
F | V | | V | V | V | |
F | F| | V | F | F | |
F | V | | F | V | V | |
F | V | | F | V | F | |
INDETERMINACIÓN
4.
( | p | -> | q | ) | & | q | -> | p |
| V | V | V | | V | V | V | V |
| V | F | F | | F | F | V | V |
| F | V | V | | V | V | F | F |
| F | V | F | | F | F | V | F |
INDETERMINACIÓN
5.
( | p | -> | q | ) | & | ( | q | -> | r | ) | -> | ( | p | -> | r | )|
| V | V | V | | V | | V | V | V | | V | | V | V | V | |
| V | V | V | | F | | V | F | F | | V | | V | F | F | |
| V | F | F | | F | | F | V | V | | V | | V | V | V | |
| V | F | F | | F | | F | V | F | | V | | V | F | F | |
| F | V | V | | V | | V | V | V | | V | | F | V | V | |
| F | V | V | | F | | V | F | F | | V | | F | V | F | |
| F | V | F| | V | | F | V | V | | V | | F | V | V | |
| F | V | F | | V | | F | V | F | | V | | F | V | F | |
TAUTOLOGÍA
6.
( | p | -> | q | ) | & | ¬ | p | -> | ¬ | q |
| V | V | V | | V | F | V | V | F | V |
| V | F | F | | F | F | V | V | V | F |
| F | V | V | | F | V | F | F | F | V |
| F | V | F | | V | V | F | V | V | F |
INDETERMINACIÓN
7.
p | -> | (| q | -> | r | ) |
V | V | | V | V | V | |
V | F | | V | F | F | |
V | V | | F | V | V | |
V | V | | F | V | F | |
F | V | | V | V | V | |
F | V | | V | F | F | |
F | V | | F | V | V | |
F | V | | F | V | F | |
INDETERMINACIÓN
8.
¬ | ( | p | v | q | ) | | ¬ | p | & | ¬ | q |
F | | V | V | V | | V | F | V | F | F | V |
F | | V | V | F | | V | F |V | F | V | F |
F | | F | V | V | | V | V | F | F | F | V |
V | | F | F | F | | V | V | F | V | V | F |
TAUTOLOGÍA
9.
p | v | q | -> | ( | r | v | s | -> | p | ) |
V | V | V | V | | V | V | V | V | V | |
V | V | V | V | | V | V | F | V | V | |
V | V | V | V | | F | V | V | V | V | |
V | V | V | V | | F | F | F | V | V | |
V | V | F | V | | V | V | V | V | V ||
V | V | F | V | | V | V | F | V | V | |
V | V | F | V | | F | V | V | V | V | |
V | V | F | V | | F | F | F | V | V | |
F | V | V | F | | V | V | V | F | F | |
F | V | V | F | | V | V | F | F | F | |
F | V | V | F | | F | V | V | F | F | |
F | V | V | V | | F | F | F | V | F | |
F | F | F | V | | V | V | V | F | F | |
F | F | F | V | | V | V | F | F | F | |F | F | F | V | | F | V | V | F | F | |
F | F | F | V | | F | F | F | V | F | |
INDETERMINACIÓN
10.
¬ | ( | p | v | q | ) | | ¬ | p | v | ¬ | q |
F | | V | V | V | | V | F | V | F | F | V |
F | | V | V | F | | F | F | V | V | V | F |
F | | F | V | V | | F | V | F | V | F | V |
V | | F | F | F | | V | V | F | V | V | F |
INDETERMINACIÓN
Formalice los siguientesargumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no.
[Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño.
Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España Editores, 1991.]
Ejemplo: Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Ejercicios resueltos tablas de verdad

    ... EJERCICIOS RESUELTOS TABLA DE VERDAD. 1. Luis y Antonio juegan al futbol. (pq) p q (pq) V V V V F F F V F F F V 2. Si no estudias no vas a aprobar. (p q) p q (pq) V V V V F F F V V F F V 3. No se si ir al parque o a la academia. (pq) p q (pq) V V V V F V F V V F F V 4. No puedo con los estudios. (¬p) p ¬p V F F V 5. Si no como ahora no voy a poder aguantar esta tarde. ¬p¬q p...

    Leer más
    522 Palabras 3 Páginas
  • Ejercicios de tablas de verdad Lógica

    ...internacional (con más de 280 citas en la literatura), 2 publicaciones de docencia y 8 artí¬culos de divulgación cientí¬fica. A finales del siglo XX publico la obra de la cual vamos hablar a continuación “Memoria Natural y Artificial”, el cual es un proyecto y es propiedad del Fondo De Cultura Económica. A finales del siglo pasado, las tecnologías (la computación sobre todo) tuvieron un gran auge, en el mundo más gente empezaba a tener acceso a computadoras, y se...

    Leer más
    1102 Palabras 5 Páginas
  • Ejercicios de tabla de la verdad

    ...EJERCICIOS PASAR LA LEGUAJE COMUN Y LENGUAJE SIMBOLICO Y LLEVAR A LA TABLA DE LA VERDAD 1. O está lloviendo y nevando, o está soplando el viento. p=Está lloviendo; q=Está nevando; r=Está soplando el viento (p ∧ q) ∨ r 2. O los hombres han nacido iguales o no son libres. p=Los hombres han nacido iguales; q= Los hombres son libres p ∨ ¬q 3. O bien Salinas y Gómez son ambos culpables, o Gómez es inocente. P = Salinas es inocente; q= Gómez es...

    Leer más
    719 Palabras 3 Páginas
  • Ejercicios De Tablas De La Verdad

    ...Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una proposición empírica. |1. p ∧ q | |2. (p ∧ q) ∧ r | |3. ¬(p → ¬q) ∧ (p ∧ ¬q)...

    Leer más
    797 Palabras 4 Páginas
  • tablas de verdad

    ...donde  (sin importar que dos funciones escogemos). Derivada de un cociente Artículo principal: Regla del cociente. La derivada de un cociente se determina por la siguiente relación: Para aquellos que se puedan confundir por algunas variables de más se puede escribir así: Es decir:"La derivada de un cociente de dos funciones es la función ubicada en el denominador por la derivada del numerador menos la derivada de la función en el denominador por la función del numerador...

    Leer más
    698 Palabras 3 Páginas
  • Tablas de verdad

    ...Tablas de verdad Orígenes: Las tablas de verdad fueron creadas en 1880 por Charles Peirce, pero el formato que más usamos es el de Ludwig Wittgenstein que fue publicado por Bertrand Russell en 1918. Estas se crearon para determinar los valores posibles de verdad en una expresión o en una proposición, detectar la clase de razonamiento lógico, para así decir si el...

    Leer más
    725 Palabras 3 Páginas
  • tabla de la verdad

    ...proposicional es la más antigua y simple de las formas de lógica, utilizando una representación inicial del lenguaje, permite representar y manipular aseveraciones sobre el mundo que nos rodea, permite el raciocinio, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y, O. Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de...

    Leer más
    1666 Palabras 7 Páginas
  • tablas de verdad

    ...multirracial en Sudáfrica, cosa que se consiguió en 1994 con las primeras elecciones democráticas por sufragio universal. Mandela ganó las elecciones y fue presidente desde 1994 hasta 1999, dando frecuentemente prioridad a su reconciliación. Recibió más de 250 premios y reconocimientos internacionales durante cuatro décadas, incluido en 1993 el Premio Nobel de la Paz. Algo de su biografía : Nelson Mandela nació el 18 de julio de 1918 en Mvezo, un poblado de 300 habitantes...

    Leer más
    650 Palabras 3 Páginas

OTRAS TAREAS POPULARES

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS