UNIDAD III

LOGICA SIMBOLICA

Lógica Simbólica

El lenguaje es un instrumento para la comunicación. Está constituido por símbolos cuyos

significados son compartidos socialmente.

El lenguaje natural del ser humano es fruto de una larga evolución y se diferencia de los
lenguajes animales, consistentes en gestos y sonidos inarticulados, por su gran complejidad,
su capacidad de transmitir conocimientos y revelar emociones, estados de animo.etc.

Pero el lenguaje coloquial, el utilizado en nuestra vida cotidiana, no está libre de

ambigüedades, expresiones con más de un sentido, imprecisiones y defectos lógicos.

El lenguaje de la lógica es la expresión más depurada del lenguaje humano. Con sus símbolos,
su sintaxis y su claridad, el lenguaje de la lógica permite validar los distintos razonamientos y
expresar de forma no ambigua las leyes de la ciencia.

Concepto de Lógica Matemática

La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de
métodos de razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para
determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en
Matemáticas para demostrar teoremas, sin embargo, se usa en forma constante para realizar
cualquier actividad en la vida.

Enunciado.

Es el conjunto de símbolos o palabras mediante el cual emitimos un juicio. Debemos admitir

que esta es una idea muy intuitiva.

Ejemplo:

a) 3 es un número impar.

b) – 5 + 6 = 11

Valor de verdad de un enunciado.

La verdad o falsedad de un enunciado se llama su valor de verdad.

Ejemplos.

a) – 5 + 3 = - 8 Este es un enunciado cuyo valor de verdad es falso.

b) Paris esta en Francia. Este es un enunciado cuyo valor de verdad es verdadero.

C) – 3 + ½ = - 5/2 Este es un enunciado cuyo valor de verdad es verdadero.

Enunciado abierto. Un enunciado cuyo valor de verdad depende de quién lo evalué.

Ejemplo.

María es elegante. Este es un enunciado abierto, pues para alguien María puede ser elegante y
para alguna persona no lo es.

Proposición

Es un enuncia tal que podemos establecer con toda evidencia que es verdadero o falso. Es
decir, tiene valor de verdad único.

Formas proposicionales.

Son ciertas letras o símbolos que se usan para representar las proposiciones. Debemos tener
en cuenta que esta idea no es más que la presencia de la generalización de la cantidad inmersa
en la lógica simbólica, pues la lógica es un todo matemático y la matemática es un todo lógico.

Para los fines de la presente guía usaremos las siguientes letras para representar las
proposiciones.

P, q, r, w, t, u, v.

Valor de verdad de una proposición.

Dada p una proposición cualquiera, su valor de verdad se establece de la siguiente manera:

v(p). Entonces podemos establecer la siguiente condición para una proposición p cualquiera.
P/vf

Ejemplos.

a) p: - 1 + 9 = 8, entonces v(p) = v

b) q: - 3 + ½ = -5/2, entonces v(q) = v

c) r: - 8 + 3 = -11, entonces v(r) = f

d) S: - 4 – 5 = 9, entonces v (s) = f
Conectivos lógicos.

Los conectivos lógicos son ciertos símbolos que nos sirven para relacionar las proposiciones.
Para los objetivos de esta guía usaremos los siguientes.

Conector Símbolo Nombre Proposición

y Ʌ Conjunción PɅq
o ˅ Disyunción P˅q
Si,… entonces → Condicional P →q
Si y solo si ↔ bicondicional P ↔q
No ¬ Negación ¬p
o….o ˅ Disyunción exclusiva P ˅ q

Proposiciones simples y compuestas

Una proposición es simple si en ella no interviene ningún tipo de conectivo lógico.

Ejemplos

1. El sol sale por el este.

2. 5 es un número impar.

3. La raíz es el órgano de alimentación de la planta.

Una proposición es compuesta si en ella interviene algún tipo de conectivo lógico.

Ejemplos.

1. Tiene dinero o no eres simpático.

2. No es cierto que 3 es un número par.

3. La vaca es una ave y el caballo un cuadrúpedo.

4. Si comes en exceso entonces engordaras.

5. Es falso que parís esta en Francia.

Negación de la proposición simple.

La negación de una proposición simple se obtiene anteponiendo las frases. Es falso que, no es
cierto que. También podemos obtener dicha negación agregando simplemente el vocablo no.
Negar una proposición p cualquiera significa poner a p falso donde sea verdadero y verdadero
donde esta falso. Esto quiere decir que la negación de una proposición falsa es una proposición
verdadera y la negación de una proposición verdadera es una proposición falsa.

Dada p una proposición cualquiera su negación se establece de la siguiente manera: ¬p

Tabla de verdad de la negación.

p ¬p
v f
f v

Tabla de verdad

La tabla de verdad de una proposición cualquiera es una disposición o arreglo de las posibles
combinaciones de los valores de una formula proposicional dada. La tabla de verdad es uno de
los procedimientos del cual se vale la lógica simbólica para determinar la validez o no de sus
argumentos y características.

Conjunción.

Dadas p, q dos proposiciones cualesquiera la conjunción se establece de la siguiente manera:

p Ʌq.

Ejemplo.

Sean p: el verano llego

Q: el viento sopla

