12219292
Description
Mind Map by Tatiana Escobar, updated more than 1 year ago
|
|
Created by Tatiana Escobar
almost 7 years ago
|
|
Lógica y calculo
proposicional
- !. Lógica
- ue significa
RAZÓN
- Es considerada una ciencia.
Cuyo objetivo de estudio son
los principios de demostración
que permitan comprobar que
una afirmación pueda ser
considerada como valida.
- Metodología
- Examinar la validez de
una afirmación por
medio de su estructura
- Examinar la validez de
una afirmación por
medio de su estructura
- Metodología
- ue significa
RAZÓN
- 2.. La proposición
o el enunciado
- Constituye una
oración que tiene
un valor de verdad.
Es uno de los
elementos
fundamentales de
la lógica
- Clasificación
- Simples o
atómicas
- Están estructuradas por una
oración. Se representan, dando le
una variable proposicional: P= El
oro es un metal precioso.
- Están estructuradas por una
oración. Se representan, dando le
una variable proposicional: P= El
oro es un metal precioso.
- Compuestas o moleculares
- Están estructuradas por dos o
más preposiciones simples
unidas por operadores lógicos
- Pitágoras era griego y
geometra. P= Pitágoras era
griego. Q= Pitágoras era
geometra .
- Pitágoras era griego y
geometra. P= Pitágoras era
griego. Q= Pitágoras era
geometra .
- Están estructuradas por dos o
más preposiciones simples
unidas por operadores lógicos
- Simples o
atómicas
- Clasificación
- Constituye una
oración que tiene
un valor de verdad.
Es uno de los
elementos
fundamentales de
la lógica
- 3. Traducción del
lenguaje
- Lenguaje natural
- Lengua utilizada normalmente
(lenguas materna). Lengua que
hablamos en la vida cotidiana, en
este caso el español.
- Traducción
- g= Guadalarajara
gana el campeonato.
a= América gana el
campeonato.
- Guadalajara gana el
campeonato y América no
gana el campeonato.
- Guadalajara gana el
campeonato y América no
gana el campeonato.
- g= Guadalarajara
gana el campeonato.
a= América gana el
campeonato.
- Traducción
- Lengua utilizada normalmente
(lenguas materna). Lengua que
hablamos en la vida cotidiana, en
este caso el español.
- Lenguaje simbolico
- La lógica cuenta con un sistema
de símbolos. Para lograr
sencillez, claridad y exactitud.
- Operadores lógicos
- Son los símbolos que
permiten decidir que un
valor de verdad tiene una
preposición.
- Negación
- Doble negación
- Doble negación
- Conjunción
- Disyunción inclusiva
- Disyunción exclusiva
- Disyunción exclusiva
- Negación
- Son los símbolos que
permiten decidir que un
valor de verdad tiene una
preposición.
- Proposición condicionales
- Condicional o
implicación
- Bicondicional o equivalencia
- Condicional o
implicación
- Operadores lógicos
- La lógica cuenta con un sistema
de símbolos. Para lograr
sencillez, claridad y exactitud.
- Lenguaje natural
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.