Universidad Alejandro de Humboldt

Curso de Iniciación Universitaria

Razonamiento Lógico
Sección: MDINT

Lógica de Proposiciones

Cesar Rojas
C.I V-30632037
 Lógica de
Proposiciones

La lógica proposicional o lógica de orden cero es la rama de

la lógica matemática que estudia proposiciones, afirmaciones
Preposiciones u oraciones, los métodos de vincularlas mediante conectores Preposiciones
atómicas lógicos y las relaciones y propiedades que se derivan de esos moleculares
procedimientos.

Una proposición es molecular si

Una proposición es atómica si no es atómica, es decir, si puede
ser descompuesta en
no puede ser descompuesta
proposiciones más simples. Una
en proposiciones más proposición molecular se forma
simples. Las proposiciones al unir proposiciones atómicas
atómicas son indicadas de utilizando conectivos lógicos o
términos de enlace.
manera afirmativa.
 Sistema
Preposicional

el sintagma preposicional (SP) o construcción

preposicional (CP) está formado por una preposición
(u otro tipo de adposición) que funciona como núcleo
sintáctico y asigna caso al sintagma nominal o
sintagma determinante que le sigue (más raramente
puede seguir un sintagma adjetivo o adverbial).

Notaciones Conectivos

Los conectores lógicos son
Para representar a las proposiciones se palabras y/o expresiones que
usarán las letras minúsculas del alfabeto sirven para enlazar las
empezando generalmente por las letras p, distintas ideas en una oración,
q, r... z. En ocasiones es necesario párrafo o texto. Por ejemplo:
representar más proposiciones. Para estos
casos se podrás usar otras letras además, también, si bien,
cualesquiera del alfabeto, pero siempre en pero. 
minúsculas.
 Operadores Lógicos

Los operadores lógicos interpretan los operandos de

puntero como valores de números enteros sin signo. Al
igual que los operadores lógicos y relacionales en D, los
operandos son verdaderos (true) si tienen un valor de
número entero distinto a cero y falsos (false) si tienen
un valor de numero entero cero.
 Formalizar
Proposiciones

En lógica, formalizar, en este sentido,

significa modelar formalmente (es decir,
producir un modelo formal de) una
proposición, argumento, teoría o lenguaje,
para explicar o entender mejor sus
propiedades y relaciones lógicas como
validez, consistencia, consecuencia lógica,
incompatibilidad, etc.
 Bibliografía

https://es.wikiversity.org/wiki/L%C3%B3gica_proposici
onal
https://es.slideshare.net/lupitamartel/1clase-introducc
ionlogica
https://es.wikipedia.org/wiki/Sintagma_preposicional
https://www.ecured.cu/L%C3%B3gica_proposicional#N
otaci.C3.B3n
https://www.ejemplos.co/40-ejemplos-de-conectores-l
ogicos/