Está en la página 1de 19

CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR

DEPARTAMENTO DE CIENCIAS BÁSICAS


AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

COMPETENCIA:
Desarrollar habilidades que le permitan razonar lógica, crítica y objetivamente en una situación problema

CONTENIDO:
1. LOGICA
1.1. Introducción a la Lógica
1.2. Proposiciones y su Clasificación
1.3. Conectores lógicos.
1.4. Tablas de verdad.
1.5. Lógica de Predicados.

1.1. INTRODUCCIÓN A LA LÓGICA

LÓGICA:
Es un término que se deriva del griego “λ ο γ ι χ ο σ ” (Logike-Logikos) que significa “razón”.

El nacimiento de la lógica está relacionado con el nacimiento intelectual del hombre. Nace como mecanismo
espontáneo en el enfrentamiento del hombre con la naturaleza, para abstraerla, comprenderla y aprovecharla.

La lógica matemática:

Una definición precisa de la lógica, que la caracterice totalmente, depende del sistema filosófico que se adopte.
Para nuestro fin bastará que demos las definiciones siguientes:

La lógica matemática es una ciencia que es anterior a las demás, que contiene las ideas y los principios en que
se basan todas las ciencias.
Esta definición parcial es de K. Gödel (1906) y me parece que es también según la mente de Santo Tomás y
análogamente de Aristóteles y de la escolástica medieval. Aunque conviene notar que en Aristóteles y en la
escolástica la lógica es generalmente considerada como un arte que como una ciencia; un arte que da la manera
de operar válidamente con conceptos y proposiciones, y no como ciencia, porque carece de objetos propios a los
que corresponda algo en la naturaleza.

Una definición muy precisa y moderna es la de A. Church (1903). Lógica es el estudio sistemático de la
estructura de las proposiciones y de las condiciones generales de válida inferencia por un método que abstraiga
del contenido o materia de las proposiciones y tenga en cuenta solamente su forma lógica. Se distingue entre
materia y forma cuando distinguimos entre la legitimidad lógica o validez de un texto razonado y la verdad de las
premisas de las cuales se deduce; y en este sentido es familiar en el lenguaje ordinario. Sin embargo, es
necesario establecer con precisión la distinción con referencia a un lenguaje particular o sistema de notación, un
lenguaje formalizado, el cual evite las inexactitudes y las irregularidades de estructura y expresión que
sistemáticamente llevan a equivocaciones y que se encuentran en los lenguajes ordinarios, y el cual siga o
reproduzca la forma lógica, a costa de la brevedad y facilidad de comunicación cuando sea necesario. De modo
que adoptar un lenguaje formalizado particular es adoptar un sistema o teoría particular de análisis lógico.
Entonces se puede caracterizar el método formal diciendo que se trata de la forma objetiva de las sentencias que
expresan proposiciones, y suministra en estos concretos términos, criterios para determinar si las sentencias
tienen sentido, criterios de inferencia válida, y de otras nociones estrechamente asociadas a éstas.
Por consiguiente, según el logicismo la matemática es una rama de la lógica, sin duda extensa y con vida propia,
pero cuyo método se identifica con el propio método de la lógica. Se concibe así la matemática como una
disciplina universal que regiría todas las formas de argumentación.

El avance increíble en los medios de comunicación que caracterizaron las últimas décadas del siglo veinte y que
en el comienzo del nuevo siglo, hace que cualquier fantasía en este campo sea rápidamente una realidad. Nos
provee de información continua en todas las áreas, sin embargo en muchos casos la cantidad de ésta no se
equipara con su calidad. Es, en particular, en este aspecto: el procesamiento o análisis crítico, individual y
colectivo de la información recibida y producida, en diferentes modalidades, sobre el que quiero llamar la
atención; y al respecto destaco con referencia a él, los siguientes elementos.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

La manipulación de la información, manifiesta desde los mensajes publicitarios cotidianos inductores al


consumismo desmedido, plagados de falacias hábilmente diseñadas por sus autores por un lado y aceptadas por
el desconocimiento del público por el otro.

Las posiciones políticas sostenidas públicamente por líderes mundiales, que no resisten el menor análisis por las
contradicciones y sofismas que conllevan, pero que pasan airosos en todos los auditorios sin ninguna crítica a su
contenido.
La ausencia preocupante de interlocutores válidos, veraces, objetivos, en diferentes escenarios donde se toman
decisiones cruciales que pueden afectar desde una población local hasta la humanidad completa, nos llevan a
presenciar como la ausencia de la fuerza argumentativa es reemplazada, lamentablemente en muchas
ocasiones, por la fuerza bruta; y en muchos otros la palabra comprometida hoy, mañana se olvida.

Estas situaciones reales parecen apuntar a un “nuevo orden” en el cual son protagonistas la información liviana,
acrítica, convincente, fácilmente asimilable, donde importa mucho la forma pero muy poco el fondo; y que
inevitablemente me lleva a pensar si ese objetivo ideal de la argumentación válida con todos los elementos que la
caracterizan, que obviamente está en contravía con este diagnóstico actual, ha caducado y su existencia se
reduce exclusivamente al lenguaje de las matemáticas.

