IESTP JOSE PARDO

AREA DE ELECTRONICA INDUSTRIAL

LOGICA Y FUNCIONES

ALGEBRA PROPOSICIONAL

Sedamano Odar
Luis Enrique
 LÓGICA DE PROPOSICIONES

Introducción
Aristóteles (384 aC — 332 aC) desarrollo el primer tratado sistemático de las leyes
de pensamiento para la adquisición de conocimiento en el Órganon, como el primer
intento serio para fundar la lógica como ciencia. Fue el primero en dar el concepto
de proposición como “un discurso enunciativo perfecto que se expresaba en un juicio
que significaba falso o verdadero”.

El álgebra Booleana fue descubierta por el matemático inglés George Boole (1815–
1864) como una técnica para tratar expresiones de la lógica proposicional. Boole
logró tratar y publicar en 1854, las leyes de esta algebra en el libro conocido como
An Investigation of the Laws of Thought2 o simplemente The Laws of Thought).
Precisamente tomó como base las leyes del álgebra proposicional que son
tautologías, para hacer sus desarrollos. En la actualidad se aplica su trabajo en el
diseño electrónico.

Bertrand Arthur William Russell fue un matemático, filósofo y escritor británico. Nació
el 18 de mayo de 1872 y murió 2 de febrero de 1970.

Russel hizo grandes aportes a la lógica matemática moderna, habiendo estudiado

los trabajos de George Boole, George Cantor y Augustus De Morgan, cuyos
resultados se encuentran en la Universidad McMaster en notas que le hacía a sus
lecturas que fueron redactadas por Ernst Schoröder y Charles S. Peirce.

Profundizó en los trabajos de Gottlob Frege aplicando un acercamiento

extensionista, en la que basaba la lógica en la teoría de conjuntos.

Matemático italiano Giuseppe Peano definió lógicamente todos los términos

primitivos de su sistema: número, la excepción de 0, sucesor y el término singular
‘el’ (the) y sus axiomas para la aritmética. En el año 1900, luego del primer Congreso
Internacional de Filosofía en París, se familiarizó con el trabajo de Peano, para
convertirse luego en un experto de ese nuevo simbolismo y su conjunto de axiomas.
Russell se dio la tarea de encontrar definiciones lógicas para cada uno de éstos
términos.

Russell clarificó las proposiciones más genéricas sobre el mundo en componentes

más simples como función de verdad. Condujo la creación de la teoría axiomática
de conjuntos con la que encontró aplicaciones prácticas en las ciencias de la
computación y la tecnología de la información.
Aplicaciones tecnológicas de la lógica

. Las contingencias o inciertos (enunciados que no son ni tautologías ni

contradicciones) sirven para la construcción de circuitos de control y automatización;

las tautologías y contradicciones para probar la consistencia interna de las

argumentaciones.

. Las reglas de inferencia lógica se utilizan como test de pruebas de la consistencia

lógica interna de los algoritmos computacionales.

. Las propiedades algebraicas y transformaciones de las sentencias se utilizan como

una ventaja en la construcción de circuitos integrales comerciales (compuertas

lógicas: NOT, AND, OR, NAND, NOR)

Conceptos de Lógica

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios

de la demostración e inferencia válida.

Matemática es una ciencia formal que, partiendo de axiomas y siguiendo el

razonamiento lógico, estudia las propiedades y relaciones entre entes abstractos

(números, figuras geométricas, símbolos).

La lógica matemática es una parte de la lógica y de las matemáticas que estudia la

matemática de la lógica. Tiene gran aplicación en el estudio de otras áreas de las

matemáticas (como la geometría) y la lógica filosófica y, estrechas conexiones con

la ciencia de la computación. La lógica matemática no es la «lógica de las

matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica

que pueden ser modeladas y estudiadas, matemáticamente.

Razonamiento es la forma ágil y asertiva del pensamiento inductivo (donde

interviene la probabilidad y la formulación de conjeturas), deductivo (estrictamente

lógico) y adictivo (el antecedente es una hipótesis explicativa). Es la facultad que

permite resolver problemas, extraer conclusiones y aprender de manera consciente

de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.

El razonamiento lógico o causal es un proceso de lógica mediante la cual, partiendo

de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio

distinto.

Entre estos problemas se tienen los problemas de razonamiento lógico.

Concepto de Enunciado

Un enunciado es una expresión del lenguaje que puede ser falso o verdadero o no

serlo. Dichos enunciados pueden ser interrogativos o prescriptivos, ya que a éstos

no puede asignarse un valor de verdad.

