Escolar Documentos
Profissional Documentos
Cultura Documentos
CAPITULO 1
1
Lógica
Conceptos primitivos
Los valores de verdad VERDADERO y FALSO son los conceptos
primitivos de la lógica.
Proposición
Una proposición es una sentencia (expresión) sujeta a un valor de verdad.
Usualmente se denotan por letras minúsculas , , , , etc.
2
Lógica
Conectivos lógicos
Un conectivo lógico es una operación que nos permite obtener nuevas
proposiciones a partir de otras dadas. Los conectivos básicos son:
negación ( ) (“no”)
conjunción ( ) (“y”)
disyunción ( ) (“o”)
condicional ) (“entonces”)
3
Lógica
Tipos de proposiciones
Las proposiciones se clasifican en simples y compuestas, vale decir, las
que no incluyen conectivos lógicos, y las que sí los incluyen.
4
Lógica
Negación ( )
proposición “no ”. Esto significa que es si es , y es si
es .
TABLA DE VERDAD
5
Lógica
Conjunción ( )
Dadas dos proposiciones y , la conjunción de ellas es la proposición
“ y ”, la cual se escribe . Así, es si ambas lo son, y es
si al menos una de ellas lo es.
TABLA DE VERDAD
6
Lógica
Disyunción ( )
“ o ”, la cual se escribe . Así, es si al menos una de ellas
lo es, y es si ambas lo son.
TABLA DE VERDAD
7
Lógica
Condicional ( )
Dadas dos proposiciones y , la condicional de ellas es la proposición
“si entonces ”, la cual se escribe . Aquí, se llama antecedente
y consecuente. También, se lee “ es condición suficiente para
”, o bien “ es condición necesaria para ”. Así, es sólo si es
y es .
TABLA DE VERDAD
8
Lógica
Bicondicional ( )
Dadas dos proposiciones y , la bicondicional de ellas es la proposición
“ sí y sólo sí ”, la cual se escribe . También, se lee “ es
condición necesaria y suficiente para ”. Así, es sólo si ambas
proposiciones tienen el mismo valor de verdad.
TABLA DE VERDAD
9
Lógica
Definiciones varias
Una proposición compuesta se dice una:
cualesquiera sean los valores de verdad de las proposiciones
simples que la componen.
10
Lógica
Implicación lógica
Dadas dos proposiciones y , se dice que implica lógicamente , si
es una tautología. En tal caso se escribe y se lee “ implica
”.
Equivalencia lógica
Dadas dos proposiciones y , se dice que ellas son lógicamente
equivalentes, si es una tautología. En tal caso se escribe y
se lee “ es equivalente a ”.
11
Lógica
(doble negación)
(conmutatividad de )
(conmutatividad de )
(conmutatividad de )
(asociatividad de )
(asociatividad de )
(asociatividad de )
12
Lógica
(distributividad de con respecto a )
(distributividad de con respecto a )
(contrarecíproca)
13
Lógica
Función proposicional
Se llama función proposicional (o enunciado abierto) a una expresión
que contiene una o más variables, y tal que ella se convierte en una
proposición lógica cuando se le asignan valores expecíficos a dichas
variables.
Conjunto de validez
Se llama Conjunto de validez de una función proposicional , y se denota
por , al conjunto de valores (o -uplas de valores) para los cuales dicha
función es verdadera.
14
Lógica
Cuantificadores lógicos
cualquier elemento de un determinado conjunto se usa el
símbolo , el cual se llama cuantificador universal.
algunos elementos de un determinado conjunto se usa el
símbolo , el cual se llama cuantificador existencial.
único elemento de un determinado conjunto se usa el símbolo .
15
Lógica
variable (en tal caso se escribe ).
se lee “para todo en , es verdadera”.
se lee “existe en tal que es verdadera”.
Negaciones importantes
16
Conjuntos
Idea de Conjunto
Llamaremos conjunto a cualquier colección de objetos. Los objetos los
llamaremos elementos del conjunto. Dos conjuntos importantes son el
conjunto vacío, que no contiene elementos, y el conjunto universo, que
contiene todos los elementos.
Notación
Los conjuntos:
!
""
"
Los elementos:
%
$#
""
"
pertenece a :
#
&
no pertenece a :
#
Conjunto vacío:
'
Conjunto universo:
(
17
Conjuntos
Definición de un conjunto A
&
)
Dado y un conjunto : .
(
Si esta pregunta puede responderse siempre, entonces
Por extensión, vale decir mostrando los elementos de .
32
Números naturales
0/
1
-,+*
4
5
.
""
"
;
% #
Números racionales
0/
7
%
9
-,+*
:
.
$#
18
Conjuntos
Inclusión de conjuntos
Dados dos conjuntos y , se dice que es subconjunto de , y se
!
<
escribe , si todos los elementos de están también en , esto es:
!
!
!
<
!
Propiedades de la inclusión
(
<
=
<
<
=
!
<!
19
Conjuntos
Igualdad de conjuntos
Dados dos conjuntos y , se dice que y son iguales, y se escribe
!
, si los elementos de y coinciden, esto es:
!
!
!
<
!
<!
Dado un conjunto , se define el conjunto de las partes de , y se denota
, como el conjunto de todos los subconjuntos de , esto es:
>
?2
6
>
?
<
'
>
>
20
Conjuntos
Sea el conjunto universo, y sean , subconjuntos de .
(
(
La diferencia de y es el conjunto
!
2
6
A@
!
(
!
B
El Complemento de con respecto a , el cual se denota
(
@ C
(o bien , ), es el conjunto , vale decir:
@(
2
6
B
@(
(
Algunas propiedades
B
Para todo se tiene:
(
B'
'
(
B(
B
B
21
Conjuntos
Sea el conjunto universo, y sean , subconjuntos de .
(
(
ED
La intersección de y , la cual se denota , es el conjunto de
!
todos los elementos comunes a y , esto es
!
2
6
!
(
!
D
EF
La unión de y , la cual se denota , es el conjunto de todos
!
!
6
EF
!
(
22
Conjuntos
Propiedades de y
D
F
EF
(idempotencia)
D
EF
(conmutatividad de y )
!
F!
D!
D
F
D
=
F!
EF
EF
(asociatividad de )
=
F!
F
=
D! (asociatividad de )
=
D!
D
D
D
=
D!
=
EF
EF
EF
D!
D
=
F!
=
F!
D
D
D
F
B!
EF
D B
(Ley de De Morgan)
B!
B!
F B
(Ley de De Morgan)
B!
D
23
Conjuntos
Más definiciones
Dos conjuntos y se dicen disjuntos sí y sólo sí .
'
!
!
D
Dados dos conjuntos no vacíos y , se define el Producto
HG
Cartesiano de ellos, el cual se denota por , como el conjunto
!
%
de todos los pares ordenados tales que pertenece a y
%
$#
#
pertenece a , esto es
!
%
6
HG
%
!
!
$#
#
JI
L JK
M
N
Dados n conjuntos no vacíos , se define el Producto
LL
IJG
KJG
M
N
Cartesiano de ellos, el cual se denota por , como
"G
""
el conjunto de todas las -uplas ordenadas tales que
OI#
M#
LL #K
L
32
6
P
LL
L
2
32
6
6
IJG
KG
M
P
Q
"G
IO#
L KO#
M#
#P
""
LL
LL
L
24
Conjuntos
Partición de un conjunto
JI
L JK
M
N
Sean subconjuntos de un conjunto . Se dice que
!
M LL
6
2
I
L JK
!
LL
!
y sólo sí:
32
6
P
, para cada .
'
Q
LL
L
P D
RJ
+
para cada .
'
Q
TSP M
P
.
!
F
I
25
Conjuntos
Cardinalidad
El número de elementos de un conjunto finito
U se llama cardinalidad de
U
y se denota .
Propiedades
!U
U
VWU
U
!U
EF
Si y son conjuntos disjuntos, entonces .
!
!U
U
VWU
U
@ !U
U
!U
EF
.
D
=U
U
V U
U
V !U
U
@ =U
U
@ !U
U
@ =U
U
V =U
U
L =U
F
D
D
D
F!
D!
D!
26