Está en la página 1de 4

ARITMÉTICA 1 CIENCIAS

LÓGICA PROPOSICIONAL
La lógica es una disciplina que se utiliza para determinar OPERACIÓN
SÍMBOLO SIGNIFICADO
si un argumento es válido, tiene aplicación en todos los LÓGICA
campos del saber. ~ Negación No p
∧ Conjunción p y q
I. ENUNCIADO: Es cualquier frase u oración que ∨ Disyunción p o q
expresa una idea. Si p, entonces
→ Condicional
q
II. PROPOSICIÓN: Son oraciones aseverativas que se
↔ Bicondicional p si y sólo si q
pueden calificar como verdaderas o falsas. Se
Disyunción
representan con las letras minúsculas del abecedario: ∆ “o … o …”
Exclusiva
p; q; r; s.
VI. OPERACIONES LÓGICAS Y TABLAS DE
Ejemplo:
VERDAD
- Galileo Galilei murió decapitado.
- 19 < 10 La validez de una proposición compuesta depende de
- 12 y 13 son números primos entre sí. la validez de las proposiciones simples que la
componen.
III. ENUNCIADO ABIERTO: Son enunciados que
OBSERVACIÓN:
pueden tomar cualquiera de los 2 valores de verdad.
La cantidad de filas en una tabla es: # filas = 2n
Ejemplo:
Donde n es la cantidad de proposiciones simples.
Si: P(x): x > 7. Se cumple que:
P(9): 9 > 7 es verdadero Veamos una tabla simplificada:
P(2): 2 > 7 es falso Trabajaremos con 2 proposiciones simples: p y q, por
lo tanto se tendrán 4 filas
El valor de verdad de P(x) depende del valor de x,
también, se le conoce como función proposicional. p q ∧ ∨ → ↔ ∆ ~p ~q
V V V V V V F F F
IV. CLASES DE PROPOSICIONES:
V F F V F F V F V
F V F V V F V V F
1. Proposición Simple: Son proposiciones que no
F F F F V V F V V
tienen conjunciones gramaticales ni adverbio de
negación.
IMPORTANTE:
Ejemplo: Cincuenta es múltiplo de diez.
21 y 22 son primos entre si. • Cuando los valores del operador principal son todos
verdaderos se dice que el esquema molecular es
2. Proposición Compuesta: Formada por dos o más tautológico.
proposiciones simples unidas por conectivos lógicos • Se dirá que el esquema molecular es
o por el adverbio de negación. contradictorio si los valores del operador principal
son todos falsos.
Ejemplo: 29 es un número primo y 5 es impar. • Si los valores del operador principal tiene por lo
Carlos no es Ingeniero Civil menos una verdad y una falsedad se dice que es
18 y 34 son números pares contingente o consistente.

V. CONECTIVOS LÓGICOS: Símbolos que enlazan VII. LEYES DE ÁLGEBRA PROPOSICIONAL


dos o más proposiciones simples para formar una
proposición compuesta. Los conectores lógicos que Son equivalencias lógicas que nos permiten reducir
usaremos son: esquemas moleculares complejos y expresarlos en
forma más sencilla. Las demostraciones de dichas
leyes se hacen construyendo la tabla de verdad en
cada caso.

CEPREUNTELS – Ciclo Académico 2023-II (Queda prohibida la reproducción total o parcial de esta publicación) Pág. - 1 -
Aritmética Teoría y ejercicios – Semana 1
PRINCIPALES LEYES: VIII. CUANTIFICADORES:

a. Ley de Idempotencia: 1. Cuantificador Universal: Sea la función