Ejemplo : son enunciados por ejemplo, coma carne de res, tome vino tinto seco, la

gallina está clueca, el caballo es trochador.

Concepto de proposición

Una proposición es un enunciado declarativo al que puede asignarse valores de

verdad (verdadero, V; falso, F; falso/verdadero, F/V).

Ejemplo : son ejemplos de proposiciones, el ser humano es inteligente, 2+3 es 5; la

vaca es negra; 2+4x= -2; si 2+3 es 5 entonces 2+4x= -2.

Clasificación de Enunciados y de Proposiciones

Tanto los enunciados como las proposiciones se clasifican así: según la cantidad de

conectores lógicos que la conforman y según su valor de verdad.

Enunciados y proposiciones según la cantidad de conectores lógicos que la
conforman

Los enunciados y las proposiciones se clasifican en simples o atómicas y

compuestas o moleculares.

Enunciado y Proposición Simple o Atómica. Se denomina enunciado o

proposición simple o atómica a aquel enunciado o proposición que no tiene

conectores lógicos.

Ejemplo : Enunciados y proposiciones simples

Enunciado y Proposición Compuesta o Molecular. Es un enunciado o

proposición que está formada por dos o más enunciado o proposiciones simples;

por consiguiente, están separadas por diferentes conectores lógicos.

Ejemplo: Enunciados y proposiciones compuestos

Ejercicio: escriba entre el paréntesis verdadero (V), falso (F), falso/verdadero (I) no

es proposición (E), según el caso.

. La ciudad de Medellín es la capital del departamento de Antioquia

. ¿Luis Alfredo Ramos será presidente de Colombia próximamente?

. En el próximo mes de marzo tal vez haya verano

. Si 4+2x=3 con x=- 0.5, entonces 6x-5=7 con x=- 0.5

. El número 3 es primo y el 2 es impar

. 4+2x=3

Vaya a Medellín o a Bogotá

.El sol es un astro o las estrellas son planetas

.Medellín es capital de Sucre si y sólo si Barranquilla es capital de Quindío

Proposiciones según su valor de verdad

Estas proposiciones de clasifican así: tautologías, contradicciones e inciertos (o

contingencias).

Tautologías. Son aquellas proposiciones que siempre son verdaderas. Las

tautologías se utilizan para verificar y demostrar la consistencia de las

argumentaciones.

Ejemplo : “2+3=5”

“si x2=4 para x=2 o para x=-2 entonces 2y-5=0 para y=5/2 “

“el número entero es par o impar”

Contradicciones. Son aquellas proposiciones que siempre son falsas. Las

contradicciones se utilizan para verificar y demostrar la inconsistencia de las

argumentaciones.

Ejemplo: “2+3=6”
“un número entero puede ser par e impar”.

“El cuadrado de un número entero impar es par”

Contingencias o inciertos. Son aquellas proposiciones que ni son verdaderas ni

son falsas. Tecnológicamente, las contingencias o inciertos se utilizan para construir

circuitos de control y automatismo.

Ejemplo: “los animales carnívoros son cuadrúpedos”

“todo cuadrilátero equilátero es un polígono regular”

Ejercicio: Determine el valor de verdad de cada una de las proposiciones

compuestas Si el rombo es un equilátero entonces el rectángulo es un equiángulo

El rombo es un equilátero y el rectángulo es un equiángulo

La suma de dos números impares es par si y solo si el único número par primo es

el número 2

La suma de dos números impares es par o el único número par primo es el 2

Si el rombo es un equilátero entonces el rectángulo es un equiángulo, y la suma de

dos números impares es par si y solo si el único número par primo es el 2.

La suma de dos números impares es par y el rectángulo es un equiángulo, si y solo

si el único número par primo es el 2 o el rombo es un equilátero.

Ejercicio: determine el tipo de proposición, según su valor para cada uno de los

siguientes enunciado:

Si el trabajo es un derecho, entonces el alimento mitiga el hambre

El caballo tiene piel y Madrid es capital de España

Euler estudió matemáticas o pudo enseñarla

Euler pudo enseñar matemáticas si y solo si él estudió matemáticas

Euler no estudió matemáticas pero él pudo enseñarla

El sol se esconde después de las 6 pm o si x+3=2 entonces Euler pudo enseñar

matemáticas.
Tablas de verdad

Una tabla de verdad corresponde a un arreglo rectangular conformado por una o

más proposiciones y todas las posibles combinaciones de verdad que se pueden

definir de la proposición dada. Esto es, un conjunto de combinaciones de valores de

