UNIVERSIDAD MARÍA AUXILIADORA CICLO I

MATEMÁTICA

ALGUNAS DEFINICIONES

LÓGICA
Es la ciencia que trata la teoría de la inferencia, es decir, estudia los métodos y las leyes
para determinar cuándo la inferencia es válida.

INFERENCIA
Es una estructura de proposiciones el cual consiste en pasar de unas proposiciones
llamadas premisas a otra proposición llamada conclusión.

PROPOSICIÓN
Es una oración aseverativa cuya característica es el ser verdadera o falsa mas no ambas
simultáneamente. Toda expresión que no tenga sentido de verdad o falsedad no es
proposición. Toda oración aseverativa afirma o niega algo.

PROPOSICIÓN SIMPLE
Aquella que tiene un solo sujeto y un solo predicado.

PROPOSICIÓN COMPUESTA
Está construida por más de una proposición simple, unidas por términos de enlace.
Según el término de enlace que llevan, las proposiciones compuestas son conjuntivas,
disyuntivas, condicionales, bicondicionales y negativas.

CONJUNCIÓN (^)
Aquellas proposiciones unidas por “y”.

Tabla de verdad:
p q p^q
V V V
V F F
F V F
F F F

DISYUNCIÓN (v)
Las proposiciones unidas por “o”.

DANTE O. NEYRA SALAS MATEMÁTICA

UNIVERSIDAD MARÍA AUXILIADORA CICLO I

Tabla de verdad:
p q pvq
V V V
V F V
F V V
F F F

CONDICIONAL (→)
La conectiva condicional es “si…entonces…”

Tabla de verdad:
p q P→q
V V V
V F F
F V V
F F V

BICONDICIONAL (↔)
Las proposiciones están unidas por “si solo si”.

Tabla de verdad:
p q p↔q
V V V
V F F
F V F
F F V

Nota: (p → q) ^ (q → p) = p ↔ q

NEGACIÓN (~)
La proposición “no” actúa separada de la proposición.

Tabla de verdad:
p ~p
V F
F V

ESQUEMAS CONTINGENTES O CONSISTENTES

Son aquellos esquemas que, al aplicarse las tablas de verdad, tienen en el resultado
final por lo menos un valor de verdad y un valor de falsedad a la vez, es decir, tienen
valores verdaderos y falsos a la vez en el resultado final.

DANTE O. NEYRA SALAS MATEMÁTICA

UNIVERSIDAD MARÍA AUXILIADORA CICLO I

ESQUEMAS TAUTOLÓGICOS
Son aquellos que, al aplicarse las tablas de verdad, se obtiene en el resultado final todos
los valores verdaderos.

ESQUEMAS CONTRADICTORIOS
Cuando al aplicarse las tablas de verdad se obtiene en el resultado final todos los valores
falsos, estamos ante un esquema contradictorio.

DANTE O. NEYRA SALAS MATEMÁTICA

UNIVERSIDAD MARÍA AUXILIADORA CICLO I

EJERCICIOS

I. Determinar la proposición compuesta en cada uno de los ejercicios:

1. La Tierra es un planeta y el Sol es una estrella.
2. Carlos es un abogado o un ingeniero, además es un periodista.
3. La secretaria del Director del colegio habla inglés o habla francés.
4. O nieva y hace frío, o hay lluvia y tormenta.
5. Si Pedro es un ciudadano entonces votará en las elecciones.
6. Si Luis obtiene una beca o viaja al extranjero, entonces no tendrá problemas
económicos.
7. Un número es divisible por dos, si y solo si es un número par.
8. Luis no viajará al extranjero, si y solo si, o no obtiene su visa o no obtiene el permiso
de su trabajo.
9. No es el caso que Jorge estudie abogacía y María sea periodista.
10. La nieve es blanca y el cielo es azul
11. Hay flores en primavera o hay flores en otoño.
12. Si Armando estudia en la universidad entonces será profesional.
13. El agua se congela si y solo si la temperatura está bajo cero.
14. El Perú no está al sur de Chile.

II. Determinar si las siguientes expresiones son proposiciones:

1. Recoge ese lápiz
2. 2 + 5 < 6
3. x - y = 5
4. Hace mucho frío

III. Determinar el tipo de esquema (contingente, tautológico o contradictorio) en

cada uno de los siguientes ejercicios:
1. (p v ~q) → (~p ^ q)
2. [(p v q) → r] ↔ ~p
3. ~(p v q) ^ [~r → (q ↔ r)]
4. ~(p ^ q) v p
5. (p ^ q) → [(~r ^ ~q) v p]
6. {[(p v q) v r] ^ (~r → q)} ↔ ~(~q ^ ~r)
7. (p ^ ~q) ↔ (p → q)
8. [(p ^ q) → q] → [~r ^ ~(r → ~p)]

DANTE O. NEYRA SALAS MATEMÁTICA