6053341
Description
Mind Map by Javier Zapata Damian, updated more than 1 year ago
|
Created by Javier Zapata Damian
over 8 years ago
|
|
RAZONAMIENTO LOGICO
- Cuantificadores
- Universal
- Indica que una proposicion es
verdadera para todos los
valores de una variable en un
"universo" en particular
- Indica que una proposicion es
verdadera para todos los
valores de una variable en un
"universo" en particular
- Existencial
- antepuesto a una variable para decir que
"existe" al menos un elemento del conjunto
al que hace referencia la variable, que
cumple la proposición escrita a
continuación.
- antepuesto a una variable para decir que
"existe" al menos un elemento del conjunto
al que hace referencia la variable, que
cumple la proposición escrita a
continuación.
- Universal
- Colectivos y
operadores
- Conjuncion
- Disyuncion
- Condicional
- Bicondicional
- Negacion
- Exclucion
- Conjuncion
- Proposiciones
- Una proposición o enunciado es una
oración que puede ser falsa o
verdadera pero no ambas a la vez.
- Una proposición o enunciado es una
oración que puede ser falsa o
verdadera pero no ambas a la vez.
- Formulas
proporcionales
- El significado de una proposición está dado por su
valor de verdad que se obtiene de la siguiente forma:
– las variables proposicionales pueden tomar
cualquier valor de verdad – ⊥ es falsa – los valores de
verdad de las fórmulas atómicas se extienden a las
fórmulas no atómicas de acuerdo al significado de los
conectivos que contienen. Convención: – 0 = Falso 1 =
Verdadero
- El significado de una proposición está dado por su
valor de verdad que se obtiene de la siguiente forma:
– las variables proposicionales pueden tomar
cualquier valor de verdad – ⊥ es falsa – los valores de
verdad de las fórmulas atómicas se extienden a las
fórmulas no atómicas de acuerdo al significado de los
conectivos que contienen. Convención: – 0 = Falso 1 =
Verdadero
- Tablas de la
verdad
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.