Ejercicios De Logica Y Conjuntos

Páginas: 2 (434 palabras) Publicado: 15 de noviembre de 2012
P
1- [p^(q →r) ] v P
p | q | r | q→r | p˄(q→r) | [p˄(q→r)v P |
F | F | F | V | F | F |
F | F | V | V | F | F |
F | V | F | F | F |F |
F | V | V | V | F | F |
V | F | F | V | V | V |
V | F | V | V | V | V |
V | V | F | V | F | V |
V | V | V| F | V | V |

2- ͠ [ ͠ (p→q)˄ ͠ p]→ [ ͠ (p ↔q)˄p ]
p | q | p→q | ͠ [(p→q)˄ ͠ p] | ͠ (p↔q) | [ ͠ (p↔)˄ p | ͠ [ ͠ (p→q)˄ ͠ p]→ [ ͠ (p↔q)˄p] |
F | F| V | F | V | F | V |
F | V | V | F | F | F | V |
V | F | F | F | F | F | V |
V | V | V | V | V | V |V |

3- ͠ [p→(p˅q) ]
p q | (p˅q) | ͠ [p→(p˅q) ] |
F F | V | V |
F V | V | V |
V F | V | F |
V V | F | F |4- ͠ p˅q
P q | ͠ p˅q |
F F | V |
F V | V |
V F | V |
V V | F |

5- (p ˄q)→p
p q | p˄q | (p˄q)→p |
F F | F | V |
F V | F | V |
V F | F |F |
V V | V | V |

6- ͠ [(p˄q)→p]
p q | (p˄q) | ͠ [p˄q)→ ] |
F F | V | V |
F V | F | V |
V F | F | V |
V V | F |V |
7- p↔ ͠ p
p↔ ͠ p | |
V F | V |
F V | V |

8- p˅ ͠ p
p˅ ͠ p | |
V F | V |
F V | F |

9- q→q
q→q | |
V F | F |
F V | V |

10-(p˅ ͠ p)˄(q→q)
(p˅ ͠ p) | |
V F | V |
F V | F |
q→q | |
V F | F |
F V | V |


(p˅ ͠ p) ˄ (q→q) | |
V F | F |
F V| F |

11-(p↔ ͠ p) ˄ (p˅ ͠ p)
(p↔ ͠ p) | |
V F | V |
F V | V |
(p˅ ͠ p) | |
F V | F |
V F | V |


(p↔ ͠ p) ˄ (p˅ ͠ p) | |
V...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Logica y conjuntos

    ...Demostraciones a ejercicios propuestos Prof. Luis Pineda Última actualización: Febrero, 2.012 1 1.1 (1) Demostrar A ⊆ B ↔ A − B = ∅ Demostrar A⊆B →A−B =∅ Asumimos que A ⊆ B es verdadero equivale a decir que para todos los elementos se cumple que si un elemento está en A entonces está en B . Por denición del operador implicación y por propiedad de los cuanticadores lógicos, esto es lo mismo que decir que no existen elementos que estén en A...

    Leer más
    1698 Palabras 7 Páginas
  • Lógica de conjuntos

    ...1 Representaci´n de la proposiciones o Las proposiciones simples se representan mediante letras min´sculas, por ejemplo las letras u p, q, r, s entre otras. p:5 es divisor de 15 q:Bogota es capital de Colombia r:30 es m´ltiplo de 7 u Conectivos l´gicos o los conectivos l´gicos mas comunes son: o Disyunci´n(∨): es una proposici´n compuesta formada por la union de dos proposiciones o o simples mediante el conectivo o. Su valor de verdad es verdadero cuando por lo menos una es verdadera. p q p∨q...

    Leer más
    724 Palabras 3 Páginas
  • lógica y conjuntos

    ...impar = ~ q = F d. Le ecuación x²- 5 = 0 tiene solución en el conjunto de los números naturales y el conjunto de divisores positivos de 8 es: 1,2,4  (x²- 5 = 0 ) = p Tiene solución en el conjunto de los númerosnaturales= x N x N, p= F  El conjunto de divisores positivos de 8 es: 1,2,4 = q = F x N,p ^ q = F  x²- 5 = 0 NO tiene solución en el conjunto de los númerosnaturales ~x N, p = V ...

    Leer más
    933 Palabras 4 Páginas
  • Conjunto logico

    ...Teoría de conjunto CONJUNTO Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir así:   { a, b, c, ..., x, y, z}   Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).   El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma tabular,...

    Leer más
    1314 Palabras 6 Páginas
  • Logica y COnjuntos

    ... UNIDAD LOGICA Y CONJUNTOS TAREA 1 1. Simbolizar, dar el valor de verdad y negar las siguientes proposiciones: a. Si trabajas y estudias te preparas mejor para el futuro. P ˄ Q Valor de Verdad: V ˄ V = Es Verdadero Negación: ~ P ˄ ~ Q b. Si 2 es un número entero entonces 3 es un número impar p → q Valor de Verdad: v → v Es Verdadero Negación: ~p → ~q c. Le ecuación x²- 5 = 0 tiene solución en el conjunto de los números...

    Leer más
    643 Palabras 3 Páginas
  • conjuntos ejercicios

    ... Calcular todos los múltiplos de 17 comprendidos entre 800 y 860. Para calcular el primer múltiplo de 17 tomamos el siguiente número entero que resulta de dividir 800 entre 17 y lo multiplicamos por 17. 48 · 17 = 816. 49 · 17 = 833. 50 · 17 = 850. 816, 833, 850 Descomponer en factores 1 216 216 = 23 · 33 2 360 360 = 23 · 32 · 5 AxB = m.c.d x m.c.m, de donde m.c.m = AxB / m.c.d. Calcular el m. c. d. (máximo común divisor) y m.c.m.(mínimo común múltiplo) de: 1 428 y 376...

    Leer más
    532 Palabras 3 Páginas
  • Ejercicios de conjuntos

    ...Problemas de Conjuntos 128 alumnos de 3er grado presentaron un examen dae matemáticas en el que venían tres problemas: A, B y C, de ellos tenían que contestar al menos dos bien para pasar. a) 18 alumnos resuelven solo el problema A. b) 10 alumnos resuelven C y A. c) 28 resuelven A y B. d) 14 resolvieron B y C. e) 20 resuelven B y A y no C. f) 26 resuelven C pero no A. g) Los que resuelven B son 48 I. ¿Cuántos alumnos resuelven B y C pero no...

    Leer más
    556 Palabras 3 Páginas
  • ejercicios de conjuntos

    ...Deber # 2 Aplicar todos los teoremas de inferencia, leyes y las equivalencias en la resolución de los ejercicios. Simboliza las siguientes proposiciones: 1. “Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habría que dejar de...

    Leer más
    773 Palabras 4 Páginas

OTRAS TAREAS POPULARES

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS