0% encontró este documento útil (0 votos)
468 vistas4 páginas

Logica Proposicional

Este documento contiene un resumen de una clase de lógica proposicional dictada por el ingeniero Dayan Tevez. Se definen conceptos como proposición, tabla de verdad, conjunción, negación y se presentan ejercicios para practicar estos conceptos con 16 preguntas de opción múltiple.
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
0% encontró este documento útil (0 votos)
468 vistas4 páginas

Logica Proposicional

Este documento contiene un resumen de una clase de lógica proposicional dictada por el ingeniero Dayan Tevez. Se definen conceptos como proposición, tabla de verdad, conjunción, negación y se presentan ejercicios para practicar estos conceptos con 16 preguntas de opción múltiple.
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 Andina

“Néstor Cáceres Velásquez”

Ingeniería empresarial e informática

Docente : Ing. Dayan Tevez Osorio


Asignatura : matemática
Semestre : VI
Estudiantes : July Yesenia Apaza Ito

E-mail : [email protected]

Fecha : 25-10-2019
LOGICA PROPOSICIONAL
1 ¿Qué una proposición?
Una proposición es un pensamiento, expresión u oración, un enunciado al cual se le puede asignar
un valor de verdad o falsedad, pero ambas a la vez.

2 ¿Qué es una tabla de verdad?


Es una tabla que muestra el valor de verdad de una proposición compuesta, para composición de
verdad que se pueda asignar.

3 ¿Qué es la conjunción p y q? ¿Cómo se denota?


Es un operador que opera sobre dos valores de verdad, típicamente los valores de dos
proposiciones, devolviendo el valor de verdad cuando ambas proposiciones son verdaderas, y
falso en cualquier otro caso es decir es verdadera cuando ambas son verdaderas.
p q p˄q
V V V
V F F
F V F
F F F

4 ¿Qué es la negación de p? ¿cómo se denota?


Es un operador que se ejecuta, sobre un valor único, devolviendo el valor contradictorio de la
proposicion considerada.
p ̴p
V F
F V

5 Grafique la tabla de verdad completa


P Q P˄Q PvQ ~P P->Q P<->Q
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
Ejercicios:
1.- Dados los siguientes enunciados:
I.- la luna es un satélite de la tierra.
II.- Si x > 0 entonces x + 1/x > 0, x ϵ R.
III.- ¿Quién ganará la copa mundial de la FIFA Rusia?
IV.- El 23 de octubre de 1981 se fundó la Universidad Andina.
V.- Si x – y = 0 entonces x²²
¿Cuántas son proposiciones lógicas?
A) 1 B) 2 C) 3 D) 4 E) 5

2.- Si la siguiente proposición [(p ˄ q) → ~(t Δ q)] es falsa, determine el valor de verdad de p, q
y t en el orden indicado.
A) VFF B) VFV C) VVV D) FVV E) VVF
3.- Si la siguiente proposición P ↔ q es verdadera, determine el valor de verdad de las
siguientes proposiciones en el orden indicado.
I.- (p r) ˄ (p Δ q)
II.- ~ (p q) r
III.- [(~p ˄ q) ˅ p] Δ q
A) VFF B) VFV C) VVV D) FVF E) VVF

4.- Clasifique cada proposición como tautología (T), Contradicción (~) o Contingencia (C),
según en el orden indicado.
I.- Estudio, ya que trabajo; dado que estudio
II.- O si estudio entonces no trabajo, o si trabajo entonces no estudio
III.- O Mozart es un arquitecto o es músico, pero Mozart es un músico.
A) T, ~, C B) T, C, T C) T, C, ~ D) T, ~, T E) C, C, ~

5.- Si el valor de la siguiente proposición: “O Gerardo es estudioso y alto, o es estudioso” es


