Universidad Dominicana O&M

Carrera:

Sección:

Docente:

Asignatura:
Matematica orientada a la computacion
Tema:

Estudiante:

Fecha de Entrega:
Proposiciones simples y compuestas.

En lógica y matemática, las proposiciones son sentencias o afirmaciones a las

que puede dárseles un valor verdadero o falso, según sea el caso, y que
expresan una relación lógica de algún tipo entre un sujeto (S) y un predicado
(P). Las proposiciones se relacionan entre sí mediante los juicios, y son la base
del sistema deductivo e inductivo de la lógica formal.

Ahora bien, una primera clasificación de las proposiciones ofrece dos tipos
fundamentales de proposición, tomando en cuenta su estructura interna:

Proposiciones simples. O proposiciones atómicas, poseen una formulación

sencilla desprovista de negaciones y nexos (conjunciones o disyunciones), por
lo que constituyen un único término lógico.

Proposiciones compuestas. O proposiciones moleculares, poseen dos términos

unidos por un nexo, o emplean negaciones dentro de su formulación,
resultando en estructuras más complejas.

Tablas de verdad

Tablas de Verdad. Cada fila representa una posible combinación de valores de

verdad, o lo que es lo mismo, las posibles interpretaciones de dos variables
proposicionales (p y q). En la última columna aparecerá el valor resultado de la
función de verdad.

Se debe puntualizar que los ejemplos que usaré sirven de mero apoyo didáctico.
Los conectores lógicos representan el concepto de función matemática y se
deben solo a ese concepto. Son, por tanto, independientes de las estructuras del
lenguaje.
 Negación
Este es un conector monádico, para un solo argumento. La negación cambia la
veracidad o falsedad de un enunciado. Debe quedar claro que no es lo mismo
que la negación gramatical. Una proposición p puede ser por ejemplo No hay
un Balrog en Moria, que es una oración negativa. Es viable y en caso de que
fuera falsa, ¬¬p debe ser opuesta e incompatible, es decir, verdadera (Hay un
Balrog en Moria).
¡No puedes pasar!

∧p∧q
 Conjunción
La conjunción, equivalente al castellano …y…, es verdadera solo cuando
ambas proposiciones son verdaderas.
Muchos vivos merecerían la muerte y algunos que mueren merecen la
vida

∨p∨q
 Disyunción
La disyunción es verdadera siempre y cuando sean verdaderas alguna de las
variables o ambas y corresponde con nuestra «…o…».
¿Me deseas un buen día o quieres decir que hoy es un buen día lo quiera
o no?

→p→q
 Condicional
El condicional, también llamado implicación, niega la posibilidad de que la
primera variable sea cierta sin que lo sea la segunda. Corresponde a lo que
vulgarmente sería si…entonces…. Debe apuntarse que la condicionalidad no
es bidireccional: p no puede concluirse a partir de q.
En caso de duda, Meriadoc, sigue siempre a tu olfato

↔p↔q
 Bicondicional
El bicondicional o condicional recíproco restringe su valor de verdad o bien
cuando ambas variables son ciertas o cuando ambas son falsas. En lenguaje
ordinario sería «…si y solo sí…». En este caso sí es bidireccional de forma
que (�→�)∧(�→�)(p→q)∧(q→p). Tanto el bicondicional como el condicional
cumplen el principio de que, dadas unas premisas verdaderas, la conclusión
nunca puede ser falsa, un principio que será trascendental cuando veamos
reglas de inferencia.
«Solo tu puedes decidir qué hacer con el tiempo que se te ha dado»

�⊻�p⊻q
 Disyunción exclusiva
La disyunción opuesta resulta falsa siempre que los valores de verdad de las
proposiciones coincidan.
¡No he vencido al fuego y a la muerte para intercambiar falacias con un
gusano sarnoso!

Realmente podría haber muchos más conectores lógicos. Pero estos siete
conectores son los más usados en el lenguaje de la lógica.
Tautologías contradicción y contingencia

•TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera

para todas las asignaciones de valores de verdad para sus proposiciones
componentes. Dicho de otra forma, su valor V no depende de los valores de
verdad de las proposiciones que la forman, sino de la forma en que están
establecidas las relaciones sintácticas de unas con otras. Sea el caso:

•CONTRADICCIÓN: Se entiende por proposición contradictoria, o contradicción,

aquella proposición que en todos los casos posibles de su tabla de verdad su
valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de
verdad de las proposiciones que la forman, sino de la forma en que están
establecidas las relaciones sintácticas de unas con otras. Sea el caso:

•CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho,

aquella proposición que puede ser verdadera o falsa, (combinación entre
tautología y contradicción) según los valores de las proposiciones que la
integran. Sea el caso:
Equivalencia lógica

Equivalencia lógica, que es lo que hemos estado describiendo, es la

siguiente: dos oraciones compuestas son lógicamente equivalentes si en
una tabla de verdad (que contiene todas las combinaciones posibles de los
valores de verdad de las variables predicadas en sus filas) los valores de
verdad de las dos oraciones son iguales en cada fila.

