LOGICA SIMBOLICA

Definición de Lógica simbólica: La lógica simbólica es un sistema formal que analiza los
signos y lo que designan. la lógica simbólica usa una notación matemática para establecer
lo que designan los signos, y lo hace de forma más precisa y clara que la lengua también
constituye por sí misma un lenguaje, concretamente un meta lenguaje (lenguaje técnico
formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua
es objeto de un determinado estudio semántico.

El objeto de estudio de la lógica: La lógica es una ciencia y su objeto de estudio lo

constituyen las formas, estructuras o esquemas del pensamiento. Si comparamos los
siguientes ejemplos de pensamientos, encontraremos que pueden referirse a cosas muy
diferentes (es decir, su contenido es variable), y sin embargo tienen estructuras comunes:

 7 es un número primo y 4 es par.2.

 La gasolina es inflamable y la potasa es cáustica.
 Marzo tiene 30 días o marzo tiene 31 días.
 El hombre hace su historia o la historia hace al hombre.
 4 es impar o 4 es par.
 Si el hombre hace su historia, entonces el destino es un mito.
 Si 4 es par, entonces 4" también es par.
 Si el tabaco produce cáncer, entonces los cigarros son un medio de suicidio.

Pese a tener diferente contenido, estos ejemplos pueden ser agrupados en tres clases, de
acuerdo con las expresiones "Y", "O", "si...entonces", que relacionan entre sí a
pensamientos como "4 es impar", a los que se llama proposiciones.

La lógica proposicional es la parte de la lógica que estudia las formas en que se relacionan
unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que
componen un razonamiento

La simbolización del lenguaje lógico: Al simbolizar un lenguaje lo que se persigue es,

básicamente, sencillez, claridad y exactitud. Es más sencillo y también resulta más claro y
exacto representar las cosas por medio de símbolos.

Por ello, la simbolización del lenguaje lógico nos permite examinar más fácilmente las
formas del pensamiento y sus leyes, las cuales es preciso seguir si queremos que nuestro
pensamiento sea correcto.

En la lógica proposicional se examinan las posibles relaciones entre proposiciones, sin

atender a su contenido. En esto es particularmente útil simbolizar las proposiciones con
simples literales y las expresiones mediante las cuales son relacionadas (como "Y", "O",
"si. . . entonces"), por medio de signos cuyo significado sea constante.
De esta manera es más fácil, como se verá más adelante, decidir si, por ejemplo, un
razonamiento es correcto o no, lo cual no siempre resulta sencillo como en el siguiente
caso:

 "Si en la Luna hay vida, entonces en la Luna hay agua."

 "No ocurre que en la Luna hay vida."
 "Luego, no es cierto que en la Luna hay agua."

Proposiciones y Tablas de Verdad: En el desarrollo de cualquier teoría matemática se

hacen afirmaciones en forma de frases y que tienen un sentido pleno. Tales afirmaciones,
verbales o escritas, las denominaremos enunciados o proposiciones.

Proposición: Llamaremos de esta forma a cualquier afirmación que sea verdadera o falsa,
pero no ambas cosas a la vez.

La gravedad vale 9.81 m/s2

V (q) = V

Calificación de una proposición: de acuerdo a su naturaleza una proposición se puede

clasificar en:

a) Declarativa: Son razonamiento que declara o narra un suceso.

b) Afirmativa: Son razonamiento que afirman un resultado o un suceso.
c) De negación: Son razonamientos que niegan un resultado o un suceso.

Las proposiciones se notan con letras minúsculas, p, q, r......

Proposición simple: Este tipo de proposiciones se llaman simples, ya que no pueden

descomponerse en otras.

La notación p: Tres más cuatro es igual a siete, se utiliza para definir que:

p es la proposición: “tres más cuatro es igual a siete”.

Nota: No son consideradas proposiciones aquellas oraciones o pensamientos que sean de
interrogación, de admiración, de orden o deseo algo subjetivo que es propio de una persona
a no ser que se esté evaluando ella misma.

Las siguientes afirmaciones son proposiciones.

a) Gabriel García Márquez escribió Cien a ̃nos de soledad

b) 6 es un número primo.

Las siguientes no son proposiciones.

a) X+y>5
b) ¿Te vas?
c) Tengo 10 Bs.
d) Viva Bolivia ( Exclamación)