La conjunción s e establece de la siguiente manera: el verano llego y el viento sopla.

Debe ser evidente para el lector que la conjunción de dos proposiciones cualesquiera se forma
cuando relacionamos estas mediante el conectivo y.

p q PɅq
v v v
v f f
f v f
f f f

La conjunción de dos proposiciones cualesquiera solamente es verdadera cuando las dos

componentes son verdaderas en cualquier otro caso es falsa.

Disyunción.

Dadas p, q dos proposiciones cualesquiera la disyunción se establece como: p ˅ q

Ejemplo.
Sean p: tienes dinero
q : no eres simpático
La disyunción se establece así: tienes dinero no eres simpático. La disyunción es una
proposición compuesta que se forma al relacionar dos proposiciones cualesquiera mediante el
conectivo o.

Tabla de verdad de la disyunción.

p q P˅ q
v v v
v f v
f v v
f f f

La disyunción de proposiciones cualesquiera solamente es falsa cuando las dos componentes

son falsas, en los demás casos es verdadera.

Disyunción exclusiva.

Es una proposición formada por dos o más proposiciones simples por la disyunción o….o , esta
proposición es verdadera cuando las proposiciones que la componen tiene diferentes valores.
En caso contrario, es falsa.

P: el primer día de la semana es domingo.

q: el primer día de la semana es lunes.

p q P ˅ q
v v f
v f f
f v v
f f f

Condicional.

Dadas p, q dos proposiciones cualesquiera la condicional se establece de la siguiente manera:

P → q; donde p es el antecedente, q el consecuente.

Ejemplo. Sean
P: corres
q: sudaras

La condicional se establece así: si corres entonces sudaras.

p q P→q
v v v
v f f
f v v
f f v
La condicional de dos proposiciones cualesquiera solamente es falsa cuando el antecedente es
verdadero y el consecuente falso, en cualquier otro caso es verdadera.

Bicondicional.

La bicondicional de dos proposiciones cualesquiera solamente, es verdadera cuando las dos

proposiciones tienen el mismo valor de verdad, en cualquier otro caso es falso.
p q P↔q
v v v
v f f
f v f
f f v

Tablas de verdad de proposiciones.

Ejemplos:

a) ¬ (p Ʌ ¬ q)

En este caso obtenemos los valores de la proposición que está dentro del paréntesis y luego
procedemos a negarla. Siempre debemos tomar en cuenta como primera condición las formas
proposicionales o letras distintas que contiene la proposición.

p q ¬q p Ʌ¬q ¬ (p Ʌ ¬ q)
v v f f v
v f v v f
f v f f v
f f v f v

b) (¬p Ʌ q) → r

p q r ¬p ¬p Ʌ q (¬p Ʌ q) → r
v v v f f v
v v f f f v
v f v f f v
v f f f f v
f v v v v v
f v f v v f
f f v v f v
f f f v f v

c) ¬ ( p Ʌ q)

p q pɅq ¬( pɅ q)
v v v f
v f f v
f v f v
f f f v
Tautología y contradicción

Cuando una formula p(p1, q, r,…) es siempre verdadera independientemente del sistema de
valores asignados a la formas proposicionales reciben el nombre de tautología.

Ejemplo. [(p →q) Ʌ p ] → q

p q P→q ( p → q) Ʌ p [( p → q) Ʌ p]→q
v v v v v
v f f f v
f v v f v
f f v f v

Las implicaciones (o teoremas) pueden ser de cuatro formas.

Proposición directa p →q
Proposición reciproca q→ p
Proposición contraria ¬p→¬p
Proposición contrareciproca ¬q→¬p

Ejemplo.

Sea p: hago las tareas.

q: aprendo la materia.

Directa p → q; si hago las tareas entonces aprendo la materia.

Reciproca q → p; si aprendo la materia entonces hago la tarea.

Contraria ¬ p → ¬ p; si no hago las tareas entonces no aprendo la materia.

contrareciproca ¬ q → ¬ p ; si no aprendo la materia entonces no hago las tareas.

Tabla de verdad de las implicaciones directa, reciproca, contraria y contrareciproca.

p q ¬p ¬q P→q q→p ¬p→¬q ¬q →¬ p

v v f f v v v v
v f f v f v v f
f v v f v f f v
f f v v v v v v
 Cuantificadores
Los cuantificadores son símbolos que utilizamos en matemática para expresar determinadas
condiciones.

Cuantificador universal

Se simboliza por ∀ , y se lee, para todo. La expresión ∀ x/, se lee: para todo x tal que, y es
verdadera si todos los valores considerados para la variable de la expresión a su derecha
hacen la expresión verdadera. En caso de que no sea así, es falsa.

Ejemplo.

Para x: 3, 4, 2

∀ x / x2 > 1

La expresión es verdadera, ya que se verifica para todo los calores de x.

Cuantificador existencial.

Se simboliza por ꓱ y se lee, para algún. La expresión ꓱ / x se lee, existe algún valor de x tal
que……, y es verdadera cuando la expresión a su derecha se considera verdadera al menos
para un valor de la variable de dicha expresión.

Ejemplo.

Para x : -4, -3 -2 0, 1, y 4

ꓱ x / x2 = 16

La expresión es verdadera ya que verifica para algunos valores de x.