CONECTORES LGICOS

Los conectores lgicos son los trminos que nos indican cul es el orden lgico
de las ideas expresadas en las frases u oraciones.
PROPOSICIONES:
Son enunciados que en un contexto determinado o en una teora se pueden
calificar como verdaderas o falsas.
Para designar una proposicin se utilizaran las letras minsculas.
p, q, r, s
Ejemplo:

a. p: El pentgono tiene 6 lados.
b. q: Colombia tiene dos mares.
c. r: Cul es tu nombre?
d. s: l lo hizo!
e. t: 3/4 de 12 es 9.
f. o: Estoy de acuerdo! Observacin: Las opiniones, preguntas, rdenes y
exclamaciones no son consideradas proposiciones.

Proposicin SIMPLE:

Es aquella que se forma sin utilizar trminos de enlace.
Ejemplo: p: Hoy es jueves
q: 7 elevada a la 3=343

Valor de verdad de una proposicin, (V) O (F).

Se pueden calificar como verdaderas o falsas.
Ejemplo: -4 es mayor que -3 (F)
2**r es la longitud de la circunferencia (V)
Hoy llueve en Medelln.
Para todas las personas que habitan en Medelln no tiene el mismo valor de
verdad.

Ejercicio: Determine el valor de verdad de cada proposicin simple.
1. p: Los elefantes vuelan.
2. q: Lina tiene 7 aos.
3. r: Raz cuadrada de -9 es un nmero real.
4. 7 es factor de 84.
PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS
Las proposiciones compuestas son aquellas que estn formadas por dos o ms
proposiciones simples ligadas por un conector
Es un rectngulo si y slo si tienen 4 ngulos rectos.
Viajamos de da o viajamos de noche.
Si el permetro aumenta, entonces el rea se duplica.
8 es un nmero par y 8 es divisible por 2.
Los conectores y, o. entonces, si y slo si, permiten unir dos preposiciones
simples.
AXIOMAS:
Son proposiciones que son verdaderas por definicin.
Ejemplo: El todo es mayor que las partes
Dos cosas iguales a una tercera son iguales entre s.
El mtodo deductivo permite partir de un conjunto de hiptesis y llegar a una
conclusin.
En matemticas, la deduccin es un proceso concatenado de la forma:

Si A entonces B, si B entonces C, si C entonces D hasta llegar a una conclusin.

TEOREMA: Es el conjunto de hiptesis ms la demostracin, hasta llegar a
una conclusin.
Ejercicios: Formar proposiciones compuestas, a partir de proposiciones simples.
Este mes me voy a trabajar.
Este mes me muero de hambre.
Vivo en Lima.
Vivo en Madrid.
Estudio matemticas.
Puedo ensenar matemticas.
LA CONJUNCIN (p ^ q) smbolo lgico ^.
La conjuncin es, palabra invariable que encabeza diversos tipos de oraciones
subordinadas o que une vocablos o secuencias sintcticamente equivalentes.
Tipos de conjunciones
Las conjunciones se utilizan para coordinar elementos de funcin idntica en el
seno de una oracin, coordinar dos proposiciones y subordinar una proposicin
a otra. Por eso, hay conjunciones coordinantes o subordinantes.
La proposicin p ^q es verdadera nicamente si p y q son verdaderas, los dems
casos p y q es falsa.
Ejemplo: Juanita, podrs salir a la calle cuando arregles la cama y limpies los
muebles.
TABLA DE VERDAD DE LA CONJUNCIN