Lgica Matemtica

1. Tautologa
s
2. Contradicc
in
3. Contingen

Propiedades de los Operadores Lgicos

de los Operadores Fundamentales Conjuncin y Disy

Leyes de los Operadores Fundamentales Negacin,

Condicional y Bicondicional

Demostraciones de las Propiedades o

Leyes de Operadores Lgicos
Estas demostraciones se pueden efectuar partiendo del
primer miembro y llegar al segundo o partiendo del
segundo y llegar al primero. En la parte derecha se
escribe el nombre de la ley que justifica ese paso.

Utilizando las leyes de la lgica para realizar las

respectivas demostraciones:

Cuantificadores
Cuantificador universal y existencial
Existen especialmente en matemticas, expresiones que
contienen variables tales como x, y, z, etc., para las cuales su
valor de verdad depende del valor que tome la variable.

La palabra para todo significa que todos verifican la condicin. Los

cuantificadores de la forma todos se llaman cuantificadores universales
y se representan as: .
Significa que algn x verifica la
ecuacin.

palabra algunos(s) significa que por lo menos uno verifica la

La
condicin. Los cuantificadores de la forma existe por lo menos uno, y se
llaman cuantificadores
existenciales y se representan as: .