Sin embargo creo que nuestra obligación como seres pensantes, como integrantes de una cadena evolutiva,
como formadores, nos impide claudicar, y hoy como nunca nos exige cultivar denodadamente todos los
elementos que enriquezcan nuestra racionalidad, que estimulen y movilicen nuestros esquemas cognitivos. Es en
este aspecto esencial donde considero que la lógica, como disciplina formativa, tiene un papel importante que
tenemos que aprovechar como parte de un proceso educativo integral; que tenga como objetivo hacernos
ciudadanos responsables, críticos sanos y objetivos, tanto en la información que recibimos como en los juicios
que emitimos.

Es el reto al que nos convoca una sociedad que avanza vertiginosamente en muchos campos, pero que
igualmente nos demanda mejor formación para ser participantes activos en ella.
Un objeto esencial de la lógica, siempre, ha sido el estudio de la inferencia y buena parte de nuestro trabajo
estará orientado en esta dirección. Estudiaremos reglas para evaluar las inferencias y aprenderemos a distinguir
las correctas de las incorrectas.

La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas lo
que convierte a la lógica en meta-matemática.

OBJETIVO DE LA LÓGICA:

Es el estudio de inferencias y el pensamiento, nos proporciona principios para determinar que tipo de evidencia
es apropiada para una situación.

PENSAMIENTO:

Proceso mediante el cual el hombre abstrae la realidad, hasta hacer percepción de los fenómenos al conformar
una imagen de estos.

FACTORES DE PROCESO:

a) Un sujeto pensante que produce el pensamiento.


b) Un objeto al que se refiere el pensamiento y que determina su contenido.
c) La forma en que se expresa el pensamiento.

INFERENCIAS:

Es una evaluación que realiza la mente entre conceptos, que al interactuar muestra propiedades de forma
discreta, utilizamos la abstracción para entender el problema que permite tratar una línea lógica de causa-efecto.

En la lógica se desarrollan sistemas lógicos para caracterizar diferentes clases de argumentos validos.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

1.2. PROPOSICIONES Y SU CLASIFICACIÓN


LÓGICA PROPOSICIONAL

Es un sistema lógico que trata la clase de argumentos cuya validez exclusivamente dependen de cómo están
conectados los enunciados.

PROPOSICIONES Y CONECTORES LOGICOS:

Una proposición o enunciado es una oración diofántica (bivalente) que puede ser V o F, pero no puede tener
estos dos valores de verdad al tiempo

La proposición es un elemento fundamental de la lógica preposicional

Cada proposición tiene una forma lógica la cual se expresa con un nombre o variable preposicional. Se
distinguen cuatro tipos de proposiciones:

Enunciados Abiertos
Enunciados Cerrados
Proposiciones Simples
Proposiciones Compuestas

a) ENUNCIADOS ABIERTOS:

Un enunciado abierto es una oración donde el sujeto de la acción no se identifica claramente.

Ejemplo:

x es un número par y primo


y es un día de la semana.

Un enunciado abierto que involucra una igualdad y en la que se desconocen uno o varios de sus términos se
llama ECUACIÓN.

b) ENUNCIADOS CERRADOS:

Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos claramente el sujeto que realiza la
acción.

Un enunciado abierto, puede convertirse en un enunciado cerrado, verdadero o falso, al sustituir el término
variable por un término constante elegido de un conjunto referencial.

Ejemplo:

2 es un número par y primo (Verdadero)


7 es un número par y primo (Falso)
Carlos es un día de la semana (Falso)
Jueves es un día de la semana (Verdadero)

c) PROPOSICIONES SIMPLES:

Una proposición se considera simple si en ella no intervienen conectores lógicos o términos de enlace.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Las proposiciones simples se representan mediante las letras del alfabeto español p, q, r, s, t, usadas
comúnmente. A las cuales se les denomina como Variables Proposicionales.

Ejemplo:

p : Camila estudia Medicina


q : Laura estudia Comunicación Social

ENLACES LOGICOS:

Los conectores son las contrapartidas formales de las conjunciones gramaticales, mediante las cuales formamos
de enunciados simples, otros llamados compuestos.

“y” se representa “∧ “
“o” se representa “∨ ”
“Si…entonces…” se representa “⇒ ” o “→ ”

¬
“…si y sólo si…“ se representa “⇔ ” o “↔”

“No…, ni…” se representa. “ , ~”

d) PROPOSICIONES COMPUESTAS:

Una proposición compuesta es un enunciado de verdad que esta compuesto por dos o más proposiciones
simples, unidas mediante conectores lógicos, formando una nueva oración.

Una proposición se considera compuesta o molecular si se juntan dos o más proposiciones simples con términos
de enlace o conectores.

Los conectores o términos de enlace “ y “, “ o ”, “Si… entonces”, “Si y solo si”; se usan para ligar dos
proposiciones, el termino “ no ”se agrega a una sola proposición.

Ejemplos:

p : Hoy es día miércoles.


q : Hay clase de lógica matemática.

Estas proposiciones son simples, y con ellas de puede formar o construir proposiciones compuestas.

Como:

a. Hoy es día miércoles y hay clase de lógica matemática.


Y se presenta simbólicamente así: “p y q”
En notación lógica: p∧q

b. Hoy es día miércoles o hay clase de lógica matemática.


Y se presenta simbólicamente así: “p o q”
En notación lógica: p∨q

c. Si hoy es día miércoles entonces hay clase de lógica matemática.


Y se presenta simbólicamente así: “Si p entonces q”
En notación lógica: p⇒q

d. Hoy es día miércoles si y sólo si hay clase de lógica matemática.


Y se presenta simbólicamente así: “p si y sólo si q”
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

En notación lógica: p⇔q

e. Hoy no es día miércoles, ni hay clase de lógica matemática.


Y se presenta simbólicamente así: “no p, ni q”
En notación lógica: “ ¬p , ¬q ”

En algunos casos se puede presentar ambigüedades en proposiciones compuestas.

Veamos un ejemplo:

Si hace calor, entonces Yohan no sale y toca el piano.

Es fácil observar que lo podemos interpretar de dos maneras el enunciado molecular.

a) Cuando hace calor Yohan no sale y además estudia, haga frió o calor.
b) Yohan solo estudia cuando hace frió y no sale.

Se podría representar:

p : Hace frió. q : Yohan sale. r : Yohan estudia.


En Símbolos: p → ¬ q ∧ r

Pero se presentaría una ambigüedad, como en el lenguaje natural.

Entonces aplicando los signos de agrupación debemos decidir como traducirla:


a) ( p → ¬q ) ∧ r b) p → ( ¬q ∧ r )

SIGNOS DE AGRUPACION:

( ) Paréntesis [ ] Corchetes { } Llaves

Con estos elementos del vocabulario, variables, conectivos y signos de agrupación se puede presentar la sintaxis
de la lógica, podemos explicitar las reglas sintácticas mediante las cuales podemos formar proposiciones
moleculares a partir de otras formulas o proposiciones atómicas.

VALORES DE VERDAD DE UNA PROPOSCIÓN

Una proporción puede tener un solo valor de verdad, así este conformando una proposición compuesta.

Pueden suceder las siguientes probabilidades de acuerdo a cada opción de trabajo:


Si es una proporción Simple
P
F
V
Si son proposiciones compuestas, depende del número de proposiciones compuestas:
Si son 2 proposiciones Si Son 3 Proposiciones
P Q P Q R
V V V V V
V F V V F
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

F V V F V
F F V F F
F V V
F V F
F F V
F F F

Si observamos, de acuerdo con el número de proposiciones simples, que conformen una proporción compuesta,
obedece a la sucesión 2
n
{ }
n
{ } { }
Si es una proposición 2 = 2 = 2 , quiere decir que tiene 2 valores de verdad.
1

n 2
{ } { }
Si una proposición compuesta, tiene 2 proposiciones simples, tendríamos que 2 = 2 = 4 ; es decir, cada
proposición puede tener cuatro valores de verdad.

n 3
{ } { }
Si una proposición compuesta, tiene 3 proposiciones simples, tendríamos que 2 = 2 = 8 ; es decir, cada
proposición puede tener ocho valores de verdad. Y así sucesivamente.

1.3. CONECTORES LÓGICOS.

CONECTIVOS LOGICOS

CONJUNCION

La conjunción es una proposición compuesta que resulta de unir las proposiciones simples con el enlace “y”.
Símbolo: “ ∧ “
Enunciado compuesto: p∧q

Significado: “y”,…”pero”….,…”aunque”…

Ejemplo:

“El automóvil enciende cuando tiene gasolina y tiene corriente la batería”

p : El automóvil enciende cuando tiene gasolina.


q : El automóvil enciende cuando tiene corriente.
Se representa p ∧ q

La tabla de verdad es:


p q p∧q
V V V
V F F
F V F
F F F

Según esto:
p : V Significa que el auto tiene gasolina en el tanque
q : V Significa que la batería tiene corriente
p ∧ q = V Representa que el auto puede encender.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Si p o q tiene como valor de verdad F implica que no tiene gasolina en el tanque o no tiene energía la batería y
que por lo tanto no puede encender.

Conclusión:
Una conjunción es verdadera cuando las proposiciones simples que la forman son verdaderas.

DISYUNCIÓN

La disyunción es una proposición compuesta que resulta de unir las proposiciones simples con el enlace “o”. Se
clasifica en DISYUNCIÓN INCLUSIVA y DISYUNCIÓN EXCLUSIVA.

DISYUNCION INCLUSIVA

La disyunción Inclusiva es una proposición compuesta que resulta de unir las proposiciones simples con el
enlace “o”. Su símbolo: “ ∨ ”
Enunciado compuesto: “ p ∨ q ”

Significado “… o …, …u….”

Con este conector se obtiene un valor de verdad V cuando alguna de las dos proposiciones es verdadera.