Reglas de inferencia

Regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas

establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y
una aserción llamada conclusión.

Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación
es mucho más difícil y polémica

Reglas de Inferencia

Deductiva MPP Modus

poniendo ponens A → B A – – – – – B

MTTModus tollendo tollens A → B ¬B – – – – – ¬A

SD Silogismo Disyuntivo A ∨ B ¬A – – – – – ¬B

SH Silogismo hipotético A → B B → C – – – – – A → C

LS Ley de simplificación A ∧ B – – – – – A

LA Ley de adición A – – – – – A ∨ B

CONTRA POSITIVA A → B – – – – – ¬B → ¬A
Argumentos válidos y no válidos.

Un argumento es correcto – del punto de vista lógico, si siempre que las

premisas son verdaderas su conclusión lo es por razones formales. O, dicho de
otro modo, si es imposible por razones formales que las premisas sean
verdaderas y la conclusión sea falsa. En este caso se dice que la conclusión es
consecuencia lógica de las premisas o que las premisas implican la conclusión
Si probamos con todas las alternativas, resulta que o y no son las únicas
expresiones que no pueden intercambiarse por otras. De esto es evidente que
la validez de (1) depende solo del hecho de que una de las premisas consiste
de dos enunciados conectados por la conjunción o, que la otra premisa es la
negación del primer enunciado de la primera premisa y que la conclusión es el
segundo enunciado de la primera premisa. Y (1) no es el único argumento cuya
validez depende de este hecho.

Lo mismo ocurre con el ejemplo (4) y (5), por ejemplo. Decimos que (1), (4) y
(5) tienen una misma forma en común, y es esta forma la que es responsable
de su validez. Esta forma común puede representarse esquemáticamente así:
(6) A o B No A B Estas representaciones esquemáticas de los argumentos se
llaman esquemas argumentales. Las letras A y B representan enunciados
arbitrarios. Al sustituir estas letras por enunciados reales, obtenemos un
argumento real. Cualquier sustitución de este tipo que hagamos en el esquema
(6) resultará en un argumento deductivo, por eso decimos que (6) es un
esquema argumental deductivo o válido. Argumento: Conjunto de formulas
para el razonamiento logico.

Argumento Valido: Un argumento es valido si se cumple: Un argumento puede

ser válido con premisas y conclusión verdaderas. Pero también puede ser
válido con premisas falsas y conclusión verdadera, o incluso con premisas y
conclusión falsas. Lo que NUNCA será es válido con premisas verdaderas y
conclusión falsa.

Demostración formal

En matemáticas, una demostración o bien una prueba es