Solución: En efecto, (a) es una afirmación pero no es una proposición ya que será
verdadera o falsa dependiendo de los valores de x e y e igual ocurre con la afirmación. EL
ejemplo (b), no es afirmación, por lo tanto no son proposiciones.

Desde el punto de vista lógico carece de importancia cual sea el contenido material de los
enunciados, solamente interesa su valor de verdad

Valor de Verdad: Llamaremos valor verdadero o de verdad de una proposición a su

veracidad o falsedad. El valor de verdad de una proposición verdadera es verdad y el de
una proposición falsa es falso.

Dígase cuales de las siguientes afirmaciones son proposiciones y determinar el valor de

verdad de aquellas que lo sean.

a) p: Existe Premio Nobel de informática.

b) q: La tierra es el único planeta del Universo que tiene vida.

Solución:

a) p es una proposición falsa, es decir su valor de verdad es Falso.

b) No sabemos si q es una proposición ya que desconocemos si esta afirmación es
verdadera o falsa.

Proposición Compuesta: Si las proposiciones simples p1, p2,..., pn se combinan para

formar la proposición P, diremos que P la es una proposición compuesta de p1,p2,..., pn.
Resolver:

“La Matemática Discreta es mi asignatura preferida y Mozart fue un gran compositor” es

una proposición compuesta por las proposiciones “La Matemática Discreta es mi asignatura
preferida” y “Mozart fue un gran compositor”

“Él es inteligente o estudia todos los días” es una proposición compuesta por dos
proposiciones:

“Él es inteligente” y “Él estudia todos los días”

Nota: La propiedad fundamental de una proposición compuesta es que su valor de verdad

está completamente determinado por los valores de verdad de las proposiciones que la
componen junto con la forma en que están conectadas.

Tablas de Verdad: La tabla de verdad de una proposición compuesta P enumera todas las
posibles combinaciones de los valores de verdad para las proposiciones p1,p2,...,pn.

Cantidad de filas que deberán tener las tablas de verdad: Estas están determinadas por
la fórmula:
Numero de Fila = 2n
Donde n = cantidad de proposiciones
Entonces si hubiera dos proposiciones se tendrían:

Numero de filas = 23 = 8 filas

Resolver:

Si P es una proposición compuesta por las proposiciones simples p 1, p2 y p3, entonces la

tabla de verdad de P deber á recoger los siguientes valores de verdad.

P1 P2 P3
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Formulas proposicionales: Una formula proposicional es una representación simbólica y
matemática de un razonamiento lógico o de varios razonamientos los cuales pueden unirse
a través de conectores lógicos ocasionando que la sumatoria de estos razonamientos pueda
ser:
a) Tautología: Se da Cuando una formula proposicional tiene como conclusión final
una veracidad (Su resultado es totalmente verdadero).
b) Anti tautología: Es también llamada contradicción se da cuando una formula
proposicional tiene como conclusión final una falsedad (su resultado es totalmente
falso).
c) Contingencia: Se da cuando una formula proposicional tiene como conclusión final
ni una veracidad o ni una falsedad ósea carece de sentido (su resultado no es ni
verdadero de falso por lo tanto se lo conoce también como un razonamiento no
valido).

Conjunción (∧): Dadas dos proposiciones cualesquiera p y q, llamaremos conjunción de

ambas a la proposición compuesta “p y q” y la notaremos p ∧ q.

Por lo tanto su tabla de verdad vendrá dada por:

El valor de la gravedad es 9,81 m/s2 y el valor de Pi es 3,1416

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

Disyunción (∨): Dadas dos proposiciones cualesquiera p y q, llamaremos disyunción de

ambas a la proposición compuesta “p ́o q” y la notaremos p ∨ q.

Su tabla de verdad ser á , por tanto,

2+3=7 o 5 + 8 = 15
 p q p ∨
q
V V V
V F V
F V V
F F F

Negación: Dada una proposición cualquiera, p, llamaremos “negación de p” a la

proposición “no p” y la notaremos - p.

La tabla de verdad de esta nueva proposición, -p, es:

p -p
V F
F V

De esta forma, el valor verdadero de la negación de cualquier proposición es siempre

opuesto al valor verdadero de la afirmación original.

Proposición Condicional-implicación (→): Dadas dos proposiciones p y q, a la

proposición compuesta:

“si p, entonces q”

Se le llama “proposición condicional” y se nota por: p → q

