Ensayo Proposiciones

PROPOSICIONES E INFERENCIAS LÓGICAS
Siempre que hacemos diferentes tipos de afirmaciones nos debemos basar en una
serie de análisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente
es verdadero o falso, sin darnos cuenta estamos usando la lógica, la cual nos
permite saber si un pensamiento es correcto o incorrecto, es decir, la lógica estudia
el razonamiento humano.
Una proposición es toda oración o enunciado al que se le puede asignar un cierto

valor (verdadero o falso). Si no podemos concluir que es verdadero o falso no
es proposición. La verdad o falsedad de una proposición es a lo que llamamos
valor lógico o valor de verdad.
Un enunciado en matemáticas es una frase a la cual puede asignársele

inequívocamente uno de los dos valores de verdad (1 o V), si es verdadera o (0 o
F) si es falsa. Por este motivo se le denomina lógica bivalente o lógica binaria porque
solo tiene dos categorías de clasificación, las proposiciones verdaderas (1) y las
proposiciones falsas (0).
Por lo tanto en matemáticas una proposición o lógica de orden cero, es un

enunciado que puede tener dos valores de verdad o falsedad, es decir, la lógica
matemática o proposicional consiste en utilizar símbolos a través de tablas de
verdad que nos indican lo verdadero o falso. Las proposiciones se denotan con
letras minúsculas, ejemplo: p, q, r, a, b.
Para que un enunciado que hacemos sea una proposición el único requisito es que
podamos definirla como verdadera o falsa.
Son ejemplos de proposiciones: son las tres de la tarde, la luz está encendida,
2+2=5, Caracas es la capital de Venezuela; en todos estos casos lo que se dice es
verdadero o falso.
No serían proposiciones las preguntas como ¿a dónde vas? o ¿cómo estás?, u
otras expresiones que no enuncian realidades verdaderas o falsas como buenos
días o te deseo lo mejor.
Las proposiciones pueden ser simples o compuestas.
LAS PROPOSICIONES SIMPLES, también denominadas proposiciones atómicas.
Son aquellas que no se pueden dividir.
Ejemplo:
 El cielo es azul.
LAS PROPOSICIONES COMPUESTAS, también denominadas moleculares. Son

aquellas que están formadas por dos o más proposiciones simples unidas por los
conectores lógicos, Este conector lógico del que hablamos suele consistir en una
palabra que las relaciona (vincula) como “y”, “además de”, “entonces”, etc.
Ejemplos:
 Fui al banco, pero el banco estaba cerrado.
 Los lectores de este libro son jóvenes y universitarios.
 Si el miércoles próximo me saco la lotería entonces te regalaré un auto.
Como hemos visto en una proposición simple solo hay dos posibilidades, o es
verdadera o es falsa. Pero, en una proposición compuesta, hay dos o más
proposiciones simples. Al haber dos proposiciones puede que las dos sean
verdaderas, que las dos sean falsas, que una sea verdadera y la otra falsa o
viceversa, por lo tanto habría cuatro posibilidades.
Si la proposición compleja contiene tres proposiciones simples el número de
posibilidades es aún mayor.
Para calcular el número de posibilidades elevamos dos al número de

proposiciones simples, así, si tenemos dos proposiciones será dos al cuadrado
(4), si son tres será dos al cubo (8), si son cuatro dos a la cuarta (16) y así
sucesivamente.
Y…. LOS CONECTIVOS LÓGICOS, ¿QUÉ PAPEL JUEGAN?

Recordemos que los conectivos lógicos Son aquellos que sirven para formar
proposiciones más complejas (compuestas o moleculares). Es decir, enlazan dos o
más proposiciones simples. Una proposición simple se puede operar por medio de
los conectores lógicos y así crear proposiciones compuestas, dependiendo de cómo
realizan esta vinculación pueden ser:
 Conjunción (AND): ʌ se lee “y”, en este caso para que la proposición compuesta
sea verdadera las dos proposiciones simples deben ser verdaderas, representa el
producto lógico. Veamos
p q pʌq
0 0 0
0 1 0
1 0 0
1 1 1
 Disyunción (OR): V se lee “o”, y representa la suma lógica, para que la

proposición compuesta sea falsa, ambas proposiciones simples deben ser falsas.
p q pvq
0 0 0
0 1 1
1 0 1
1 1 1
 Disyunción exclusiva (XOR): Se lee “o...o...” como en la frase “o comes

carne o comes pescado”; en este caso para que la proposición compuesta
sea falsa ambas proposiciones simples que la componen debe ser
verdaderas o falsas.
p q p q
0 0 0
0 1 1
1 0 1
1 1 0
 Implicación se lee “sí… entonces...”: la primera proposición simple es el