un argumento deductivo para asegurar la verdad de una proposición
matemática. En la argumentación se pueden usar otras afirmaciones
previamente establecidas, tales como teoremas o bien las afirmaciones
iniciales o axiomas.2 En principio una demostración se puede rastrear hasta
afirmaciones generalmente aceptadas, conocidas como axiomas.34 Las
demostraciones son ejemplos de razonamiento deductivo y se distinguen de
argumentos inductivos o empíricos; una demostración debe demostrar que una
afirmación es siempre verdadera (ocasionalmente al listar todos los casos
posibles y mostrar que es válida en cada uno), más que enumerar muchos
casos confirmatorios. Una afirmación no probada que se cree verdadera se
conoce como conjetura.
Las demostraciones emplean la lógica pero normalmente incluyen una buena
parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De
hecho, la gran mayoría de las demostraciones en las matemáticas escritas
puede ser considerada como aplicaciones de lógica informal rigurosa.
Las demostraciones puramente formales, escritas en lenguaje simbólico en
lugar de lenguaje natural, se consideran en teoría de la demostración. La
distinción entre demostraciones formales e informales ha llevado a examinar
la lógica matemática histórica y actual, el cuasi-empirismo matemático y
el formalismo matemático. La filosofía de las matemáticas concierne al rol del
lenguaje y la lógica en las demostraciones, y en las matemáticas como
lenguaje.
Lógica de predicados.
La lógica de predicados es una extensión de la lógica de proposiciones, y a ella
se extienden también los conectivos lógicos y operadores de la lógica
proposicional. La lógica de predicados descompone la proposición en sus dos
componentes básicas (sujeto y predicado) y cuantifica al sujeto, introduciedo
símbolos para el sujeto, para el predicado y para los cuantificadores "todos" y
"alguno", además de un símbolo de relación entre sujeto y predicado. Desde la
lógica de predicados, una proposición expresa relaciones entre objetos y/o
atributos asignados a los objetos. En la oración "Juan es hermano de Pedro" lo
que realmente se está expresando es una relación (de hermandad) entre Juan
y Pedro.
En la oración "Juan es estudiante de la universidad" se está asignando un
atributo a Juan. (La lógica de predicados es muy importante para representar el
conocimiento en Inteligencia Artificial; las oraciones anteriores se
representarían como "Hermano de (Juan, Pedro)" y "Estudiante
Universitario(Juan)")
Cuantificadores

Cuantificadores

Operaciones de la lógica matemática que relacionan en distintas funciones

lógicas variables de objeto, proposiciones variables o predicados variables,
formando de este modo expresiones que caracterizan de manera
completamente determinada el significado de veracidad o de falsedad. Se
distinguen el cuantificador universal (símbolo ∀) y el cuantificador existencial
(símbolo ∃). Por ejemplo, si tenemos la función proposicional “X posee la
propiedad N”, entonces el cuantificador universal ∀x forma la enunciación “todo
X posee la propiedad N”, mientras que el cuantificador existencial ∃x forma la
enunciación “existe X, que posee la propiedad N”.

Cuantificadores
Operaciones de la lógica matemática, que se aplican a las expresiones lógicas y
caracterizan la esfera de los objetos (o la esfera de los predicados), a la cual se
refiere la expresión lógica dada. Los más utilizables son los cuantificadores
universales y los cuantificadores existenciales.
Inducción matemática.

La inducción matemática es un método para demostrar que algunas

afirmaciones son ciertas para todos los números naturales (o para todos los
naturales a partir de alguno).

Consideremos la afirmación: Todo numero mayor o igual a 7 es suma de un

múltiplo de 3 y un múltiplo de 4.

¿Como podemos saber si la afirmación es cierta?

Podemos ver que 7=1∙3+1∙4, 8=0∙3+2∙4, 9 =3∙3+0∙4, 10=2∙3+1∙4, 11=1∙3+2∙4,

137=23∙3+17∙4, pero ver que es cierto en casos particulares no demuestra que
sea siempre cierta, no importa cuantos casos probemos, siempre podría fallar en
el siguiente.

¿Como podemos saber que siempre es cierta, si no podemos comprobar todos

los casos porque nos tomaría una eternidad?

La inducción es un tipo de razonamiento lógico que permite hacer

demostraciones para una infinidad de casos en un tiempo finito.

Una demostración por inducción tiene dos pasos:

1. La base de la inducción: Mostrar que la afirmación es cierta en el primer caso.

2. El paso de inducción: Suponer que la afirmación es cierta en un caso, y

mostrar que debe ser cierta en el siguiente caso. Si podemos demostrar que una
afirmación.
Logica computacional
La lógica computacional es la misma lógica matemática aplicada al contexto de
las ciencias de la computación. Su uso es fundamental en varios niveles: en
los circuitos computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.
La lógica se extiende al corazón de la informática a medida que surge como
una disciplina: El trabajo de Alan Turing sobre
el Entscheidungsproblem seguido del trabajo de Kurt Gödel sobre teoremas
incompletos. La noción de la computadora de uso general que surgió de este
trabajo fue de gran importancia para los diseñadores de la maquinaria
informática en la década de 1940.
En los años 50 y 60, investigaciones predijeron que, cuando el conocimiento
humano se pudiera expresar usando la lógica con notaciones matemáticas,
sería posible crear una máquina capaz de razonar o una inteligencia artificial.
Esto fue más difícil de lo esperado a causa de la complejidad del razonamiento
humano. En la lógica de programación, un programa consiste en una colección
de axiomas y reglas. Los sistemas de programación lógicos (como Prolog)
calculan las consecuencias de los axiomas y las reglas organizadas para
responder a una consulta.
Hoy en día, la lógica es extensamente aplicada en los campos de inteligencia
artificial y de ciencias de computación, y estos campos proporcionan una rica
fuente de problemas en la lógica formal e informal. La teoría de la
argumentación es un buen ejemplo de cómo la lógica está siendo aplicada a la
inteligencia artificial. El sistema de clasificación computacional ACM, en
particular, considera:

 Sección F.3 en Lógicas y significados de programas y F.4 en Lógica

matemática y lenguajes formales como parte de la teoría de la ciencia de
computación: este trabajo cubre la semántica formal de los lenguajes de
programación tan bien como el trabajo de métodos formales como la lógica
de Hoare.
 Lógica booleana como fundamento en el hardware de la computadora,
particularmente la sección del sistema B.2 en la estructura aritmética y
lógica, relacionado con operadores AND, NOT y OR.
 Muchos formalismos lógicos fundamentales son esenciales para la sección
I.2 sobre inteligencia artificial, por ejemplo la lógica modal y la lógica por
defecto en los formalismos y métodos de representación del conocimiento,
las cláusulas de Horn en la programación lógica y la lógica de descripción.
Además, las computadoras se pueden usar como herramientas para los
lógicos. Por ejemplo, en lógica simbólica y lógica matemática, las pruebas de
los seres humanos pueden ser asistidas por computadoras. Usando la prueba
automatizada del teorema, las máquinas pueden encontrar y comprobar
pruebas, así como trabajar con las pruebas demasiadas largas como para
escribir a mano.