Ejemplo:
“Una persona puede entrar al teatro si compra el boleto u obtiene una invitación gratuita”

p : Una persona entra al teatro si compra el boleto.


q : Una persona entra al teatro si obtiene una invitación gratuita.
Se representa p ∨ q .

La tabla de verdad es:


p q p∨q
V V V
V F V
F V V
F F F

La única forma en la que no puede ingresar al teatro ( p ∨ q =F), es que no compre su boleta (p=F) y que no
obtenga una invitación gratuita (q =F)

Conclusión:
La Disyunción Inclusiva implica que puede verificarse una de las dos proposiciones simples, o ambas a
la vez; ya que uno no excluye a la otra.

DISYUNCION EXCLUSIVA
La disyunción Exclusiva es una proposición compuesta que resulta de unir las proposiciones simples con el
enlace “o”. Su símbolo: “ ∨ ”
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Enunciado compuesto: “ p ∨ q ”

Su significado: “o bien...”

Con este conector se presenta que al menos una de las opciones es verdadera, pero solo una, si p=V y q =V
entonces p ∨ q =F

Ejemplo:
“o Juan es cristiano o musulmán”
p : Juan es cristiano
q : Juan es musulmán
Se representa p ∨ q

La tabla de verdad es:


p q p∨q
V V F
V F V
F V V
F F F

En este conector si se plantea (p=V)y (q =V) el resultado de p ∨ q es falso porque Juan es cristiano o musulmán
y no las dos.

Conclusión:
La Disyunción Exclusiva implica que se verifica una de las dos proposiciones, pero no ambas a la vez.

NEGACION

¬
La Negación es una proposición simple, que resulta de contradecir el sentido de verdad de dicha proposición. Su

símbolo: “ , ~”

Su enunciado compuesto: “ ¬p , ~p”

Su significado: “No, no es cierto que…, ni”

Su función es negar los enunciados o proposiciones, esto significa que si alguna proposición es verdadera y se
aplica el operador su negación es Falso.

Ejemplo:
p : Hoy esta lloviendo. Su negación: ~p : Hoy no esta lloviendo

La tabla de verdad es:


p ~p
V F
F V

CONDICIONAL O IMPLICACION
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Una condicional es una proposición de la forma “Si p entonces q”, donde “p es una condición suficiente para que
q se cumpla”. Su símbolo: “ ⇒ ” o “ → ”

Su enunciado compuesto: P →Q o P ⇒ Q .

Su significado: “Si … entonces…”

Una proposición condicional esta compuesta por dos proposiciones simples: que se llaman p ( antecedent e ) o
Hipótesis y q ( con sec uente ) o Tesis.
P →Q
Antecedent e Con sec uente
Ejemplo:
Un candidato a la alcaldía dice:
Si salgo elegido alcalde, los niños recibirán alimentación gratuita.

p : Salio elegido alcalde.


q : Los niños recibirán alimentación gratuita.
Se representa: p → q

Su tabla de verdad es:


p Q p→q
V V V
V F F
F V V
F F V

Cuando p=V significa que salio elegido, y q =V significa que los niños recibirán alimentación gratuita, por tanto
p → q =V y el candidato cumplió su palabra.

Cuando p=V y q =F significa que p → q =F, el candidato no cumplió por que fue elegido y no le dio alimentación
gratuita a los niños.

Cuando p=F y q =V significa que aunque el candidato no fue elegido le dio alimentación gratuita a los niños, por
tanto p → q =V

Conclusión:
La Condicional es una proposición compuesta falsa, si el antecedente es verdadero y el consecuente es
falso, en los demás casos la proposición es verdadera.

BICONDICIONAL O DOBLE IMPLICACION

Una Bicondicional es una proposición donde “p es una condición necesaria y suficiente para q”. Su símbolo: ↔
o ⇔.

Su enunciado compuesto: P ↔Q
Su significado: “…si y sólo si…“

Sea proposición bicondicional p ⇔ q Y se puede expresar: ( p → q ) ∧ ( q → p ) . Esto significa que p es verdadera


si y solo si q es verdadera. O bien p es falsa si y solo si q también lo es.

Ejemplo:

Apruebas la asignatura, si y solo si entrega las actividades escolares.

p : Apruebas la asignatura.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

q : Entrega las actividades escolares.


Se representa: p ↔ q

Su tabla de verdad es:


p Q p↔q
V V V
V F F
F V F
F F V

Conclusión:
Las proposiciones condicionales solamente son verdaderas si tanto p como q son falsas o verdaderas.

RESUMEN

Recuerde que:

Una proposición es un enunciado del que se puede decir que es verdadero o falso.
El valor de verdad de una proposición es la veracidad o falsedad de está.
Una proposición compuesta, son dos proposiciones unidas mediante unos símbolos denominados conectivos
lógicos.
La siguiente tabla muestra los diferentes conectivos de la lógica proposicional con su respectivo nombre,
símbolo, notación y lectura.

NOMBRE SÍMBOLO NOTACÍÓN LECTURA