antecedente y la segunda el consecuente. En este caso la proposición será falsa
si la primera es verdadera y la segunda falsa.
p q p q
0 0 1
0 1 1
1 0 0
1 1 1
 Equivalencia se lee “sí y sólo sí”, como en la frase “el animal ladra
sí y sólo sí es un perro”: en este caso la proposición compuesta es verdadera
si las dos simples son, a la vez, verdaderas o falsas, si una fuera verdadera
y la otra falsa la compuesta sería falsa.
p q p q
0 0 1
0 1 0
1 0 0
1 1 1
 Negación (~) se lee “no” o “no es cierto que”, para que la compuesta
sea verdadera al menos una de las dos que la componen debe ser falsa.
p ~p
0 1
1 0
Para tener en cuenta, si queremos saber si una proposición compuesta es
verdadera o falsa necesitamos saber si las proposiciones simples que la componen
son verdaderas o falsas.
Dependiendo del resultado final según la combinación de estas proposiciones
simples la tabla de verdad de la compuesta puede ser de tres tipos:
 Tautológica cuando cualquier combinación de verdadero o falso de sus

componentes da siempre como resultado que la proposición compleja es
verdadera.
 Contradictoria si cualquier combinación de verdadero o falso de los componentes
da siempre como resultado que la proposición compleja es falsa.
 Contingente cuando existen distintas posibilidades de resultados según la
combinación de verdadero y falso de los componentes.
Observemos, para recordar….
Tautológica Contradictoria Contingente

Es una proposición cuya Es una proposición cuya Es una proposición que
tabla de verdad es tabla de verdad da da valores tantos falsos
siempre verdadera. siempre falso. como verdaderos.
Un ejemplo de tautología es la expresión: (p ^ q) → p, cuya tabla de la verdad

sería la siguiente:
p q p^q (p ^ q) → p
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 1
Un ejemplo de contradicción es la expresión: (~p ^ p), cuya tabla de la verdad
sería la siguiente:
p ~p ~p ^ p
1 0 0
1 0 0
0 1 0
0 1 0
Un ejemplo de contingencia es la expresión: (p v q) ^ ~p, cuya tabla de la verdad

sería la siguiente
p q pvq ~p (p v q) ^ ~p
1 1 1 0 0
1 0 1 0 0
0 1 1 1 1
0 0 0 1 0
Como podemos ver la lógica es la ciencia que de manera estructurada organiza

nuestros razonamientos, estudia la forma y el contenido de los pensamientos, tiene
objeto y método propios, y determina pensamientos verdaderos desechando los
falsos.
El valor de la lógica para el proceso de la investigación científica, se encuentra

definitivamente en las primeras etapas de la misma, cuando se está pensando cómo
conceptualizar mejor los fenómenos, para entenderlos. Es decir, la lógica sirve
mucho al proceso de la investigación porque le permite al científico razonar, pensar
en diferentes alternativas posibles, y elaborar conceptos que expliquen provisional
y tentativamente los fenómenos. Sin embargo, es importante cuando se elaboran
las hipótesis, para así dirigir mejor los esfuerzos de la recolección de información, y
finalmente, al hacer las inferencias o interpretar significado de los nuevos datos,
derivados de la investigación científica.
La lógica está relacionada con todas las ciencias, porque como dijo Cohen, “es el
aspecto formal de todo cuanto existe”. En forma general diríamos:
 Desde el punto de vista formal todas las ciencias están integradas por
conceptos, juicios y razonamientos, los cuales son la parte fundamental del
objeto de la lógica.
 Así mismo, les proporciona a todas las ciencias la teoría para las
demostraciones científicas. No se puede hablar de ciencia si esta no
está organizada conforme a las leyes de la lógica.
 La metodología es lógica aplicada, inferida de numerosos casos científicos.

Dichos procesos lógicos se deben observar si se desea obtener
el conocimiento científico.
La relación de la lógica con las matemáticas desarrolló el intento de buscar

un lenguaje en el que los problemas derivados de la validez o invalidez de los
razonamientos, fueran tratados como un simple cálculo, un problema que
consistiría en mirar si estaba o no de acuerdo con la tabla. Con George Boole en
1847, se inició la construcción sistemática de la lógica matemática, él fue el primero
en aplicar el álgebra a la lógica, dando origen a una lógica de clases y una lógica
sentencial. A partir de este momento, la lógica matemática se fue construyendo
a imagen y semejanza de las lenguas naturales.
La lógica matemática dispone de unas herramientas superiores a la que utiliza la

