MIRLEIDYS PEÑALOZA ORTIZ

PROPOSICIONES

MATEMATICAS

CONTARUDIRA PÚBLICA

GRUPO C

UNIVERSIDAD DE PAMPLONA

FUNDACION MAGDALENA
 INTRODUCCION

El objetivo de los matemáticos es descubrir y comunicar ciertas verdades. Las matemáticas son el
lenguaje de los matemáticos y una demostración, es un método para comunicar una verdad
matemática a otra persona que también habla el mismo idioma. Una propiedad del lenguaje de las
matemáticas es su precisión no deberá contener ambigüedades y no habrá duda de que es
correcta. Desafortunadamente, muchas demostraciones que aparecen en libros de texto y
artículos de revistas no tienen la claridad necesaria; dicho en otras palabras, las demostraciones
están presentadas adecuadamente para quienes ya conocen el lenguaje de las matemáticas. Por lo
tanto, para entender, hacer una demostración o ambas cosas, usted debe aprender un idioma
nuevo, un método nuevo de razonamiento.
 PROPOSICIONES

Una proposición es un resultado de nuestra actividad pensante donde expresamos, bien la

posibilidad de la ocurrencia de un hecho, o la necesidad de una acción, o una orden, un deber, una
interrogante, etc. Puede decirse que una proposición es una frase declarativa o juicio al que,
podemos asignarle un valor verdadero ya sea cierto o falso. Por ejemplo la frase “El programa es
de Soft”, es una proposición, a priori no puede decirse si esta proposición tiene un valor cierto o
falso, pero si se parte de un contexto en que se establece unívocamente de qué programa se está
hablando y además se conoce que efectivamente este es de Soft, puede afirmarse que la
proposición es cierta.

Esta proposición por su estructura simple es denominada elemental, pero existen juicios que
poseen una complejidad mayor.

En la lógica proposicional se estudian las proposiciones, los operadores que permiten construir
proposiciones compuestas a partir de proposiciones simples, la manera de obtener el valor
verdadero de un juicio compuesto a partir de los valores de las proposiciones que lo forman y de
los operadores que vinculan a estos, así como el modo de representar las proposiciones a través
de fórmulas matemáticas. Es importante tener en cuenta que no toda expresión lingüística es una
proposición, por ejemplo, las preguntas o las órdenes no pueden considerarse como tal pues no se
le puede asignar un valor veritativo en ningún contexto.

Una proposición es una sentencia declarativa que debe ser verdadero o falso pero no ambas.

UNA SENTENCIA DECLARATIVA

Es una oración que afirma algo.

Ejemplo: Son sentencias declarativas:

1. El curso de Matemáticas Discretas está fácil.

2. El caballo blanco es verde.

3. Si la luna está llena y no llueve, entonces saldré a caminar.

4. El Último Teorema de Fermat es cierto.

5. Esta frase es falsa.

6. x + 3 es impar.

Ejemplos: No son sentencias declarativas:

1. ¿Está lloviendo?
2. ¡Hola!, ¿cómo estás?

3. Tierno sáuz, casi ámbar, casi luz. . .

4. ¿Qué es en el fondo actuar, sino mentir? ¿Y qué es actuar bien, sino mentir convenciendo?

EJEMPLOS DE PROPOSICIONES

Ejemplos: Son proposiciones:

1. El curso de Matemáticas Discretas está fácil.

2. Si la luna está llena y no llueve, entonces saldré

3. caminar.

4. El Último Teorema de Fermat es cierto.

Ejemplos: No son proposiciones:

1. Esta frase es falsa

2. Si la frase es cierta, lo que en ella se dice debe ser cierto, así debe ser falsa.

3. Si la frase es falsa, lo contrario a lo que en ella se afirma es cierto, por consiguiente es cierta.

4. x + 3 es un número impar

5. Si x = 2 la afirmación es cierta.

6. Si x = 3 la afirmación es falsa.

En nuestro manejo de proposiciones utilizaremos símbolos para representarlas. Estos símbolos se

Llamarán variables proposicionales.

 VARIABLE PROPOSICIONAL

En lógica matemática, una variable proposicional (también llamada variable sentencial o letra
sentencial) es una variable discreta que puede ser verdadera o falsa. Las variables proposicionales
son los bloques de construcción básicos de las fórmulas proposicionales, usadas en lógica
proposicional y en lógicas superiores.

Las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables
proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos. Las
variables proposicionales son las fórmulas atómicas de la lógica proposicional. Por ejemplo, en una
lógica proposicional dada, se podría definir una fórmula de la siguiente manera:

Cada variable proposicional es una fórmula.