CONJUNCIÓN ∧ p∧q p y q
DISYUNCIÓN ∨ p∨q p o q
DISYUNCIÓN
∨ p∨q p o q , pero no
EXCLUSIVA ambas
IMPLICACIÓN p⇒q p implica q
CONDICIONAL ⇒ Si p entonces q
DOBLE
p si y sólo si q
IMPLICACIÓN p⇔q
EQUIVALENCIA ⇔ p es equivalente a
q
BICONDICIONAL
NEGACIÓN ¬ ¬p No p; es falso que
p

La siguiente tabla muestra los valores de verdad de las proposiciones compuestas para cada uno de los
diferentes conectivos.

p q p∧q p∨q p∨q p⇒q p⇔q ¬p ¬q


V V V V F V V F F
V F F V V F F F V
F V F V V V F V F
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

F F F F F V V V V

ACTIVIDAD PROPUESTA UNO


A. Separe el término del predicado en cada una de las siguientes proposiciones:
1. El lenguaje es la forma de comunicación más común que usa el ser humano.
2. Colombia, Perú, Argentina y Brasil son algunos países suramericanos.
3. La leche es blanca.
4. 328 + 245 = 573
5. Doña Bárbara es la obra más importante de Rómulo Gallegos.

B. Escriba 5 proposiciones y separa en cada una de ellas el término del predicado.

C. Determine cuáles de los siguientes enunciados son proposiciones y cuáles no lo son:


1. Jorge usa anteojos.
2. Juana es muy estudiosa.
3. La plata es un mineral.
4. ¿Tres es un número par?
5. 15 es múltiplo de 4.
6. X÷9=12
7. Alemania es un país asiático.
8. ¡Dile que salga!
9. Hoy es martes.
10. El libro está en el escritorio?

D. Escriba el valor de verdad de cada uno de los enunciados del ejercicio anterior que tengan categoría
de proposiciones.

E. Determine si las siguientes proposiciones son verdaderas o falsas:


1. La Luna es un satélite de Marte.
2. Febrero tiene 30 días.
3. 24 es múltiplo de 4.
4. 22+32=(2+3)2
5. Todo cuadrilátero es un cuadrado.
6. Los niños necesitan jugar.
7. El periódico llega todas las mañanas.
8. Todos los lunes son festivos.
9. La Constitución que nos rige fue promulgada en 1991.

F. Construye proposiciones compuestas con las siguientes parejas de proposiciones simples (utiliza los
enlaces lógicos adecuados):
1. Mónica comprará un libro.
Mónica comprará un CD.
2. Siete es múltiplo de 3.
Ocho es número primo.
3. Antonio come mucho.
Antonio engordará.
4. Pedro tiene 15 años.
Su padre tiene 38 años.
5. Gabriel García Márquez escribió La hojarasca.
Jorge Isaac escribió María.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

G. Escriba la conjunción y la disyunción de las proposiciones dadas:


1. Todos los veranos son calurosos. Algunos inviernos son fríos
2. Estas rectas son paralelas. Estas rectas se cortan.
3. Migueles un estudiante. María es bella.
4. Todas la líneas son rectas. Todos los círculos son redondos.
5. 2+7=8 7+3=12

H. Encuentre la negación de las proposiciones dadas:


1. 3 + 4 = 7.
2. Antonio es médico.
3. 13 es un número primo.
4. Estas dos rectas son paralelas
5. El área de un cuadrado es 10 cm2.
6. 5 < 8
7. 12 > 7
8. Algunos números no son pares.
9. No es cierto que algunos profesores no son malos.
10. Existe un estudiante brillante.
11. Todos los estudiantes no son jóvenes.

I. Forme el condicional de las siguientes proposiciones, dando su valor de verdad:


1. p: María va al cine (V) q: María estudia (F)
2. p: Juana es bibliotecaria (F) q: Juana estudia francés (V)
3. p: Miguel tiene mucho dineros (V) q: Miguel es muy trabajador (V)

J. Exprese el valor de verdad de las proposiciones bicondicionales en los siguientes problemas:


1. 2 + 3 = 5 ⇔ 1+ 7 = 8
2. 6 + 4 = 10 ⇔ 15 2 = 125
3. 3 − 2 = 1 ⇔ 4 2 = 16
4. 5 + 1 = 51 ⇔ 26 = 62

1.4. TABLAS DE VERDAD.

Teniendo en cuenta que la forma correcta de escribir una variable proposicional es la sintaxis y la semántica es lo
que significa. En la lógica una variable proposicional une solamente dos valores de verdad V o F.

Para determinar de una Variable Proposicional, debemos seguir las reglas que se dieron en el tema conectores.
Esto se hace mediante interpretación que son un conjunto de valores que se asignan a sus proposiciones
simples o atómicas.

Al realizar la interpretación de Variable Proposicional se obtiene un valor de verdad V o F. Cada tabla tiene un
número de interpretaciones que aparezcan en la familia.
n
El criterio para determinar cuántas interpretaciones posibles hay, tiene una formula 2 donde n es el numero de
proposiciones simples.
Así la tabla de verdad de una fórmula que tenga 2 variables tendrá 2 = 4 filas, una que tenga 3, 2 = 8 , etc.
2 3