verdad correspondientes a una proposición.

El resultado definitivo de una proposición compuesta corresponde al valor del

conectivo lógico principal de la proposición y se obtiene a partir de los valores

parciales de las proposiciones que la conforman. Se utilizan para comprobar la

verdad o falsedad de las proposiciones.

El cantidad de combinaciones de verdad de una proposición depende del número

de proposiciones simples que la componen y se calcula mediante la expresión

2n con n=número de proposiciones simples.

En efecto, si n es 1, se tienen dos posibles valores de verdad; si se tienen 2

proposiciones se producen 4 posibles valores de verdad; si se tienen 3

proposiciones, entonces serían 8 las posibles combinaciones de verdad si se tienen

4 proposiciones, entonces serían 16 las posibles combinaciones de verdad y así

sucesivamente .

Notación de proposiciones

Para denotar proposiciones se utilizan letras minúsculas tales como p, q, r, s, t, u,

etc., seguidas de dos puntos (:); el enunciado se escribe entre comillas dobles (“ ”).
Ejemplo : denote las siguientes proposiciones

. p: “La ciudad de Medellín es la capital del departamento de Antioquia”

. q: “4+2x=3 con x=- 0.5”

. r: ”El número 3 es primo”

. s: ”El sol es un astro”

. t: “las estrellas son planetas”

. u: “Barranquilla es capital de Quindío”

Conectores Lógicos
Conectivos lógicos fundamentales

es verdadera si alguna de las proposiciones simples que la conforman es verdadera

y falsa si todas ellas son falsas (vea tabla 1.3)

Conectivos lógicos derivados

A partir de los conectivos lógicos fundamentales se definen otros muy importantes

en el argot de la lógica; son ellos: el condicional, el bicondicional, la disyunción

exclusiva, antidisyunción, anticonjunción, antidisyunción exclusiva.

Ejemplo: Un hombre le prometió a su novia: “me casaré contigo solo si consigo

trabajo”. El hombre consiguió trabajo, pero rehusó a casarse con ella. Ella lo

demandó por romper la promesa. ¿La novia pudo ganar lógicamente la demanda?

¿Por qué?.2

Solución: no, porque la promesa del hombre fue la recíproca del condicional. En

efecto, veamos su análisis.

Las proposiciones fueron: p: “me casaré contigo” y q: “consigo trabajo”

Disyunción exclusiva

Adicional a los conectivos lógicos ya mencionados se han definido otros muy

reconocidos y usados en aplicaciones tecnológicas de la lógica matemática4 los

cuales se derivan de los conectivos básicos NO, AND y OR; éstos son: la

anticonjunción o NAND y la antidisyunción o NOR, que fueron descubiertos por

Sheffer y Pierce.
La proposición es incierta, basta con hallar la tabla de verdad del bicondicional

Álgebra de proposiciones

Álgebra de proposiciones es un sistema axiomático consistente, completo e

independiente; se utiliza básicamente para construir y simplificar proposiciones

complejas, siempre que cumplan determinadas propiedades.

Elementos del álgebra proposicional

Los siguientes elementos se utilizan para escribir expresiones proposicionales.

Cada expresión proposicional tiene su respectiva función lógica. Los elementos del

álgebra proposicional son:

Símbolos lógicos. Se representan por F y V; corresponden a los posibles valores

de una proposición, para señalar respectivamente la falsedad o la verdad de la

proposición.

Constantes. Son proposiciones que no cambian su valor (siempre es F o V).

Variables. Son proposiciones que cambian su valor con el tiempo; están

representadas por las letras minúsculas del alfabeto, así: p, q, r, s, t, etc.

Signos de agrupación. Se utilizan los paréntesis izquierdo “(“ y paréntesis derecho

“)”

Postulados del álgebra de proposiciones

Los postulados son de gran importancia para la justificación de las leyes. Su

enunciado se puede ver en la tabla 4.7:

Leyes del álgebra de proposiciones

Las leyes de las proporciones conforman la parte fundamental para demostrar la

equivalencia entre proposiciones o construir y simplificar funciones lógicas (con

propiedades determinadas) de manera consistente; más adelante se utilizará para

construir circuitos digitales óptimos a partir del álgebra booleana (capítulo 10).

Sean p, q, r proposiciones cualesquiera, entre otras leyes se tienen básicamente las

siguientes (véase la tabla 4.8):

Para verificar la verdad de la equivalencia de estas leyes, basta con utilizar las tablas

de verdad, con las cuales deberá llegar a una tautología.

================= * =================