6053341
Beschreibung
Mindmap von Javier Zapata Damian, aktualisiert more than 1 year ago
|
Erstellt von Javier Zapata Damian
vor mehr als 7 Jahre
|
|
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
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.