Luego de calcular el número de filas se procede de la siguiente manera:


La columna 1 corresponde a la asignación de todas las combinaciones de valores de verdad posibles de las V o
F que aparecen en la formula.
Calculo del valor de verdad de la negación de las V o F.
Calculo de los conectores binarios que afectan a los resultados del paso anterior o a negaciones.
Se calculan todos los conectivos binarios hasta llegar al conector principal.

El resultado de la tabla aparece reflejado en la ultima columna donde este el conector principal.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Ejemplo 1:
Construcción de tabla de verdad ( P → q ) ∧ ( ¬p ↔ ¬q )

Esta proposición compuesta tiene 2 proposiciones simples, por tanto 2 = 4


2

p q ¬p ¬q p→q ¬p → ¬q ( p → q ) ∧ ( ¬p ↔ ¬q )
V V F F V V V
V F F V F V F
F V V F V F F
F F V V V V V

Ejemplo 2:
[ ( p → ¬q ) ∧ ( q ∧ p ) ] → r
La proposición compuesta tiene las proposiciones simples P, Q, R por tanto 2 = 8
3

p q r ¬q ( p → ¬q ) q∧ p [ ( p → ¬q ) ∧ ( q ∧ p ) ] →r
V V V F F V F V
V V F F F V F V
V F V V V F F V
V F F V V F F V
F V V F V F F V
F V F F V F F V
F F V V V F F V
F F F V V F F V

El resultado de la tabla de verdad de una formula es la última columna. En este resultado pueden ocurrir tres
casos:

Que el resultado final de la tabla solo arroja signos V.


El resultado final de la tabla solo arroja signos F.
El resultado final presenta signos de V y signos de F indistintamente.

Se dice que es:

TAUTOLOGÍA:
Si y solo si su valor de verdad es siempre V, para toda interpretación posible. Esto significa que el resultado de la
tabla arroja solo V en su columna final.

CONTRADICCIÓN:
Si la tabla de verdad arroja solamente F.

CONTINGENCIA:
Si y solo si su valor de verdad es falso para al menos una interpretación y V para al menos otra.

La cual se divide en:


Consistencia: Cuando la tabla de verdad arroja mayor cantidad de valores verdaderos que falsos.

Inconsistencia: Cuando la tabla de verdad arroja mayor cantidad de valores falsos que verdaderos.
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

1.5. LOGICA DE PREDICADOS


LOGICA DE PREDICADOS O CUANTIFICACIONAL

La lógica de enunciados solo analiza los racionamientos cuya validez no depende de la estructura interna de las
proposiciones. Hay racionamientos validos en la parte formal en los que es preciso penetrar la estructura interna
del enunciado. Dada una proposición, la lógica de predicados distingue entre individuos y sus propiedades

Ejemplo:
“Manuel estudia Ingeniería de Sistemas”

Es una proposición simple, donde los sujetos se simbolizaran con letras minúsculas a, b, c y se llaman
constante individual o términos.

Se llama predicado a la palabra o frase que hace referencia al sujeto o termino, y se simboliza A, B, C

Ejem:
Manuel estudia ingeniería de sistemas:
a A

FUNCIONES PROPOSICIONALES

Considere una proposición:

Gustavo es ingeniero
Pedro es ingeniero
Mario es ingeniero

Estas proposiciones tienen algo en común y es el predicado. Esto se puede expresar utilizando una variable
individual ( x ) .
“ x es ingeniero”

Esta expresión no es una proposición puesto que no es verdad ni falsedad . x es una variable que toma
valores dentro de un conjunto (referencial), estas expresiones reciben el nombre de funciones preposicionales.

La notación que se empleará para cualquier Proposición Simple serán las letras p, q, r ,... etc., mientras que
una función proposicional la representamos por Px , Q x , R x ,... etc.

Ejemplo:
“ x es un numero racional y z es un numero entero”
En símbolos: R x ∧ E z

CUANTIFICADORES

Las expresiones:
“Todo hombre es mortal”

“Algunos hombres son ignorantes”

Pueden traducirse:

Para todo x , si x es hombre entonces es mortal


CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

Existe un x , tal que x es hombre y x es sabio.


Estos cuantificadores se dividen en:

a) CUANTIFICADOR UNIVERSAL
Símbolo: ∀x

Significa: “Para todo x”


Todo x
Cualquier x
Cada x

b) CUANTIFICADOR EXISTENCIAL
Símbolo: ∃x
Significa: Hay x
Existe un x , tal que
Algún x
Algunos x

Existen tres formas de convertir una función proposicional PX en una proposición a saber:

Haciendo la sustitución de las variables por un termino especifico


Anteponiendo la expresión “Para todo x ”
Anteponiendo la expresión “Existe un x ”

( ∃x )( PX ) : Existe un x tal que PX


( ∀x )( PX ) : Para todo x , PX

