Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

1 Logica PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 3

 LOGICA Y PROPOSICIONES LOGICAS

¿Qué es la Lógica?
Podríamos decir que la lógica es una ciencia formal es una rama de la filosofía
que estudia los principios del pensamiento y las estructuras del pensamiento
además podríamos decir que es un sistema que permite verificar si un
razonamiento es correcto o incorrecta
La finalidad de la lógica es el estudio e la razón en el conocimiento y también
se entra en el estudio del razonamiento humano.

La lógica se divide en dos:

LOGICA SIMBOLICA O
MATEMATICA:
LOGICA FORMAL O
ARISTOTELICA: Llamada también lógica proposicional

Se dedica al estudio de la inferencia mediante Esta lógica se basa en la aplicación de


la construcción del lenguajes formales, símbolos por medio de tablas de verdad,
sistemas deductivos y semánticas formales que nos permiten ver lo verdadero o falso de
las proposiciones
 LOGICA PROPOSICIONAL

Proposición
Es un enunciado al cual se le puede dar un valor de verdad. Es decir, es
verdadero o falso.
Pero ojo no todos los enunciados son proposiciones.

EJEMPLOS:

MACHUPICCHU ES UNA DE LAS 7 LIMA ES CAPITAL DE PERU


MARAVILLAS DEL MUNDO

ES UNA ES UNA
PROPOSICION PROPOSICION

V F V F

LA UNSAAC QUEDA EN LIMA EL CORONAVIRUS ES UNA TOS

ES UNA
ES UNA PROPOSICION
PROPOSICION V F
V F
A las proposiciones las vamos a representar simbólicamente
Proposiciones mediante el uso de letras del alfabeto usamos normalmente las
letras p q r s y t éstas reciben el nombre de letras o variables
proposicional es esto ayuda a que el lenguaje proposicional se
simples haga más simple y exacto incluso que el lenguaje natural

Son aquellas que están formadas por dos o más


proposiciones simples o es la negación de una proposición Proposiciones
simple.
En toda proposición compuesta las proposiciones simples
están ligadas mediante palabras conocidas como conectivos compuestas
lógicos

CONECTIVOS LOGICOS
Son palabras que permiten relacionar dos proposiciones
o negar una proposición simple. Cuando se les
representan por símbolos se les llama operadores
lógicos

También podría gustarte