Logica

Universidad Nacional Federico Villarreal
Lógica
• La lógica es una ciencia formal que estudia los
principios y métodos para determinar la validez
o invalidez de las inferencias.
A saber, la lógica estudia si son válidas o
inválidas las inferencias pero sin considerar el
contenido de sus proposiciones.
Este contenido se formaliza mediante el uso de
variables proposicionales y operadores lógicos
con la finalidad de mostrar la estructura
axiomática de las inferencias.
Lógica
• Los principios lógicos son las implicaciones

notables y las equivalencias notables.
(1) Las implicaciones son los siguientes:

Modus Ponens, Modus Tollens, Silogismo
disyuntivo, Silogismo hipotético, etc.
(2) Las equivalencias son los siguientes:

Idempotencia, Doble negación, conmutación,
etc.
Lógica
• Los métodos que usa la lógica son los

siguientes:
Deducción natural por prueba directa, por

prueba condicional y por prueba de
reducción al absurdo.
Lógica
Implicaciones notables Equivalencias notables

• Modus ponens • Idempotencia
[(P→Q)^P]→Q (P^P)↔P
• Modus tollens • Doble negación

[(P→Q)^~Q]→~P ~~P↔P
• Silogismo disyuntivo • De Morgan

[(P˅Q)^~Q]→P ~(P^Q)↔(~P˅~Q)
Inferencias
Las inferencias son de dos tipos: deductivas e
inductivas
• Las inferencias deductivas son • Las inferencias inductivas son
válidas o inválidas. inválidas.
Si eres alemán, entonces eres El oro es buen conductor de

europeo. calor.
Si eres europeo, entonces no La plata es buen conductor de
eres americano. calor.
Por lo tanto, si eres alemán, no El hierro es buen conductor de
eres americano. calor.
Luego, todos los metales son
buenos conductores de calor.
Inferencias
• Las inferencias están compuestas por un

conjunto de premisas y una conclusión. Sin
embargo, las expresiones que componen las
premisas y la conclusión se llaman
proposiciones.
Proposiciones
1. El manco de Lepanto
2. Las olimpiadas fueron en Atenas.
3. El teorema es de Pitágoras.
4. No matarás a tu prójimo.
5. Dos más dos son cinco.
6. El teorema de Pitágoras.
7. La espada de Damocles.
8. El manco es de Lepanto.
Proposiciones
• Las proposiciones son expresiones lingüísticas

con sentido y pueden ser calificadas de
verdaderas o falsas.
Estas expresiones lingüísticas son enunciados
enunciativos, declarativos, descriptivos,
aseverativos, asertóricos, etc.
Ejemplos:
Júpiter es un planeta de la galaxia Vía Láctea.
Juan Rulfo es un escritor uruguayo.
Proposiciones
Enunciados que no son proposiciones

• Las siguientes oraciones no son proposiciones:
(1) Las oraciones desiderativas que expresan
deseos:
Ojalá apruebes el curso de Lógica.
(2) Las oraciones interrogativas que formulan
preguntas:
¿Qué es Lógica?
Proposiciones

(3) Las oraciones exclamativas que expresan
admiración:
¡Casi me saco la lotería!
(4) Las oraciones dubitativas que expresan
duda:
Quizá apruebes el examen final.
(5) Las oraciones exhortativas que expresan
mandato:
Debemos honrar la memoria de Miguel Grau.
Proposiciones

• Los juicios de valor:
El Lomo saltado es delicioso.
La actuación fue muy graciosa.
La computadora es ineficaz.
La bailarina es muy hermosa.
Juan es una persona honrada.
El papá de Juan es compasivo.
Proposiciones

• Algunos enunciados aseverativos:
El cuadrado es inteligente.
César es un número racional.
La temporalidad es la maduración del tiempo.
Mi patria es hermosa como una espada en el
aire.
Proposiciones

• Pseudoproposiciones o falsas proposiciones:
X + 3Y = 28
B es la capital de Chile.
El Presidente del Perú.
El Caballero de los mares.
Proposiciones
Clases de proposiciones
• Proposiciones atómicas o • Proposiciones moleculares o
simples: compuestas:
Son aquellas expresiones

Son aquellas expresiones que sí llevan conectores y sí
que no llevan conectores y podemos obtener más
no podemos obtener otra proposiciones de su
estructura.
proposición de su estructura.
Ejemplo:
Ejemplo: Marte y Saturno son planetas
Lima es la capital del Perú. del Sistema solar.
Proposiciones
Clases de proposiciones
1. La Luna es un satélite de la Tierra.

2. Miguel es hermano de César.
3. José y Ana son esposos.
4. Napoleón amó a Josefina.
5. El tiempo es absoluto o relativo.
6. Marx y Engels son filósofos materialistas.
7. Vivian y Nancy estudian juntas en el colegio.
Proposiciones
Clases de proposiciones atómicas