Cristóbal Colon descubrió América entonces el continente americano se llama Colon

De acuerdo con esta definición su tabla de verdad es,

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

Otras formulaciones equivalentes de la proposición condicional p → q son:

  “p solo si q”.
 “q si p”.
 “p es una condición suficiente para q”.
 “q es una condición necesaria para p”.
 “q se sigue de p”.
 “q a condición de p”.
 “q es una consecuencia lógica de p” .
 “q cuando p”.

Proposición bi condicional: Dadas dos proposiciones p y q, a la proposición compuesta

“p si y solo si q”

Se le llama “proposición bi condicional” y se nota por

p←→q

La gravedad vale 9.81 m/s2 si solo si sus unidades son en m/s2

La interpretación del enunciado es:

p solo si q y p si q

O lo que es igual

si p, entonces q y si q, entonces p

Es decir,

(p → q) ∧ (q → p)

Por tanto, su tabla de verdad es:

p q P ←→ q
V V V
V F F
F V F
F F V

Evaluacion de expresiones logicas:

Consideremos el problema de determinar si la proposición (p ∧ q) → p es una tautología.

Solución:

Construimos su tabla de verdad.

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

Luego, en efecto, (p ∧ q) → p es una tautología.

Cambio de los valores de verdad de las expresiones lógicas a Números binarios: para
realizar dichos cambio a números binarios las expresiones lógicas solo hay que poner:

 Cuando el valor de verdad es verdadero: V=1

 Cuando el valor de verdad es falso: F=0

Leyes del algebra proposicional: Las leyes de la algebra de proposiciones son

equivalencias lógicas que se pueden demostrar con el desarrollo de las tablas de verdad del
bi condicional.

Las leyes del algebra de proposiciones son las siguientes:

Leyes del tercio excluido:

 p-p=V
 (p → q)  - (q → p) = V
 p-p=F
Ley de doble negación:

 - (- p) = p
 - (- (p  q)) = p  q
Ley de Ídem potencia:

 Pp=p
 Pp=p
 (- p  r)  (- p  r) = - p  r
 (p → p)  (q → p) = q → p
Leyes conmutativas:

 pq=qp
 pq=qp
 -pq=q-p
 p  (- q  t) = (- q  t)  p
 p-q=-qp
 (- q  p)  r = r (- q  p)
Leyes asociativas:

 p  q  r = (p  q)  r = p  (q  r)
 p  - q  r = (p  - q)  r = p  (- q  r)
 p  q  r = (p  q)  r = p  (q  r)
Leyes distributivas:

 p  (q  r) = (p  q)  (p  r)
 s  (- q  r) = (s  - q)  (s  r)
 p  (- q  r) = (p  - q)  (p  r)
Leyes de Morgan:

 - (p  q) = - p  - q
 - (p  q) = - p  - q
 - (p  - q) = - p  - (-q) = - p  q

Ley condicional:

 p→q=-pq
 - p → - q = - (- p)  - q = p  - q

Ley bi condicional:

 p←→q = (p → q)  (q → p)
 - p←→q = = (- p → q)  (q → - p)
Leyes de absorción Total:

 p  (p  q) = p
 - s  (- s  q) = - s
 q (q  - p) = q
Leyes de absorción parcial:

 p  (- p  q) = p  q
 - q  (- s  q) = - q  - s
 - p  (p  q) = - p  q

Prácticos:

Resolver la siguiente expresión utilizando las leyes del algebra proposicional:

– ((- p ∨ - q) ∨ - q)

- ((- p ∨ (- q ∨ - q)) Asociativa:

- (- p ∨ - q) Ídem potencia
- (- p) ∧ - (- q)) De Morgan
p∧q Doble negación

Prácticos:

1. Establecer si las siguientes proposiciones son tautologías, contingencias o

contradicciones. por tabla.

a) (p → q) ∧ (q → p)
b) [p ∧ (q ∨ r)] → [(p ∧ q) ∨ (p ∧ r)]
c) (p ∨ - q) → q
d) p → (p ∨ q)
e) (p ∧ q) → p
f) [(p ∧ q) ←→ p] → (p ←→ q)
g) [(p → q) ∨ (r → s)] → [(p ∨ r) → (q ∨ s)]
2. Simplificar aplicando leyes de algebra proposicional

a) (p → - q) ∧ - (- q → p)
b) (- p→ q) ∨ - (q → p)