LOGO

LGICA
DOCENTE: PATRICIA ISABEL AGUILAR INCIO.

CICLO 2012 I

AGENDA

Universidad Metropolitana
Enseando el camino

Lgica
Principios Lgicos
Proposicin
Conectivos
Cuantificadores Lgicos
Tablas de verdad
Funciones proposicionales

LGICA Y PRINCIPIOS
LGICOS

Universidad Metropolitana
Enseando el camino

Lgica : es una ciencia formal, que

estudia las estructuras del
razonamiento estableciendo su
validez o invalidez.

Principios Lgicos: son reglas

operantes que rigen toda forma
correcta de pensamiento.

PRINCIPIOS LGICOS

Universidad Metropolitana
Enseando el camino

a) Principio de Identidad
Afirma que toda cosa es lo que es.
frmula: A es A
Ejemplo:
El crculo es redondo
El hombre es un animal racional

Universidad Metropolitana
Enseando el camino

b) Principio de contradiccin
Es imposible que algo sea al mismo
tiempo verdadero y falso.
frmula: A es A y A no es A
Ejemplos:
El crculo no es redondo
El hombre no es un animal racional

Universidad Metropolitana
Enseando el camino

c) Principio de exclusin del trmino

medio.
Dos proposiciones contradictorias no
pueden ser ambas falsas, ni ambas
verdaderas.
frmula: A es, o A no es A
Ejemplo:
El sol es una estrella.

Universidad Metropolitana
Enseando el camino

d) El principio de razon suficiente

Guillermo Leibniz formul este
principio de la forma siguiente:
"Todas las cosas deben tener una
razn suficiente por la cual son los
que son y no otra cosa"
Ejemplo:

El cuadrado de la hipotenusa es igual a

la suma de los cuadrados de los otros
dos catetos.

PROPOSICIN

Es un enunciado

Universidad Metropolitana
Enseando el camino

No son proposiciones
que puede ser
Qu hora es?
verdadero o falso,
Por favor, cierre la
PERO NO AMBOS.
puerta
Ejemplos:
La responsabilidad
La luna es cuadrada es lo mas hermoso
de un hombre.
7 es un nmero
Manco Capac fund
primo
el cuzco
Las araas son
mamferos

PROPOSICIN
SIMPLE

Universidad Metropolitana
Enseando el camino

O
ATMICA

Carece de conector.
Se simboliza con una letra.
Ejemplo:
12-7=5
Lima es la capital del Per.
Yadira es ingeniera empresarial.

PROPOSICIN
COMPUESTA
O
MOLECULAR

Universidad Metropolitana
Enseando el camino

Presenta conectores.
Se simboliza con dos o mas letras.
Ejemplos:
Erica es arquitecta y Fernando es
Ingeniero empresarial.
Elsa estudia, Rosa trabaja y Andreina
juega voley.
Si apruebo el examen es porque he
estudiado.

CONECTIVOS

Universidad Metropolitana
Enseando el camino

Une dos o mas proposiciones atmicas

para formar una proposicin molecular.
Los conectivos son:
Conjuncin
( ^ )
Disyuncin inclusiva ( v )
Disyuncin exclusiva ( )
Negacin
( ~ )
Condicional
(
)
Bicondicional
(
)

CUANTIFICADORES

Universidad Metropolitana
Enseando el camino

son smbolos utilizados para indicar cuntos

o qu tipo de elementos de un conjunto
dado cumplen con cierta propiedad.
Cuantificador universal : se utiliza para
afirmar que todos los elementos de un
conjunto cumplen con una determinada
propiedad

Cuantificador existencial :se usa para

indicar que hay uno o ms elementos en
un determinado conjunto.

Universidad Metropolitana
Enseando el camino

TABLAS DE VERDAD

NEGACIN

Universidad Metropolitana
Enseando el camino

A esta tabla se le
llama tabla de
certeza de la
negacin

~p

SINNIMOS DE
NEGACIN

Universidad Metropolitana
Enseando el camino

No es cierto que ..
No es el caso que
Es falso que
No sucede que.

Universidad Metropolitana

Conjuncin
Para construir la

tabla de p q,
debemos
considerar las
diferentes
alternativas de
valores de verdad
para p y para q:
Cules son ?
Ambas verdaderas
una V y la otra F
ambas falsas

Enseando el camino

pq

SINNIMOS DE
CONJUNCIN

Adems
Pero
Sin embargo
Aunque

Universidad Metropolitana
Enseando el camino

Tambin
An
A la vez
No obstante

Universidad Metropolitana

Disyuncin

Si p y q son
proposiciones
, se llama
disyuncin de
p y q a la
proposicin
compuesta
p o q y se
denota por:
pq

Enseando el camino

pq

Universidad Metropolitana

Condicional

Veamos la tabla

Enseando el camino

del condicional:

pq

pq

Conviene pensar
en una promesa
..... Si no llueve
(entonces) iremos
a la playa

Universidad Metropolitana

CONDICIONAL

El condicional es
falso, slo cuando el
antecedente es
verdadero y el
consecuente es
falso.

Enseando el camino

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

SINNIMOS DE
CONDICIONAL

Universidad Metropolitana
Enseando el camino

p es condicin suficiente para q

Si p, q
q si
p
Que p supone que q
Cuando p, q
q es condicin necesaria para p
En caso de que p entonces q
q slo si p

Universidad Metropolitana

BICONDICIONAL

Enseando el camino

La bicondicional es verdadero, slo cuando el antecedente y el

consecuente son iguales .
ie:
VV V
FF V

p
V
V
F
F

q
V
F
V
F

q
V
F
F
V

RECUERDA

Universidad Metropolitana
Enseando el camino

Una tabla de verdad para proposiciones

compuestas que contienen:

1 proposicin simple
2 proposiciones simples
3 proposiciones simples
4 proposiciones simples

2 = 21 filas
4 = 22 filas
8 = 23 filas
16= 24 filas

razonando inductivamente..

n proposiciones simples

2n filas

RECUERDA
UNIVERSAL AFIRMATIVO
Cada uno de los x
Cualquier x
Para todo x
Para cada uno de los x
Todos y cada uno de los x
El 100% de x
Todos sin excepcin de los
x
Para cualquier x
Dado cualquier x

Universidad Metropolitana
Enseando el camino

UNIVERSAL
NEGATIVO

Ningn x
Ni siquiera un x
Nadie que sea x
Ni al menos un x

RECUERDA
EXISTENCIAL
Existe un x
Hay x
Pocos x
Algunos x
Mas de dos x
Casi todos x
Ciertos x
Muchos x
Varios x

Universidad Metropolitana
Enseando el camino