Scribd
Cargar
48 vistas2 páginas

Proposiciones y Lógica Matemática

1) El documento presenta una lista de ejercicios de lógica matemática para la asignatura Matemática I. Incluye ejercicios sobre proposiciones, tablas de verdad, equivalencias lógicas y cuantificadores. 2) Los ejercicios 1-4 se enfocan en identificar proposiciones, determinar su valor de verdad y construir tablas de verdad. Los ejercicios 5-6 tratan sobre demostraciones de equivalencias lógicas. Los ejercicios 7-9 incluyen expresar proposic

Cargado por

Andres Vega Paris
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
48 vistas2 páginas

Proposiciones y Lógica Matemática

1) El documento presenta una lista de ejercicios de lógica matemática para la asignatura Matemática I. Incluye ejercicios sobre proposiciones, tablas de verdad, equivalencias lógicas y cuantificadores. 2) Los ejercicios 1-4 se enfocan en identificar proposiciones, determinar su valor de verdad y construir tablas de verdad. Los ejercicios 5-6 tratan sobre demostraciones de equivalencias lógicas. Los ejercicios 7-9 incluyen expresar proposic

Cargado por

Andres Vega Paris
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD CATÓLICA DE LA SANTÍSIMA CONCEPCIÓN

FACULTAD DE INGENIERÍA
DEPARTAMENTO DE MATEMÁTICA Y FÍSICA APLICADAS
Listado N◦ 1
Matemática I (MAT112)

1. En cada caso verifique si es o no una proposición, justificando adecuadamente. De ser una


proposición indique el valor de verdad.
32 +22
a) ¿Cómo estas? d) 3+2 = 5.
b) 3 · 8 = 13 e) Concepción es la capital de Chile.
c) Chile es campeón mundial de fútbol. f ) x + y > 25

2. Dadas las proposiciones: p :”Messi es un actor”, q :”Brasilia es la capital de Brasil” y


r : −4 > 3. Escriba las siguientes proposiciones y determine su valor de verdad.

a) p∧ ∼ q. c) r →∼ p. e) (∼ p ∧ q) ↔ r.
b) ∼ p ∨ r. d ) (p ∨ q) → r. f ) (p ∧ q) ↔ (∼ q ∨ r).

3. Sean p, q y r tres proposiciones, tal que (p∧q) → r tiene valor de verdad Falso. Determinar
el valor de verdad para la proposición ∼ [(∼ p ∧ r) → (qY ∼ p)].

4. Construya una tabla de verdad para cada una de las siguientes proposiciones indicando si
corresponde a una tautologı́a, contradicción o contingencia.

a) (p → q) ∨ (q → p). c) (p ∨ q)∨ ∼ r. e) (p ∨ q) ↔∼ (∼ p∧ ∼ q).


b) (p∧ ∼ p) ↔ (q∧ ∼ q). d ) (p ∧ q) → r. f ) [p ∧ (p ∨ q)] ↔∼ p.

5. Sea . el conectivo definido por la siguiente equivalencia lógica

(p . q) ⇔ [∼ (p → q)]

Demostrar que p . (p . q) ⇔ p ∧ q.

6. Sean p, q y r proposiciones. Demuestre las siguientes equivalencias lógicas.

a) p ∧ (p ∨ q) ⇔ p. e) [p → (q ∨ r)] ⇔ [(p∧ ∼ q) → r].


b) p ∨ (p ∧ q) ⇔ p. f ) [(p ∧ q) → r] ⇔ [(p∧ ∼ r) →∼ q].
c) [(p → q) → p] ⇔ p. g) (p ↔ q) ⇔ [(∼ p∧ ∼ q) ∨ (p ∧ q)].
d ) {∼ [∼ (p ∧ q) →∼ q] ∨ q} ⇔ q. h) (p∨ ∼ q) ⇔ [(∼ p ∧ q) → (p∨ ∼ q)].

1
7. Escribir simbólicamente las proposiciones siguientes:

a) El cuadrado de todo número real es positivo o cero.


b) Cualesquiera sean los números reales a y b se verifica (a + b)2 = a2 + 2ab + b2 .
c) Existe al menos un número real tal que se cuadrado sea igual a si mismo.
d ) Existen soluciones reales para la ecuación x3 + 2x2 + x = 0.
e) Existe una única solución real para la ecuación 2x + 3 = 7.
f ) La ecuación x2 − 16 = 0 no tiene solución en R.

8. Determine el valor de verdad y niegue las siguientes proposiciones.

a) ∀x ∈ R : x > 0 . g) ∀x ∈ R, ∃y ∈ R : x2 + y 2 < 0.
b) ∃x ∈ R : x ≤ 0. h) ∀x ∈ R, ∃y ∈ R : x > y.
c) ∀x ∈ R : x2 ≥ 0 .
√ i ) ∃x ∈ R, ∀y ∈ R : y = x2 .
d) ∃!x ∈ R : x + 3 = 2.
e) ∃x ∈ Z : x2 = x. j ) ∀x ∈ R, ∃y ∈ R : x < y1 .
f) ∀x ∈ R, ∀y ∈ R : x2 y > 0. k ) ∀x ∈ R, ∃!y ∈ R : xy = 0.

9. Sea el conjunto A = {1, 2, 3} determinar el valor de verdad y luego la negación de cada


una de las proposiciones:

a) (∀x ∈ A)(x2 + 3x < 10). e) (∀x ∈ A)(x + 3 > 5 ∨ x2 + 1 ≥ 10).


b) (∃x ∈ A)(x2 + 3x ≥ 10). f ) (∃x ∈ A)(x2 > 1 ∧ x ≤ 4).
c) (∀x ∈ A)(x2 + 3x > 10). g) (∀x ∈ A)(x2 ≥ x → x2 < 1).
d ) (∃!x ∈ A)(x2 + 3x = 10). h) (∀x ∈ R)(∃y ∈ R)(x + y < 4).

CM/cm 24 de marzo de 2015

También podría gustarte