proposicional sobre un conjunto A, el cuantificador
p ∧ p ≡ p ("para todo") indica que todos los valores del conjunto
p ∨ p ≡ p A hacen que la función proposicional sea verdadera.
∀ se lee : "para todo "
b. Ley Conmutativa:
Ejemplo:
p∨q ≡ q ∨ p Sea: f(x) : x3 + 2 > 5 donde x ∈ 
p∧q ≡ q ∧ p La proposición cuantificada es:
∀ x ∈ N ; x 3 + 2 > 5 es falsa.
c. Ley Asociativa:
2. Cuantificador existencial: Sea una función
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) proposicional sobre un conjunto A el cuantificador
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (existe algún) indica que para algún valor del conjunto
A, la función proposicional es verdadera.
d. Ley Distributiva: ∃ se lee : "Existe algún"
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Ejemplo:
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) Sea f(x): x2 – 5 < 8, donde: x ∈  + , la proposición:
∃ x ∈  + / x2 – 5 < 8 es verdadera.
e. Ley de la Doble Negación:
IX. CIRCUITOS LÓGICOS
~ (~p) ≡ p Un circuito conmutador puede estar solamente en
dos estados estables: cerrado o abierto, así como
f. Leyes de Identidad: una proposición puede ser verdadera o falsa,
entonces podemos representar una proposición
p∨V ≡ V ; p∨F ≡ p utilizando un circuito lógico:
p∧V ≡ p ; p ∧F ≡ F
1. Circuito Serie:
g. Leyes del Complemento: Dos interruptores conectados en serie representan
una conjunción.
p∨~p ≡ V
p∧~p ≡ F ―p―q― < > p∧q

h. Ley del Condicional: 2. Circuito Paralelo:


p→q≡~ p∨ q Dos interruptores conectados en paralelo
representan una disyunción.
i. Ley de la Bicondicional:

p ↔ q ≡ (p → q) ∧ (q → p)
p ↔ q ≡ (p ∧ q) ∨ (~ p ∧ ~ q)
p ↔ q ≡ ~ (p ∆ q)

j. Ley de Absorción:

p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p
p ∨ (~ p ∧ q) ≡ p∨ q
p ∧ (~ p ∨ q) ≡ p∧ q

k. Leyes de "De Morgan":

~ (p ∨ q) ≡ ~ p ∧ ~ q
~ (p ∧ q) ≡ ~ p ∨ ~ q

CEPREUNTELS – Ciclo Académico 2023-II (Queda prohibida la reproducción total o parcial de esta publicación) Pág. - 2 -
Aritmética Teoría y ejercicios – Semana 1
EJERCICIOS DE CLASE 6. Dadas las siguientes proposiciones:

1. Dada las proposiciones p: Pele es brasileño, q: Pele I)  p ∧ q   p II) p   p ∨ q 


es aficionado al fútbol. Representar simbólicamente III)   p ∨ q  ∧  p   q IV)   p  q  ∧ p  ∧  q
el siguiente enunciado: “Si Pele es brasileño
entonces es aficionado al fútbol. Pero, Pele no es ¿Cuántas son tautologías?
aficionado al fútbol. Por tanto, no es brasileño”. A) 0 B) 1 C) 2
A) [ ( p → q) ∧ ~ q ] → ~ q D) 3 E) 4
B) [ ( p → q) ∧ ~ q ] → q
7. Se define el operador (  ) la siguiente equivalencia
C) [ ( p → q) ∧ q ] → q
p  q    p ∧ q   p . Simplifique la proposición
D) [ ( p → q) ∧ q ] → ~ q
E) [ ( p → q) ∧ ~ q ] → ~ p dada a continuación
 
2. Dada las proposiciones p: Jorge es comerciante, q:   p ∨  q  q ∧  p     qp  .
Jorge es un próspero industrial y r: Jorge es A) p ∧ q B) q ∧  p C) p ∨  q
ingeniero, simbolizar el enunciado “ Si no es el caso
D) q ∨  p E) p ∨ q
que Jorge sea un comerciante y un próspero
industrial, entonces es ingeniero o no es
8. Determinar la menor expresión que representa el
comerciante ”
circuito dado:
A) ∼ (p ∧ q) → (r ∧ ∼ p)
B) ∼ (p ∧ q) → (r ∨ ∼ p)
C) ∼ (p ∨ q) → (r ∨ ∼ p)
D) ∼ (p ∨ q) → (r → ∼ p)
E) ∼ (p ↔ q) → (r → ∼ p) A) p ∧ q B) p ∨ q C) p  q
D)  p ∧  q E) p  q
3. Dada las siguientes proposiciones:
p : David es comerciante. 9. Si el valor de la proposición  p  q   r  s 
q : David es un próspero industrial. es falsa, deduzca el valor de verdad de las
r : David es ingeniero. siguientes proposiciones:
Simbolizar el enunciado “si no es el caso que David I)  p   q    q II)  r  q     q  r   s 
sea un comerciante y un próspero industrial,
entonces es ingeniero o no es comerciante” III)  p  q     p  q    q 

A)   p  q    r   p  B)   p  q    r   p  A) VFV B) FVF C) VVV


C)   p  q    r   p  D)   p  q    r   p  D) FFV E) FFF