Dada una fórmula X, su negación ¬X es una fórmula.

Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la conjunción ∧), entonces
(X b Y) es una fórmula.

De este modo, todas las fórmulas de la lógica proposicional son construidas utilizando variables
proposicionales como unidades básicas.

Las variables proposicionales son representadas como predicados 0-arios en lógica de primer
orden.

CLASES DE PROPOSICIONES

Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES: también denominadas proposiciones atómicas. Son aquellas

proposiciones que no se pueden dividir.

Ejemplos:

El cielo es azul.

La ballena es roja

La raíz cuadrada de 16 es 4

Gustavo es alto
PROPOSICIONES COMPUESTAS: también denominadas moleculares. Son aquellas que están
formadas por dos o más proposiciones simples unidas por los operadores lógicos.

Ejemplos:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jóvenes o universitarios.

Si el miércoles próximo me saco la lotería entonces te regalare un auto.

REGLAS DE FORMULAS BIEN FORMADAS

En lógica matemática, una fórmula bien formada, poco wff, a menudo simplemente la fórmula, es
una palabra que es parte de un lenguaje formal. Un lenguaje formal puede ser considerado para
ser idéntico al conjunto que contiene todos y sólo sus fórmulas.

Una fórmula es un objeto formal sintáctica que se puede dar de manera informal un significado
semántico.

Un uso fundamental de las fórmulas es la lógica proposicional y lógica de predicados, como la

lógica de primer orden. En esos contextos, una fórmula es una cadena de símbolos f para el que
tiene sentido preguntar "f es cierto?", Una vez que las variables libres en f han creado instancias.
En la lógica formal, las pruebas pueden ser representadas por secuencias de fórmulas con ciertas
propiedades, y la fórmula final de la secuencia es lo que se ha demostrado.

Aunque el término "fórmula" puede ser utilizado para las marcas escritas, se entiende más
precisamente como la secuencia se expresa, con las marcas de ser una instancia de señal de
fórmula. No es necesario para la existencia de una fórmula que no haya ninguna ficha real de la
misma. Un lenguaje formal puede por lo tanto tener un número infinito de fórmulas,
independientemente de si cada fórmula tiene una instancia de contador. Por otra parte, una sola
fórmula puede tener más de una instancia manera, si se escribe más de una vez.

Las fórmulas son muy a menudo interpretadas como proposiciones. Sin embargo, las fórmulas son
entidades sintácticas, y como tal deben ser especificados en un lenguaje formal sin tener en
cuenta ninguna interpretación de ellos. Una fórmula interpretada puede ser el nombre de algo, un
adjetivo, un adverbio, preposición, una frase, una cláusula, una oración imperativa, una serie de
frases, una serie de nombres, etc. Una fórmula puede incluso llegar a ser una tontería, si los
símbolos de la lengua se especifican para que lo haga. Por otra parte, no tiene por qué darse una
interpretación de una fórmula.
 CALCULO PROPOSICIONAL.

Las fórmulas de cálculo proposicional, también llamado fórmulas proposicionales, son expresiones
tales como. Su definición se inicia con la elección arbitraria de un conjunto de variables V
proposicionales. El alfabeto se compone de las letras V, junto con los símbolos de las conectivas
proposicionales y paréntesis "", todos los cuales se supone que no puede estar en V. Las fórmulas
serán determinadas expresiones sobre este alfabeto.

Las fórmulas se inductivamente definen como sigue:

Cada variable proposicional es, por sí misma, una fórmula.

Si f es una fórmula, entonces f es una fórmula.

Si f y? son fórmulas, y es cualquier conectivo binario, a continuación, es una fórmula. Aquí podrían
ser los operadores habituales?,?,?, O?

Esta definición también puede ser escrito como una gramática formal en forma de Backus-Naur,
siempre que el conjunto de variables es finito:

:: = P | q | r | s | t | u | ... :: = | | | | |

El uso de esta gramática, la secuencia de símbolos

Es una fórmula, porque es gramaticalmente correcta. La secuencia de símbolos

No es una fórmula, ya que no se ajusta a la gramática.

Una fórmula compleja puede ser difícil de leer, debido a, por ejemplo, la proliferación de
paréntesis. Para aliviar este último fenómeno, las reglas de prioridad se asumen entre los
operadores, por lo que algunos operadores más vinculantes que otras. Por ejemplo, suponiendo
que la prioridad 1 - 2 - 3 - 4 -. Entonces la fórmula

Puede ser abreviado como

pqrsqs

Esto es, sin embargo, sólo una convención utilizada para simplificar la representación escrita de
una fórmula. Si se supone que la prioridad, por ejemplo, para ser asociativo de izquierda a
derecha, en el siguiente orden: 1 - 2 - 3 - 4 -, a continuación, la misma fórmula anterior se puede
reescribir como
 LA LOGICA DE PREDICADOS

