Professional Documents
Culture Documents
Enunciado y Proposiciones
Un enunciado es toda frase u oracin que seale alguna idea. Cumplen las
siguientes funciones:
a) Directiva. Su uso es dar ordenes o hacer pedidos. Ejemplos:
Qu hora es?, Cul es tu nombre?, Regresa de inmediato, No corras, etc
Conectivos lgicos
A. Negacin ( ): lgicamente se sigue a la regla: La negacin de una
proposicin verdadera es falsa. La negacin de una proposicin falsa es
verdadera.
Tabla de verdad
p
~p
Ejemplo:
No es cierto que Luis es profesor
B. Conjuncin (
): Presenta como conectiva a la y, puede ser
reemplazada por: pero; aunque; sin embargo. Su veracidad esta dad
por:
Tabla de verdad
p
Ejemplo:
Francisco Bolognesi es peruano
p
Ejemplo:
Laura canta
p
baila
q
p q
Ejemplo:
O la ventana esta abierta o la ventana esta cerrada
p
Tabla de verdad
p
p q
Ejemplo:
Si estudio entonces ingresar a la Universidad.
p
p q
Ejemplo:
Ir al matrimonio s y slo s tenga ropa.
p
Ejemplo:
1. Hallar los valores de verdad de: p, q y r si la proposicin es falsa:
a)
b)
c)
d)
e)
VFV
VVV
FFF
FVF
VVF
FFF
VVV
VFF
FVF
FVV
[p
F
F
(p
q)
(pq)
Leyes
De Morgan
Del condicional
De la Bicondicional
Lgica de clases
Entindase por clase o conjunto a cualquier agrupacin o coleccin de
elementos concretos o abstractos que tienen propiedades comunes.
Proposicin categrica: es la proposicin que afirma o niega una relacin de
inclusin o exclusin, total o parcial entre conjuntos o clases.
De acuerdo a su cantidad:
De acuerdo a su calidad:
UNIVERSAL
Todos los futbolistas son
deportistas
Ningn perro es ave
AFIRMATIVA
Algunas seoras son
secretarias
Todos los profesores son
buenos
PARTICULAR
Algunas mujeres son bonitas
Algunos autos no usan gas
NEGATIVA
Ningn peruano es cobarde
Algunos felinos no son gatos
Diagrama de Venn
Una clase puede representarse mediante el diagrama de Venn, la clase P
puede representarse por el diagrama siguiente.
P
No se sabe si hay o no elemento alguno
P
No tiene elemento (est vaca)
P
X
Ejemplos:
A) Todos los peruanos
P
son
honestos
H
C) Algunos norteos
son
osados
O
D) Algunas
personas
no son
simpticas
Negacin
V
x
L
L
L
L