lógica clásica. Pero concebir la lógica ya sea un arte de calcular o de pensar tiene
unas consecuencias importantes en vista de la actividad desempeñada por los
sujetos, por la manera como se van relacionando los objetos, por los
instrumentos que van a utilizar y por las relaciones sobre las cuales se van a
trabajar.
El hecho universal es que los humanos en nuestros razonamientos cotidianos, solo

utilizamos el arte de pensar. Esto pone de relieve la importancia de la lógica
clásica. De otra parte, la necesidad científica de disponer de un instrumento no
sujeto a equívocos, de tal naturaleza que permita resolver sin lugar a replica,
mediante un sencillo calculo, la validez o invalidez de un razonamiento,
establece la necesidad y la utilidad de la lógica matemática.
Y…. ¿la tecnología?
La lógica está presente en la computación a través de los siguientes

aspectos:
 Es tan importante la relación lógica-computación que todo ordenador tiene

una unidad en la cual se realizan las operaciones lógicas; es la unidad
aritmético–lógica. En ella, se efectúan las operaciones lógicas de
cualquier programa. Nos referimos a los operadores lógicos "y", "o", etc., los
cuales trabajan en base a las tablas de verdad.
 La lógica se hace presente en los programas. Cada uno de ellos es un

conjunto formal y secuencial de operaciones, las cuales permiten realizar un
trabajo. Decimos "formal " y con ello evidenciamos de la lógica formal, puesto
que teóricamente, un mismo programa puede estar referido a varios
contenidos, siempre y cuando tengan los mismos esquemas.
 Las contingencias se utilizan para hacer circuitos de control, las tautologías

y contradicciones para probar las consistencias internas de las
argumentaciones.
 Las reglas de inferencia lógica se utilizan como test de prueba de la

consistencia lógica interna en los algoritmos de computación.
 Las propiedades algebraicas y las transformaciones de las sentencias
lógicas en función de solo una u otra conectiva, se utilizan como una ventaja
en la construcción de los circuitos integrados comerciales, pues estos utilizan
NOT, AND y OR.
Se puede concluir, que la lógica matemática es la disciplina que trata

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;
en ciencias de la computación para verificar si son o no correctos
los programas; en las ciencias físicas y naturales, para sacar conclusiones
de experimentos; y en las ciencias sociales y en la vida cotidiana, para
resolver una multitud de problemas. De ahí que podamos afirmar que
ciertamente se usa en forma constante el razonamiento lógico para realizar
cualquier actividad de la vida.

Ensayo Proposiciones

Cargado por

Copyright:

Formatos disponibles

Ensayo Proposiciones

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ensayo Proposiciones

Cargado por

Copyright:

Formatos disponibles

PROPOSICIONES E INFERENCIAS LÓGICAS

Una proposición es toda oración o enunciado al que se le puede asignar un cierto

Un enunciado en matemáticas es una frase a la cual puede asignársele

Por lo tanto en matemáticas una proposición o lógica de orden cero, es un

LAS PROPOSICIONES COMPUESTAS, también denominadas moleculares. Son

 Fui al banco, pero el banco estaba cerrado.

 Los lectores de este libro son jóvenes y universitarios.

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

Para calcular el número de posibilidades elevamos dos al número de

Y…. LOS CONECTIVOS LÓGICOS, ¿QUÉ PAPEL JUEGAN?

 Disyunción (OR): V se lee “o”, y representa la suma lógica, para que la

 Disyunción exclusiva (XOR): Se lee “o...o...” como en la frase “o comes

 Implicación se lee “sí… entonces...”: la primera proposición simple es el

 Tautológica cuando cualquier combinación de verdadero o falso de sus

Observemos, para recordar….

Tautológica Contradictoria Contingente

Un ejemplo de tautología es la expresión: (p ^ q) → p, cuya tabla de la verdad

Un ejemplo de contingencia es la expresión: (p v q) ^ ~p, cuya tabla de la verdad

Como podemos ver la lógica es la ciencia que de manera estructurada organiza

El valor de la lógica para el proceso de la investigación científica, se encuentra

 La metodología es lógica aplicada, inferida de numerosos casos científicos.

La relación de la lógica con las matemáticas desarrolló el intento de buscar

La lógica matemática dispone de unas herramientas superiores a la que utiliza la

El hecho universal es que los humanos en nuestros razonamientos cotidianos, solo

Y…. ¿la tecnología?

La lógica está presente en la computación a través de los siguientes

 Es tan importante la relación lógica-computación que todo ordenador tiene

 La lógica se hace presente en los programas. Cada uno de ellos es un

 Las contingencias se utilizan para hacer circuitos de control, las tautologías

 Las reglas de inferencia lógica se utilizan como test de prueba de la

Se puede concluir, que la lógica matemática es la disciplina que trata

También podría gustarte