5259285
Description
Mind Map by Sergio RINCON BUITRAGO, updated more than 1 year ago
|
Created by Sergio RINCON BUITRAGO
about 8 years ago
|
|
Lógica matemática
- La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica
filosófica.
- suele dividirse en cuatro subcampos
- teoría de modelos, teoría de la
demostración, teoría de
conjuntos y teoría de la
recursión.
- se clasifican en
- Conjuncion
- La unión de dos proposiciones por "y" se llama
conjunción de dos proposiciones. Su forma
lógica se obtiene escribiendo únicamente la
conectiva lógica y omitiendo las proposiciones
simples
- La unión de dos proposiciones por "y" se llama
conjunción de dos proposiciones. Su forma
lógica se obtiene escribiendo únicamente la
conectiva lógica y omitiendo las proposiciones
simples
- Disyuncion
- Las proposiciones que están unidas por "o" se
llaman disyunción de dos proposiciones.
- Las proposiciones que están unidas por "o" se
llaman disyunción de dos proposiciones.
- Condicional
- La conectiva condicional es "si. .
. entonces. . .". La proposición
que está entre "si" y "entonces"
se llama antecedente, y la
proposición que sigue a
"entonces" se llama
consecuente.
- La conectiva condicional es "si. .
. entonces. . .". La proposición
que está entre "si" y "entonces"
se llama antecedente, y la
proposición que sigue a
"entonces" se llama
consecuente.
- Bicondicional
- Cuando las proposiciones están unidas por "si y
solo si" se llama proposición bicondicional.
- Cuando las proposiciones están unidas por "si y
solo si" se llama proposición bicondicional.
- Negacion
- La negación "no" es otro de los términos de enlace,
y se le denomina así, porque en lógica actúa
separada de la proposición. Las proposiciones que
llevan "no" se llaman proposiciones negativas.
- La negación "no" es otro de los términos de enlace,
y se le denomina así, porque en lógica actúa
separada de la proposición. Las proposiciones que
llevan "no" se llaman proposiciones negativas.
- Conjuncion
- se clasifican en
- teoría de modelos, teoría de la
demostración, teoría de
conjuntos y teoría de la
recursión.
- suele dividirse en cuatro subcampos
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.