Al anteponerle a la función proposicional PX un cuantificador, x pasa a ser una variable ligada.

Una proposición
( ∀x )( PX ) es V , cuando todas las sustituciones de la variable x por elementos del conjunto
de referencia convierte a PX en verdadera.

Una proposición x( ∃ )( PX ) es V , cuando toda las sustituciones de la variable x por al menos un elemento del
conjunto de referencia.

Ejemplo:

Decir si las siguientes proposiciones son verdaderas o falsas

a. ( ∃x ∈ Z )( 3x − 7 = −4 x +14 )
b. ( ∀x ∈ Z ) ( x 2 −1 ≥ 0)
c. ( ∃x ∈ Z ) ( x 2 + 1 = 0)
d. ( ∃x ∈ Z ) (( x + 1) 2 = x 2 + 2x + 1)
Solución:
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

a. ( ∃x ∈ Z )( 3x − 7 = −4 x +14 )
Como 3( 3) − 7 = −4( 3) +14 , entonces el conjunto solución es {3} , que no es vacío y, por tanto, la
proposición es verdadera.

b. ( ∀x ∈ Z ) ( x 2 −1 ≥ 0)
Como esta proposición se debe cumplir para todo entero y 0 ∈ Z y 0 − 1 = −1 ≥ 0 , entonces la
2

proposición es falsa.

c. ( ∃x ∈ Z ) ( x 2 + 1 = 0)
No es posible encontrar un entero tal que x + 1 = 0 , por tanto la proposición es falsa.
2

d. ( ∃x ∈ Z ) (( x + 1) 2 )
= x 2 + 2x + 1

Del algebra se sabe que ( x + 1) = x + 2 x + 1 , entonces la proporción es verdadera.


2 2

NEGACION DE PROPOSICIONES CUANTIFICADAS

Las proposiciones universales pueden negarse como en el enunciado:

“No todos los ingenieros”.

¬( ∀x )( M X )
Y se simboliza:

También se puede utilizar: “Ninguno, ningún, nada, nadie “.

La proposición “Ninguno es mecánico” no equivales a “No todos son mecánicos”, sino a la expresión: Para todo
x , x no es mecánico
( ∀x )( ¬M X )
Las proposiciones anteriores pueden ser negadas como por ejemplo:

¬( ∃x )( M X )
“No es cierto que hay mecánicos”. En símbolos:
“Alguien no es mecánico”. En símbolos:
( ∃x )( ¬M X ) .

Para estudiar la negación de funciones proposicionales, es conveniente fijar nuestra atención en el diagrama
dado. Veamos las cuatro formas de proposiciones generales que hay tradicionalmente en la lógica:

A: Todo S es P: Todos los hombres son mortales.


E: Ningún S es P: Ningún hombre es mortal.
I: Algún S es P: Algún hombrees mortal.
O: Algún S no es P: Algún hombre no es mortal.

En las formas anteriores, S significa un sujeto del cual se afirma o niega algo, y P es el predicado, o sea lo que
se dice del sujeto.

Observe que las dos primeras proposiciones son universales, la primera afirmativa y la segunda negativa; las dos
últimas son particulares, la primera afirmativa y la segunda negativa.

A continuación se presentan las equivalencias, usando funciones proposicionales con cuantificadores:

A: Todo S es P:
(∀x )( Px ) Universal afirmativa
E: Ningún S es P:
( ∀x )( ¬Px ) Universal negativa
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

I: Algún S es P:
( ∃x )( Px ) Particular afirmativa
O: Algún S no es P:
( ∃x )( ¬Px ) Particular negativa

En Conclusión:

La negación de una función proposicional con un cuantificador universal es equivalente a la negación de


la misma función proposicional, precedida por el cuantificador existencial y viceversa.

Es decir:
¬( ∀x ∈ S )( Px ) ≡ ( ∃x ∈ S )( ¬Px )
ó
¬( ∃x ∈ S )( Px ) ≡ ( ∀x ∈ S )( ¬Px )

Ejemplo:

Encontrar la negación de las siguientes proposiciones:

a. ( ∃x ∈ℜ)( x + 3 ≠ 10 )
Solución:
¬( ∃x ∈ℜ)( x + 3 ≠ 10 ) ≡ ( ∀x ∈ℜ)( x + 3 = 10 )

b. ( ∀x ∈ℜ)( x + 3 ≤ 7 )
Solución:
¬( ∀x ∈ℜ)( x + 3 ≤ 7 ) ≡ ( ∃x ∈ℜ)( x + 3  7 )

CUANTIFICACION RESTRINGIDA

Estas proposiciones universales o existenciales algunas de ellas poseen en el lenguaje ordinario estructuras
simples realmente poseen estructuras compuestas.

Ejemplo:
“Todos los hombres son pensantes”

Se puede escribir:

“Para todo x , si x es un hombre entonces x es pensante”

Se puede simbolizar: (∀x )( H X → PX )

Este es un ejemplo de proposiciones universal o existencial que tienen más de un predicado bajo el alcance de
un cuantificador.

