Documente Academic
Documente Profesional
Documente Cultură
La lgica matemtica es un campo de las matemticas que estudia los sistemas formales.
La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. La lgica matemtica fue tambin llamada lgica simblica, en oposicin a la lgica filosfica. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica".
la siguiente manera:
a) ENUNCIADO EXCLAMATIVO
Expresa de forma intensa una emocin o sentimiento Ejemplos: Hola ! Viva el Per!
b) ENUNCIADO INTERROGATIVO
Dicese de aquella expresin que denota inquietud Ejemplos: Cmo te llamas? Qu hora es?
c) ENUNCIADO IMPERATIVO
d) ENUNCIADO DESIDERATIVO
Llamaremos enunciados abiertos a las expresiones que presenten variables de tipo matemtico o lingstico.
3. - PROPOSICIONES
Llamaremos proposicin a una expresin, enunciado u oracin a la que se le puede calificar como verdadera o falsa sin ambigedad. Las proposiciones lgicas se denotan generalmente por letras minsculas como: p , q , r, ... , z Las letras del alfabeto que denotan proposiciones lgicas se denominan variables proposicionales. Las proposiciones lgicas se clasifican en: - Proposiciones simples - Proposiciones compuestas
PROPOSICIN SIMPLE
Es aquella que no contiene ningn conectivo o aquella que tiene un slo sujeto y un slo predicado. Ejemplos: Juan estudia matemtica
PROPOSICIN COMPUESTA
Es aquella que contiene al menos un conectivo que une dos o ms proposiciones simples. Ejemplos: Juan estudia y trabaja
CONECTIVOS LGICOS
Son palabras que se utilizan para crear proposiciones compuestas a partir de proposiciones simples. Los conectivos ms usuales son: Conectivo
Conjuncin
Smbolo
Se lee
y o O o . Si entonces
Bicondicional
si y solo si