Logica

ESCUELA SUPERIOR DE
ADMINISTRACIÓN
PÚBLICA ESAP
MATEMÁTICA I
ADRIANA PÉREZ RODRÍGUEZ
Evaluación
1. Tres talleres
2. Tres evaluaciones
3. Participación
LÓGICA Y CONJUNTOS
TÉRMINOS DEFINIDOS Y NO DEFINIDOS
Definición de rombo
Rombo es un paralelogramo que tiene todos los lados congruentes
Definición de paralelogramo
Paralelogramo es un cuadrilátero que tiene sus lados opuestos paralelos
Definición de cuadrilátero
Cuadrilátero es un polígono de cuatro lados
Definición de lado
Lado es un segmento de recta que limita la región interior de un polígono
Definición de segmento de recta
Segmento de recta es una porción de recta, limitada por dos puntos
Al definir recta y punto vamos a un círculo
Punto: intersección entre dos rectas
Recta: conjuntos de infinitos puntos que conservan siempre la misma dirección
El punto se utiliza para definir recta y a su vez ésta nos sirve para definir punto.
La matemática utiliza siempre dos términos: unos primitivos o no definidos que

sirven de base para definir otros términos que son los definidos
Términos no definidos Términos definidos

•Proposiciones
verdaderas: juicio del cual podemos afirmar con certeza uno solo
de estos criterios falso o verdadero
EJEMPLOS:
“ Dos es un número par”
“Existe un número infinito de números primos”

“Dos ángulos son suplementarios si la suma de sus medidas es 180°”
“La suma de las medidas de los ángulos interiores de un triángulo es igual a
180°”
Proposiciones simples
Determinar si las siguientes proposiciones simples son verdaderas o falsas
a. 5 es divisor de 60
b. ¿Qué hora es?
c. Ordene de menor a mayor los siguientes números
d. 15 es un número primo
e. 120 es divisible entre 5
Proposiciones compuestas:
Es una expresión conformada por dos o más proposiciones unidas por
conectivos lógicos
Ejemplo:
“Todo triángulo rectángulo tiene un ángulo recto y dos ángulos agudos”
Se puede descomponer en dos simples
•“Un
triángulo rectángulo tiene un ángulo recto”
“Un triángulo rectángulo tiene dos ángulos agudos”
Operaciones que permiten combinar las proposiciones
• Negación
Si una proposición dada es verdadera , su negación necesariamente es falsa
Ejemplo:
p: “ 8 es ´múltiplo de 2” verdadero
: “8 no es múltiplo de 2” falso
q: 5+7= 9 falso
verdadero
•Frases
abiertas
No se puede determinar su valor de verdad, se antepone un cuantificador que la
convierte en proposición.
Clases de cuantificadores: universal y existencial
Para todo ( cuantificador universal)
Existe un…tal que…( cuantificador existencial)
Por ejemplo:
, no es una proposición porque no es claro su carácter de verdad; sin embargo,
existe un x tal que si es proposición.
Negación con cuantificador universal
p:todos los números racionales son enteros (f)
existe al menos un número racional que no es entero (v)
•Ejercicio:

Negar las proposiciones y dar su valor de verdad
1. q: algún número par es divisible entre 5
2. p:existe un número natural tal que
3. r: todos los paralelogramos son cuadriláteros
4. s:todos los perros son cachorros
5. p:
6. q: Bogotá está a 2600 metros sobre el nivel del mar
7. s:un ejemplo de una ecuación cuadrática es
•Conjunción

Cuando se tienen dos proposiciones y se combinan con la palabra “y” se forma
una nueva proposición llamada conjunción. p q
“ Jorge estudia física y habla inglés”
vv vv V
V
p: “Jorge estudia física”
vv ff FF
q: “ Jorge habla inglés” ff vv FF
SEIS ES MULTIPLO DE DOS Y DE TRES ff ff FF
“Seis es múltiplo de dos” y “seis es múltiplo de tres”

