log0 class21

12
UNIVERSIDAD FRANCISCO GAVIDIA LÓGICA PROPOSICIONAL

Upload: jorge-juarez

Post on 18-Jul-2015

3.934 views

Category:

Education


0 download

TRANSCRIPT

Page 1: Log0 class21

UNIVERSIDAD FRANCISCO GAVIDIA

LÓGICA PROPOSICIONAL

Page 2: Log0 class21

LÓGICA SIMBÓLICA

Page 3: Log0 class21

LÓGICA SIMBÓLICA

• La lógica simbólica, se caracteriza por el empleo de símbolos como lo hacen otras ciencias, como lamatemática.

• Estos símbolos permiten la formación de modelos formales para representar argumentos; por mediode estas representaciones lógicas se facilita en gran medida el desarrollo y explicación de lasdemostraciones.

• La lógica simbólica, también se llama matemática o logística, comprende la lógica proposicional y lalógica cuantificacional.

Page 4: Log0 class21

Se llama cálculo proposicional a la operación, semejante a la que hacen lasmatemáticas, donde, de ciertos enunciados o premisas se pueden obtenercomo conclusiones otros enunciados, aplicando reglas o leyes establecidas.

Podríamos decir que el calculo proposicional es como un lenguaje simbólicoformalizado estudia las relaciones lógicas que se establecen entre laspremisas y las conclusiones de un determinado argumento o razonamiento.

Page 5: Log0 class21

PROPOSICIONES

Una proposición o enunciado es el significado de cualquier frase declarativa (oenunciativa) que pueda ser o verdadera (V) o falsa (F).Nos referimos a V o a F como los valores de verdad del enunciado.»

«Es una expresión u oración declarativa que puede ser verdadera o falsa ensentido excluyente.»

Page 6: Log0 class21

EJEMPLOS DE PROPOSICIONES

• Luis y Jaime estudian Ingeniería en sistemas.• Dos más dos es cuatro.• En Ganímedes hay seres vivos.• No me gusta estudiar.• Yo me caso mañana.• Olga regresa mañana.• La lógica es una ciencia formal.• Necesito estudiar Matemática.

Page 7: Log0 class21

ENUNCIADO Y JUICIO

• El acto mental que tiene como resultado una proposición o enunciado sedenomina juicio (sustantivo, del verbo enjuiciar).

• La expresión verbal de un juicio es un enunciado.

JUICIO (FORMA DEL PENSAMIENTO)--- PROPOSICION (Enunciación)

Page 8: Log0 class21

ESQUEMAS PROPOSICIONALES

Tienen la forma de proposiciones simples, pero realmente no lo son.Ejemplo:

• El árbol es verde• El 22 de noviembre fue jueves• X= 3¿Cómo convertir el siguiente esquema en una proposición verdadera?• (x-3) (x+2)

Page 9: Log0 class21

CLASIFICACIÓN DE LAS PROPOSICIONES

A) SIMPLES O ATÓMICASB) COMPUESTAS O MOLECULARES

SIMPLES O ATÓMICASLas proposiciones simples o atómicas no se componen de más proposiciones ycarecen de términos de enlace o conectivos, excepto la negación; por ejemplo.• El átomo es una molécula.• Juan es Publicista.

Page 10: Log0 class21

PROPOSICIONES COMPUESTASLas proposiciones compuestas o moleculares, como su nombre lo indica, secomponen de dos o más proposiciones simples y, además, como rasgodistintivo tienen términos de enlace o conectivos lógicos: “y”, “si y solo si”,“o” “No es” “ Si…. Entonces”, etc.

EJEMPLOS:• La lógica es una ciencia formal y la matemática lo es también.• La tierra es un planeta si y solo si la tierra gira alrededor del Sol• No es cierto que el acido sulfúrico no corroa la madera

Page 11: Log0 class21

DIMENSIONES DEL LENGUAJE- La sintaxis- Semántica- Pragmática

SINT

AXIS Se refiere a la

relación que se establece entre los signos de un lenguaje. SE

MÁN

TICA Se refiere a las

relaciones de los signos con sus correspondientes significados. PR

AGM

ÁTIC

A Alude a la relación entre los signos y los contextos y circunstancias en que se desenvuelven los usuarios de dichos signos.

Page 12: Log0 class21

• Dudas y/o comentarios, escribir a correo electrónico o por medio de la plataforma.