Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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:
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
~ (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:
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 -