E)   p  q    r   p  10. Indique los valores de verdad de las siguientes


proposiciones respectivamente:
4. Indique la tabla de verdad de la siguiente
I. (3+5=8) ∨ (5-3=4)
proposición
II. (5–3=8) → (1-7=6)
  p  q   q    p
  III. ( 3 + 8 = 11 ) ∧ (7–4>1)
A) FFVA B) VVFF C) FFFF IV. (4+6=9) ↔ (5–2=4)
D) VVVV E) VFVF
A) VVVV B) VVFV C) VVFF
5. Indique si las siguientes proposiciones son D) VFVF E) FFVV
tautología (V), contingencia (C) o contradictorio (F).
11. Al simplificar la siguiente proposición
I)   p   q   q   p II)  p ∧ q  ∧   p ∨ q   p  q    q  p se obtiene
III) p ∨   p ∨  q  A) p   q B) p   q C) p   q
D) p   p E) p  q
A) VFV B) VVF C) VFF D) VCF E) VFC
CEPREUNTELS – Ciclo Académico 2023-II (Queda prohibida la reproducción total o parcial de esta publicación) Pág. - 3 -
Aritmética Teoría y ejercicios – Semana 1
12. Según las proposiciones q: 4 es un número impar; p 6. Se definen las operaciones lógicas p  q   p  q y
y r cualesquiera tal que    r  q    r  p   es pψ q   p  q , simplifique la proposición
verdadera, determine el valor de verdad de cada uno   p  q ψ   q ψ p 
de las siguientes proposiciones:
A) p ∨ q B) p ∧  p C ) p∨q
I) r   p   q II)  r   p  q     q   p 
D) p ∨  q E) p ∧  q
III)  r   p  qp 
7. Si las proposiciones   p   q  r  y  t   s
A) V FV B) VVV C) VVF D) FFF E) FFV
son verdaderas ¿Cuál de las siguientes
13. Determine una proposición equivalente a: proposiciones es falsa?
  p  q    r   r    q A) p   r  s B) q   r   s C) p  q
 
D) r  s E)  s
A)  q B)  p ∨ q C)  q
D)  p  r E)  r 8. Representar simbólicamente el siguiente enunciado:
“Si como demasiado entonces me duele el
EJERCICIOS DE EVALUACIÓN estómago; y me duele el estómago. Por lo tanto
como demasiado”.
1. Si  r   p  q   F y   t  r   V , determine el
A)   p  q  ∧ q   q B)   p  q  ∧ q   p
valor de la proposición
C)   p  q  ∧ p   q D)   p ∧ q   p   p
 r   p   r     t   p  q   s  .
   
E)   p  q   q   p
A) p B) q C) r D) F E) V
9. Si la proposición  p  r ∧    p ∨  q  es
2. Si la proposición compuesta
verdadera, halle el valor de verdad de las siguientes
 p   q    r   s  F , determine la validez
proposiciones respectivamente:
respectivamente de:
I) p  q II) p  r III)  r  p
I)  p  q II) q  w III)  p  q   r
A) FFV B) VFF C) VVF
A) VVV B) VFV C) FVF D) FFF E) FFV D) VVV E) VFV

3. ¿Cuál es el conectivo lógico que debe ir en el 10. Determine la menor expresión que representa
recuadro para que se verifique la siguiente circuito dado:
equivalencia?
p  p  q   p  q
A) → B) ∧ C) ∨ D) ↔ E) ∆

4. Simplifique   p  q    p  q     p  r  A) p  q B) q  p C) p ∨ q
D) p ∧ q E) p  q
A) p ∨ q B) p ∧ q C) p  q
D) p E) q 11. Representar simbólicamente el siguiente enunciado:
“Si estudias, triunfas, y no estudias.
5. Se define el operador lógico ( Θ ) :
En consecuencia, no triunfas”.
p Θ q   p  q   q ¿Qué se obtiene al simplificar
A)   p  q  ∧  p    p B)   p  q  ∧  q    p
p Θ q Θ q?
C)   p ∨ q   p    p D)   p ∧ q   q   p
A) p ∨ q B) p ∧ q C) p  q
E)   p  q  ∧  p    q
D) p ∨  p E) p ∧  p

CEPREUNTELS – Ciclo Académico 2023-II (Queda prohibida la reproducción total o parcial de esta publicación) Pág. - 4 -

También podría gustarte