LEYES DE INTERCAMBIO DE CUANTIFICADORES

( ∀ x )( PX ) ≡ ¬( ∃ )( ¬P )
x X
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

( ∃ x )( PX ) ≡ ¬(∀ )( ¬P )
x X

¬ ( ∀ x )( PX ) ≡ ( ∃ )( ¬P )
x X

¬ ( ∃ x )( PX ) ≡ ( ∀ )( ¬P )
x X

Estas leyes expresan que la negación de una proposición existencial es equivalente a la afirmación de un
cuantificador universal cuya función proposicional es la negación de la primera.

También podemos afirmar que:


Si
( ∀x )( PX ) es falsa entonces
¬( ∀x )( PX ) es verdadera, por tanto,
( ∃x )( ¬PX ) es verdadera

FUNCIONES PROPOSICIONALES BINARIAS

A un predicado puede estar unido con más de un sujeto como:

“Yohan es amigo de Rodrigo”

Este tipo de predicado expresa una relación entre términos, en este caso se presentan 2 términos: Yohan y
Rodrigo. Sin embargo uno de ellos hace parte del predicado gramatical.

En este caso se presenta una relación entre dos sujetos que se denomina “Binaria o diatica”

También se puede presentar relaciones entre 3 o mas individuos

Ejemplo: “ x esta entre a y c”

La proposición “Yohan es amigo de Rodrigo”

Se simboliza: Ajr ó jAr


Las cuales son resultado de la sustitución dentro de la función proposicional:

“ x es amigo de y ” que se simboliza xAy o Axy

Cuando se tiene una función proposicional de dos variables, es posible convertirla en una proposición
sustituyendo cada una de las variables por un término de un conjunto de referencia o añadiendo un cuantificador
a cada variable.

Ejemplo:

Las siguientes son las diferentes maneras de obtener una proposición a partir de una función proposicional
dada:

Sea Axy = “ x es amigo de y ”

Yohan es amigo de Rodrigo Ajr


(∀x )( ∀y )( Axy )
Todos son amigos de todos
(∀x )( ∃y )( Axy )
Todos son amigos de algunos

(∃x )( ∀y )( Axy )
Algunos son amigos de todos
CORPORACIÓN UNIFICADA NACIONAL DE EDUCACIÓN SUPERIOR
DEPARTAMENTO DE CIENCIAS BÁSICAS
AREA / COMPONENTE: FORMACIÓN BÁSICA CICLO DE FORMACIÓN: TECNICA
ASIGNATURA: LOGICA Y PENSAMIENTO MATEMATICO
TIPO DE ASIGNATURA: TEOR ICA -PRACTICA NÚMERO DE CRÉDITOS: TRES (3) INTEN. HORARIA TOTAL: 144 HORAS
T. PRESENCIAL: 48 HORAS T. INDEPENDIENTIE: 64 HORAS T. DIRIGIDO: 32 HORAS
DOCENTE:
LIC. LEO RODRIGO GIL OSPINA logicamatematicacun_????_@gmail.com
e-mail:

(∃x )( ∃y )( Axy )
Algunos son amigos de algunos
(∀y )( Ajy )
Yohan es amigo de todos
(∃y )( Ajy )
Yohan es amigo de algunos
(∀y )( Axr )
Todos son amigos de Rodrigo
Algunos son amigos de Rodrigo (∃x )( Axr )

ACTIVIDAD PROPUESTA DOS


A. Determine a qué corresponde, (Falacia, tautología, o indeterminación) cada una de las siguientes
proposiciones:
a) ( p → q) → ( p ∧ q) b) ¬p → ( q → p )

c) ( p → q ) ∨ ¬( p ↔ ¬q ) d) [ ( p → q ) ∧ p] → q
e) ( p ∧ q ) ∧ ¬( p ∨ q ) f) [ ( p ∧ q) ∧ s] ↔ [ p ∧ ( q ∧ s ) ]
g) [ ( p ∨ q ) ∧ ¬p ] ↔ ( ¬p ∧ q ) h) [ ¬( p ∨ q ) ∨ ( ¬p ∧ q ) ] ↔ ¬p

B. Diga si la proposición es verdadera o falsa:


a. (
( ∃x ∈ Z ) 2 x 2 − 3x + 1 = 0 ) b. ( ∀x ∈ ℑ) ( x 2 + 4 x + 3 = 0)
c. ( ∃x ∈ Z )( x − 3) 2 0 d. ( ∀x ∈ℑ)( x +1  x )

C. Determine el valor de verdad de cada una de las siguientes proposiciones, si el conjunto universal
son los números reales:
a. (
( ∃x ) x 2 = x ) b. (∀x )( x ≠ x )
c. ( ∀x )( x + 3  x )

D. Si C = {1,2,3} encuentre el valor de verdad de las siguientes proposiciones:


a. ( ∀x ∈C )( x + 2  6) b. ( ∀x ∈C )( x + 6  8)
c. ( ∃x ∈C )( x + 2 = 7 ) d. ( ∃x ∈C )( x + 5  7 )