Logica

Universidad Nacional Abierta
Centro Local Metropolitano

Asignatura: Lógica
Asesor: Martha Molina
Objetivo 1.2 - Describir con objetividad los conceptos y procedimientos

básicos que caracterizan a un razonamiento deductivo expresado en lenguaje
natural
Estudiante: Vanessa Monsalve

Cedula de Identidad:14.494.901
Carrera: Contaduría Pública
Código de Carrera: 610
Email: vanessamonsalve.cmp@gmail.com
Teléfono: 0412.868.91.75
Caracas, Febrero 2023

INTRODUCCIÓN
La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. De ahí surge la lógica
proposicional es una parte de la lógica clásica que estudia las variables
proposicionales, sus posibles implicaciones, los valores de verdad de las
proposiciones o de conjuntos de ellas formadas a partir de los conectores lógicos.
Permite validar o no las afirmaciones que se hacen en matemáticas o en otras ramas
del conocimiento. Es por esto que el estudio y comprensión de las estructuras que
componen la lógica y la forma como validan o no las proposiciones es fundamental
en todas las ramas de las ciencias, es simple y no tiene problemas de decibilidad (es
decir, tenemos mecanismos para responder siempre a la pregunta de si una
afirmación es cierta o falsa). Así mismo posee desventajas ya que tiene una
capacidad de representación limitada y en algunas afirmaciones simples pueden
requerir representaciones muy largas y enrevesadas.
Objetivo 1.2
La lógica proposicional también se conoce como lógica matemática o lógica

simbolice. Se trata del estudio de las lógicas proposicionales o sentencias lógicas, en
donde se intenta evaluar la verdad y su nivel absoluto. Se relaciona con la
matemática, ya que utiliza símbolos que, a través de tablas de la verdad, indican lo
verdadero y lo falso.
La lógica proposicional forma parte de la lógica clásica, y permite estudiar las fórmula
en la que figuran depende de los valores de sus componentes.
Un enunciado es toda oración gramatical declarativa, esto es, aquella que es capaz
de ser verdadera o falsa, dado que todo enunciado expresa o significa una
proposición. El principio de bivalenia, uno de los fundamentos de la lógica clásica,
establece además que todo enunciado, o proposición, ha de ser verdadero o falso, y
no ambas cosas a la vez.
Los enunciados pueden ser simples (atómicos) o compuestos (moleculares) y se
simbolizan mediante letras de enunciado (p, q, r, s, … minúsculas). Se combinan
entre si mediante conectivas lógicas, también llamadas operadores (porque operan
entre enunciados). Los principales son: no, y, o, si …, entonces, si y solo si, y en
minúsculas y en símbolos ¬,∧,∨,→,↔¬,∧,∨,→,↔.

Implicaciones de las variables proposicionales, así como los valores de verdad de las
proposiciones. Estos valores se construyen a partir de conectores lógicos, y son
aplicables tanto en matemáticas como en otras ramas de conocimiento.
En el cálculo proposicional, una conectiva lógica es un elemento (una constante
lógica, de hecho) de un lenguaje lógico cuya función es la de conectar enunciados
entre sí. Todas ellas contribuyen a fijar con precisión cómo el valor de verdad de la
Las proposiciones moleculares que se obtienen de los operadores lógicos son:
 Negativa: proposición molecular que niega algo, es decir, niega lo que se
enuncia en la proposición atómica completa: No todo mar es salado.
 Conjuntiva: proposición molecular que conecta dos o más proposiciones
atómicas por medio del predicado al sujeto de una proposición; al conectar por
medio del conectivo lógico de la conjunción (Y), se crea la proposición
molecular: El niño irá al cine y comerá palomitas.
 Disyuntiva: proposición molecular que reúne dos o más proposiciones
