Está en la página 1de 16

SESIN 01

PROPOSICIONES
LGICAS.
2016-II

Logro para el da de hoy


Al finalizar la sesin de clase
el
estudiante
formaliza
correctamente
las
proposiciones
lgicas
relacionadas con las ciencias
de su carrera.

Mapa de Contenidos

Enunciados
Proposiciones
Qu son las
Proposiciones Lgicas?

Cmo se clasifican
las proposiciones?

P. Simples
P. Compuestas

Conjuncin
Disyuncin
Implicacin

Qu son los conectivos


lgicos?

Cmo se
formaliza una
Proposicin
Lgica?

Qu estudia la Lgica?
La Lgica aparece cuando el hombre primitivo tiene la capacidad de razonar y obtener
deducciones o inferencias.
Como ciencia formal aparece hace 2500 aos en la poca de Aristteles
Estudia la forma del razonamiento
Es una disciplina que por medio de reglas, leyes y tcnicas determina si un argumento
es vlido ( V F).
La aplicacin lgica es el anlisis y la construccin de argumentos
4

Qu son las Proposiciones Lgicas?


Es una expresin lingstica del juicio a travs de propuestas
DECLARATIVAS O ASEVERATIVAS es decir que se afirma o niega
algo de alguien o de algo.
Si la expresin no afirma, ni niega algo, si es ambigua o relativa,
entonces se llama ENUNCIADO.
Las proposiciones se representan, por lo general, con letras
minsculas: p; q; r; s

Ejemplos de Proposiciones Lgicas


a) Enunciados aseverativos:
o Lima tiene ms habitantes que Arequipa
o Las ballenas azules no estn en peligro de extincin ( F )

(V)

b) Leyes cientficas:
o F=m.T
o E = m. c 2

(F)
(F)

c) Enunciados cerrados:
o x+3 = 7 si x= 1
o x 2 4 = 0 si x = - 2

(F)
(V)
6

Ejemplos de Enunciados
1. Splicas:
Puedo darle un consejo!

2. rdenes:
No puedes manejar sin brevete!

3. Preguntas:
Cmo te llamas?

4. Refranes :
Perro que ladra, no muerde.

5. Enunciados abiertos :
x + 6 = 25

6. Apreciaciones personales:
Creo que este cuaderno es bonito.
7

Clases de Proposiciones

Simples o
atmicas

Carecen de
conectores
lgicos.

No pueden
dividirse en ms
de dos
proposiciones.

Compuestas o
moleculares

Estn unidos
por
conectores
lgicos.

Pueden ser
separadas en
ms de una
proposicin
simple.
8

Cules son los Conectivos Lgicos?


Conectores

Smbolo

Trmino

Conjuncin

Disyuncin dbil o inclusiva

Disyuncin fuerte o exclusiva

Oo

Condicional o implicacin

Si entonces

Replicador

si
9

Cules son los Conectivos Lgicos?


Conectores

Smbolo

Bi condicional o bi implicador

Trmino
si y slo si

In alterador

ni, ni

In compatibilizador

es in compatible con

Negacin

No

La lectura de otros trminos aparecen en su manual, adems lo tienen en el


Campus Virtual
10

Cmo se determina el valor de verdad de una


Proposicin Lgica Compuesta?
Se determina el
valor de verdad
de cada
proposicin

Se determina el
conectivo usado

Se usa las tablas


de verdad

EJEMPLO
La Universidad Autnoma del Per tiene su sede principal en el distrito de Villa El Salvador y ofrece
11 carreras profesionales.

La Universidad Autnoma del Per tiene su sede principal


en el distrito de Villa El Salvador (V)

(V)Y(V)
(V)

La Universidad Autnoma del Per ofrece 11 carreras


profesionales (V)

CONECTIVO
Y
11

Tabla de Verdad
p

pq

pq

pq

pq

pq

pq

pq

pq

12

Cmo se formaliza una Proposicin Lgica?


La formalizacin consiste en pasar de un lenguaje verbal a un lenguaje
formal, utilizando variables y conectores lgicos.
El proceso es:
Identificar las proposiciones simples.

Identificar los conectores lgicos.

Agrupar usando los signos de agrupacin.

13

Ejemplos de Formalizacin
2 no es un nmero impar y 3 no es par.
p: 2 es un nmero impar


: no

: y

: no

q: 3 es un nmero par

La capital de Canad es Ottawa, pero la

capital de Mosc es Rusia


p: La capital de Canad es Ottawa
pero: y

q: La capital de Mosc es Rusia


14

Bibliografa Consultada
Acua, C., Alfaro, J. (2015). Matemtica Bsica. Lima: UA
Acua, E., Castillo, M., DOnofrio, S., Galarza,B., Guzman, A., Lastres, P.,
Rosales, D., & Villanueva, E. (2014). Lgica y Epistemologa. Lima: PUCP.

15