16850299
Descripción
Mapa Mental por Jose Alvarado, actualizado hace más de 1 año
|
Creado por Jose Alvarado
hace más de 5 años
|
|
Proposiciones e Inferencias Lógicas
- Lógica
- Proposiciones Lógicas
- Enunciados que puedan
ser verdaderos o falsos
- Enunciado Cerrado
- Proposiciones Lógicas
(Verdadero o Falso)
- Proposiciones Lógicas
(Verdadero o Falso)
- Enunciado Abierto
- Función Proporcional
(Posee Variables)
- Función Proporcional
(Posee Variables)
- Tipos de
Proposiciones
- Simples
- Uno mas uno es dos
- Uno mas uno es dos
- Compuesta
- Pedro estudia y trabajo
- Cuando son compuestas se
utilizan Conectores Lógicos
- Conjunción
- Disyunción
- Condicional
- Bicondicional
- Disyunción Exclusiva
- Negación
- A partir de este conjunto de conectivos
se definen dos tipos de lenguajes
- Lenguaje Natural
- Lenguaje Gramatical
- Lenguaje Gramatical
- Lenguaje Formal
- Lenguaje de Símbolos
- Servirá Para formalizar
Proposiciones
- Finalmente tenemos las Leyes
Lógicas que sirven para simplificar
- Finalmente tenemos las Leyes
Lógicas que sirven para simplificar
- Servirá Para formalizar
Proposiciones
- Lenguaje de Símbolos
- Además podemos determinar
la Tabla de la verdad
- Mediante la Fórmula donde el número
Filas = 2 elevado al numero de
proposiciones
- Mediante la Fórmula donde el número
Filas = 2 elevado al numero de
proposiciones
- Lenguaje Natural
- Conjunción
- Cuando son compuestas se
utilizan Conectores Lógicos
- Pedro estudia y trabajo
- Simples
- Enunciados que puedan
ser verdaderos o falsos
- Inferencias Lógicas
- Razonamiento
- Notacion
- Demostración del
Razonamiento
- Luego de demostrar el razonamiento
tomando en cuenta las reglas
- Demostraciones Formales
- Demostraciones Formales
- Luego de demostrar el razonamiento
tomando en cuenta las reglas
- Demostración del
Razonamiento
- Notacion
- Se refiere a un
razonamiento
deductivo
- Razonamiento
- Se entiende por el
sentido o validez de de
un argumento
- Proposiciones Lógicas
Recursos multimedia adjuntos
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.