atómicas; por medio del conectivo disyuntor te da opción a elegir entre las
proposiciones atómicas y, dada esta situación, se dan varias alternativas, por
lo que existen dos tipos de disyunción (inclusiva y exclusiva). La disyunción
inclusiva sucede cuando las dos proposiciones atómicas pueden ser
seleccionadas, pero no afecta el criterio de verdad de ambas, por ejemplo: La
casa es grande o la casa es roja. La disyunción exclusiva obliga a que sólo
exista una alternativa entre dos proposiciones atómicas, por ejemplo: O el
cachorro está enfermo o está saludable.
 Condicional: la proposición molecular condicional estudia las consecuencias;
para ello, debe existir en las proposiciones atómicas un antecedente que
proporcione la información que dará por resultado las consecuencias de
dichas proposiciones antecedentes. A la consecuencia se le denomina
consecuente: Si el estudiante está en la escuela entonces él estará
aprendiendo.
 Bicondicional: es una proposición molecular donde se conectan dos
proposiciones atómicas y donde el antecedente y consecuente dependen uno
del otro en ambos sentidos, es decir, pueden cambiarse y no afecta a la
proposición: Hace calor si y sólo si la temperatura sube.
Contextos donde la verdad de las oraciones depende sólo de la extensión de las

expresiones se llaman extensionales. En cambio, los contextos intensionales son
aquellos donde la sustitución de una expresión por otra con la misma extensión no
garantiza la conservación del valor de verdad. Así, se considera extensional un
lenguaje si ninguno de sus enunciados cambia de valor de verdad cuando una
expresión del mismo es sustituida por otra que tenga la misma extensión. En caso
contrario, el lenguaje es considerado intencional.
CONCLUSION
La proposición, es cualquier enunciado lógico al que se le pueda asignar un valor de

verdad. Una proposición (o enunciado ) es una expresión con valor referencial o
informativo, de la cual se puede formular su veracidad o falsedad; es decir,
que puede ser falsa o verdadera pero no ambas a la vez.
Las sentencias sin ningún conectivo lógico o cuantificador se conocen como
sentencias atómicas; por analogía la fórmula atómica. Las sentencias se construyen
a partir de sentencias atómicas por medio de la aplicación de conectivos y
cuantificadores.
El supuesto fundamental de la lógica proposicional es que la validez del
razonamiento (o sea, la verdad de la proposición molecular), depende de la verdad o
la falsedad de las proposiciones atómicas que lo componen. En otras palabras, los
valores de verdad (V o F) se 'extienden' desde las proposiciones atómicas a toda la
proposición molecular. Por estos motivos, se dice que la lógica proposicional es una
lógica 'extensional' o, también, una lógica 'funcional-veritativa' (de 'veritas' = verdad),
vale decir, la verdad de la proposición molecular es 'función' (depende-de) la verdad
de las proposiciones atómicas que lo componen.
BIBLIOGRAFIA
Ricardo Piacenza Logica estudios generales, Caracas UNA 1979
Ricardo Chang. Lógica anexo explicativo, Caracas UNA
https://www.euroinnovaformacion.com.ve/blog/que-es-la-logica-proposicional
https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional
http://padron.entretemas.com.ve/cursos/logica/Enunciados.htm

Logica

Cargado por

Copyright:

Formatos disponibles

Logica

Cargado por

Información del documento

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

Logica

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional Abierta

Centro Local Metropolitano

Objetivo 1.2 - Describir con objetividad los conceptos y procedimientos

Estudiante: Vanessa Monsalve

Caracas, Febrero 2023

La lógica proposicional también se conoce como lógica matemática o lógica

minúsculas y en símbolos ¬,∧,∨,→,↔¬,∧,∨,→,↔.

Contextos donde la verdad de las oraciones depende sólo de la extensión de las

La proposición, es cualquier enunciado lógico al que se le pueda asignar un valor de

Ricardo Piacenza Logica estudios generales, Caracas UNA 1979

Ricardo Chang. Lógica anexo explicativo, Caracas UNA

También podría gustarte