La definición de una fórmula en la lógica de primer orden es relativa a la firma de la teoría a la

mano. Esta firma especifica los símbolos constantes, símbolos de la relación, y símbolos de función
de la teoría a la mano, junto con los aridades de la función y símbolos de relación.

La definición de una fórmula viene en varias partes. En primer lugar, el conjunto de términos se
define de forma recursiva. Términos, de manera informal, son expresiones que representan
objetos del dominio del discurso.

 Cualquier variable es un término.

 Cualquier símbolo constante de la firma es un término
 una expresión de la forma f, donde f es un símbolo de función n-aria, y t1, ..., tn son
términos, es de nuevo un término.

El siguiente paso es definir las fórmulas atómicas.

 Si t1 y t2 son términos entonces t1 = t2 es una fórmula atómica

 Si R es un símbolo de relación n-aria y t1, ..., tn son términos, entonces R es una fórmula
atómica

Por último, se define el conjunto de fórmulas para ser el conjunto más pequeño que contiene el
conjunto de fórmulas atómicas de tal manera que se cumple lo siguiente:

 Es una fórmula que es una fórmula

 y cuando son fórmulas y fórmulas son;
 es una fórmula cuando es una variable y es una fórmula;
 es una fórmula cuando es una variable y es una fórmula.

Si una fórmula no tiene apariciones o, para cualquier variable, entonces se llama cuantificador
libre. Una fórmula existencial es una fórmula a partir de una secuencia de cuantificación
existencial seguido de un cuantificador fórmula-libre.

FORMULAS ATOMICAS Y DE CODIGO ABIERTO.

Una fórmula atómica es una fórmula que no contiene ni cuantificadores conectivas lógicas, o lo
que es equivalente a la fórmula que no tiene subfórmulas estrictas. La forma precisa de fórmulas
atómicas depende del sistema formal de que se trate; para la lógica proposicional, por ejemplo, las
fórmulas atómicas son las variables proposicionales. Para la lógica de predicados, los átomos son
símbolos de predicado junto con sus argumentos, cada argumento es un término.
De acuerdo con algunos de los términos, una fórmula abierta se forma mediante la combinación
de fórmulas atómicas utilizando sólo conectivos lógicos, a la exclusión de los cuantificadores. Esto
no tiene que ser confundido con una fórmula que no está cerrado.

FORMULAS CERRADAS

Una fórmula cerrada, la fórmula también suelo o frase, es una fórmula en la que no hay
ocurrencias libres de cualquier variable. Si A es una fórmula de un lenguaje de primer orden en la
que el v1 las variables, ..., vn tiene ocurrencias libres, entonces A precedidos por V1 ... vn es un
cierre de A.

Propiedades de aplicación para los preparados

Una fórmula A en una lengua es válida si es verdad para cada interpretación.

Una fórmula A en una lengua es satis fiable si es verdad por alguna interpretación de.

Una fórmula A de la lengua de la aritmética es decidible si representa un conjunto decidible, es

decir, si no es un método eficaz que, por una sustitución de las variables libres de A, dice que, o
bien la instancia resultante de A es demostrable o su negación es .

USO DE LA TERMINOLOGIA

En trabajos anteriores sobre la lógica matemática, las fórmulas a que se refiere las cadenas de
símbolos y entre estas cadenas, fórmulas bien formadas fueron las cadenas que siguieron las
reglas de formación de fórmulas.

Varios autores dicen simplemente formula. Usos modernos tienden a retener de la noción de
fórmula sólo el concepto algebraico y dejar la cuestión de la buena formación, es decir, de la
representación de cadena concreta de fórmulas como un mero problema de notación.

Fórmulas Sin embargo, la expresión bien formada todavía se pueden encontrar en diversas obras,
estos autores utilizando el nombre bien formados fórmula sin oponerse necesariamente a la vieja
sentido de fórmula como cadena arbitraria de símbolos de modo que ya no es común en la lógica
matemática para referirse a cadenas arbitrarias de símbolos en el viejo sentido de las fórmulas.

La expresión "fórmulas bien formadas", también impregnado en la cultura popular. En efecto, WFF
es parte de un juego de palabras esotéricas utilizado en el nombre de "WFF 'N PRUEBA: El juego
de la lógica moderna", de Allen Layman, desarrolló mientras se encontraba en la Escuela de
Derecho de Yale. El conjunto de juegos está diseñado para enseñar los principios de la lógica
simbólica a los niños. Su nombre es un eco de Whiffenpoof, una palabra sin sentido utilizado como