p: seis es múltiplo de dos (v)
q:seis es múltiplo de tres (v)
v
Ejercicio:
Descomponer la proposición compuesta y p q
dar su valor de verdad
v v V
“ 5 no es par y es menor que tres” v f F
f v F
“ 4+3= 8 y 4+4= 9” f f F
“ y= x+1 es una función y es lineal”

•
Disyunción
Si combinamos dos proposiciones con la palabra “o”
obtendremos una disyunción de las proposiciones dadas,
que se simboliza .
“Se levanta temprano o no llega a tiempo” p q
v v V
Se puede interpretar de maneras diferentes:
v f V
a. Forma exclusiva: si p es verdadera o q es verdadera
pero no ambas f v V
Ejemplo: “ es de día o es de noche” el cumplimiento de f f F
una excluye la veracidad de la otra.
b. Forma inclusiva: Si p es verdadera o q es verdadera o
ambas.
Para nuestro estudio utilizaremos el sentido inclusivo
Ejercicios: descomponer y dar valor de verdad p q
v v V
a. “El número 3 es divisor de 6 o es divisor de 10” v f V
p: “El número 3 es divisor de 6 ” (v) f v V
q: “El número 3 es divisor de 10” (f) f f F

V v F ……. V
b. “ Puedes salir a jugar si haces la tarea o arreglas tu cuarto”
c. “5 es divisor de 15 o de 18”
•
Implicación
Una implicación es una proposición formada por dos
proposiciones, unida por la expresión “si…entonces”, que
se simboliza , si p y q son las proposiciones dadas.
En la proposición la proposición p es condición suficiente
para que q suceda y q es condición necesaria para que p p q
ocurra. v v V
Ejemplo:
v f F
p: es un animal mamífero
q: es un animal vertebrado f v V
: “Si un animal es mamífero entonces es vertebrado” f f V

Observación: p es suficiente y q necesaria
•Ejemplo:

“ Si un triángulo es equilátero entonces, es equiángulo”
p: Un triángulo es equilátero ( v) existen triángulos equiláteros
q: el triángulo es equiángulo (v) si un triángulo es equilátero tiene sus ángulos
iguales.
V
Ejercicio:
“Si un triángulo es acutángulo entonces tiene todos sus ángulos agudos”
•Bicondicional
o Equivalencia
Dos proposiciones son equivalentes cuando cada una de ellas es con relación a
la otra condición necesaria y suficiente a la vez. Se simboliza
“A es un polígono de cuatro lados si y sólo si A es un cuadrilátero”
p:A es un polígono de cuatro lados (v)
p q
q:A es un cuadrilátero (v)
Ejercicio: vv vv vv
“Mario entra a la universidad si y solo si aprueba v f f
v f f
f v f
el examen de admisión” f
f
v
f
f
v
f f v
• Operaciones Compuestas
Proposiciones largas donde se combina más de una operación
Construcción de una tabla de verdad
Ejemplo:
p q
V V F V F F V
V F V F V V V
F V F V F F V
F F V V F F V
•
Ejercicios:

Logica

Cargado por

Copyright:

Formatos disponibles

Logica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica

Cargado por

Copyright:

Formatos disponibles

ESCUELA SUPERIOR DE

La matemática utiliza siempre dos términos: unos primitivos o no definidos que

Términos no definidos Términos definidos

“Existe un número infinito de números primos”

“Seis es múltiplo de dos” y “seis es múltiplo de tres”

“ y= x+1 es una función y es lineal”

a. “El número 3 es divisor de 6 o es divisor de 10” v f V

p: “El número 3 es divisor de 6 ” (v) f v V

q: “El número 3 es divisor de 10” (f) f f F

b. “ Puedes salir a jugar si haces la tarea o arreglas tu cuarto”

: “Si un animal es mamífero entonces es vertebrado” f f V

También podría gustarte