• Proposiciones atómicas • Proposiciones atómicas
predicativas relacionales
Son aquellas que constan Son aquellas que constan

de sujeto y predicado. de dos o más sujetos
vinculados entre sí.
Ejemplo:
El número 8 es par. Ejemplo:
Miguel y Susan son
enamorados.
Proposiciones
Proposiciones atómicas relacionales

• Miguel y Susan son hermanos
• Miguel y Susan son primos
• Miguel y Susan son vecinos
• Miguel y Susan son compadres
• Miguel y Susan son contemporáneos
• Miguel y Susan son condiscípulos
• Miguel y Susan son paisanos
• Miguel y Susan son colegas
• Miguel y Susan son cuñados
Proposiciones
Proposiciones atómicas relacionales

• Miguel y Susan son enamorados
• Miguel y Susan son novios
• Miguel y Susan son esposos
• Miguel y Susan son amantes
• Miguel y Susan son mellizos
• Miguel y Susan son siameses
• Miguel y Susan son gemelos
• Miguel y Susan comparten sus ganancias
• Miguel y Susan regalan una bicicleta a su sobrina
Proposiciones
Clases de proposiciones moleculares

• Proposiciones conjuntivas
La conjunción es la unión de dos o más
proposiciones mediante la partícula “y”, o sus
expresiones equivalentes como “pero”,
“aunque”, “sin embargo”, “sino”, “además”, etc.
Ejemplo:
Silvia es inteligente pero poco estudiosa.
Proposiciones

• Proposiciones disyuntivas
La disyunción es la combinación de dos o más
proposiciones mediante la partícula “o”, y sus
expresiones equivalentes como “u”, “ya…ya”,
“bien…bien”, “ora…ora” y “sea…sea”.
Ejemplo:
Andrea habla inglés o habla francés.
Proposiciones
Clases de proposiciones disyuntivas

• Proposición disyuntiva • Proposición disyuntiva
inclusiva o débil exclusiva o fuerte
Son aquellas donde Son aquellas donde no

ambas alternativas se dan ambas alternativas se dan a
a la vez. la vez.
Ejemplo: Ejemplo:
Andrea es arquitecta o Sonia es soltera o casada.
cantante.
Proposiciones

• Proposiciones condicionales
Una proposición condicional es la combinación
de dos proposiciones con “si…entonces”, o sus
expresiones equivalentes como “puesto que”,
“ya que”, “porque”, “a menos que”, “salvo que”,
etc.
Ejemplo:
Si sale el sol, entonces iremos a la playa.
Proposiciones

• Proposiciones condicionales
La estructura de la condicional consiste en que la
proposición que aparece entre “si” y “entonces” se
llama antecedente, y la proposición que sigue a la
palabra “entonces” se llama consecuente.
Ejemplo:
Si esta figura es un triángulo isósceles, entonces tiene
dos lados iguales.
Proposiciones

• Proposiciones bicondicionales
Una proposición bicondicional es la unión de
dos proposiciones por “si y solo si” o su
expresión equivalente “cuando y solo cuando”.
Por ejemplo:
Un número es divisible por dos si y solo si es
un número par.
Proposiciones

• Proposiciones negativas
La negación es un elemento lógico que actúa
independientemente de la proposición y llevan el
adverbio de negación “no”, o sus expresiones
equivalentes como “nunca”, “tampoco”, “jamás”, “es
falso que”, etc.
Por ejemplo:
Jamás aprobarás el curso de Lógica.

Logica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Logica

Загружено:

Авторское право:

Доступные форматы

Universidad Nacional Federico Villarreal

• Los principios lógicos son las implicaciones

(1) Las implicaciones son los siguientes:

(2) Las equivalencias son los siguientes:

• Los métodos que usa la lógica son los

Deducción natural por prueba directa, por

Implicaciones notables Equivalencias notables

• Modus tollens • Doble negación

• Silogismo disyuntivo • De Morgan

Si eres alemán, entonces eres El oro es buen conductor de

• Las inferencias están compuestas por un

• Las proposiciones son expresiones lingüísticas

Enunciados que no son proposiciones

Enunciados que no son proposiciones

Enunciados que no son proposiciones

Enunciados que no son proposiciones

Enunciados que no son proposiciones

Son aquellas expresiones

1. La Luna es un satélite de la Tierra.

Clases de proposiciones atómicas

Son aquellas que constan Son aquellas que constan

Proposiciones atómicas relacionales

Proposiciones atómicas relacionales

Clases de proposiciones moleculares

Clases de proposiciones moleculares

Clases de proposiciones disyuntivas

Son aquellas donde Son aquellas donde no

Clases de proposiciones moleculares

Clases de proposiciones moleculares

Clases de proposiciones moleculares

Clases de proposiciones moleculares

Вам также может понравиться