verdadero; entonces la afirmación verdadera es:.
A) No es cierto que Gerardo sea estudioso.
B) Gerardo es alto y estudioso.
C) Gerardo no es estudioso, pero es alto.
D) Gerardo es alto, puesto que es estudioso.
E) Si Gerardo es alto y estudioso, entonces es docente.
6.- Si la proposición: [(∼p∨q)→(q↔r)]∨(q∧s) es falsa, siendo p una proposición verdadera.
Determine los valores de verdad (V) o falsedad (F) de ∼q, r y ∼s en ese orden.
A) VVV B) VFV C) VFF D) FFV E) FFF
7.- La proposición: [r ⋀ ~(p ⇒ q)] ⋀~[p⋀~(s→q)] es verdadera. Los valores de verdad de las
proposiciones p, q, r y s son respectivamente:
A) VFVF B) VFVV C) VFFV D) VFFF E) FFVF
8.- Si la proposición: [(~p ∨q) ⇒ (q ⇔r)] ∨ (q ∧s) es falsa, siendo p una proposición verdadera,
determine los valores de verdad de q, r,s en ese orden.
A) VVV B) VVF C) VFF D) FVV E) FFF
9.- Se definen las proposiciones:
p⇓q≡∼p∧q
p⇑q≡p∨∼q
Además, la proposición:
∼ [(q ⇓ p) → (q ⇑ r)] ≡ V
Determine los valores de verdad de p, q y r respectivamente.
A) F F F B) F V V C) V F V D) V V F E) V V V
10.- Si la proposición: (~p ⇒ q) ∨(r ⇒ ~s) ≡ F. Determine el valor de verdad de las siguientes
proposiciones.
I. (~p ∧ ~q) ∨ ~q
II. (~r ∨ q) ⇔ [(~q ∨ r) ∧ s]
III. (p ⇒ q) ⇒ [(p ∨ q) ∧ ~q]
A) VVV B) VVF C) VFF D) FVV E) FFF
11.- Dada la proposición: ∼[(r ∨ q) →(r → p)] ≡ V donde se sabe que q es una proposición
falsa. Halle el valor de verdad de las siguientes proposiciones:
I. r →(∼p ∨ ∼q)
II. [r ↔ (p ∧ q)] ↔ (q ∧ ∼p)
III. (r ∨ ∼p) ∧ (q ∨ p)
A) VVV B) VVF C) VFF D) FFF E) FFV

12.- La proposición (p ∨ q) → (∼ p ∧ q) es equivalente a:


A) p B) ∼p C) q D) ∼q E) p ∧ q
13.- El contrarrecíproco de la siguiente proposición: “si x es un cuadrilátero, entonces no es un
triángulo y tiene 4 lados” es: A) Si x es un triángulo y no tiene 4 lados, entonces no es un
cuadrilátero.
B) Si x no es un triángulo o no tiene 4 lados, entonces es un cuadrilátero.
C) Si x no es un triángulo o tiene 4 lados, entonces es un cuadrilátero.
D) Si x no es un triángulo o no tiene 4 lados, entonces no es un cuadrilátero.
E) Si x es un triángulo o no tiene 4 lados, entonces no es un cuadrilátero.
14.- Indique la secuencia correcta luego de determinar si las proposiciones son verdaderas (V) o
falsas (F).
I. (p∧∼q) es lógicamente equivalente a ∼(∼p∨q)
II. (∼p∧r) → q equivale lógicamente a p∨∼r∨q
III. p→q equivale a ∼p∧q
A) VVV B) VVF C) FFV D) FVF E) VFV
15.- Si p↓q se define como ∼q∧∼p, entonces el equivalente a p↔q es:
I. (∼p ↓ q) ∨ (q ↓ p)
II. (∼p ↓ q) ∨ (∼q ↓ p)
III. (∼p ↓ ∼q) ∨ (p ↓ q)
A) solo I B) solo II C) solo III D) I y II E) II y III
16.- ¿Cuáles de las siguientes proposiciones siempre es falsa?
A. [∼(p ∧ q) → p] ∧ ∼p
B. (∼p → q) ↔ ∼(p → q)
C. ∼[∼(p → q) → (p ∨ ∼q)]
A) solo A B) solo B C) solo C D) A y B E) A y C

También podría gustarte