docoo
Bienvenidos a Docoo.es
En esta página se trata de exponer:
  • contenido didáctico
  • Ejemplos de estos contenidos aplicados.
  • Personas que intervinieron en mayor o menor medida al desarrollo y descubrimiento de estos, de manera tanto directa como indirecta.

Todo tratando de ser una página lo más estática posible y firme, así como dinámica en cuanto al agregado.

Algoritmia

2021-03-08

Es la ciencia que estudia la mecanización de los desarrollos lógicos.

Contrarecíproco

2021-09-09

$p \rightarrow q $ es equivalente a $¬q \rightarrow ¬p $ y nuevamente $ ¬(¬p) \rightarrow ¬(¬ q ) $.
Cada expresión es la contrarecipróca de la anterior.
Por su equivalencia, cualquiera de estas expresiones que se demuestre es lo mismo que que demostrar cualquiera de las otras pero a veces es más fácil hacer la demostración de una que de otra.

Lenguaje máquina

2021-03-03

Es el lenguaje que utiliza una máquina para comunicarse con exterior y comunicarse internamente.

Razonamiento

2021-02-28

Un razonamiento es el camino que utilizamos para llegar a la conclusión partiendo de premisas.

Elemento

2021-02-25

También llamado objeto, es todo ente que consideremos de manera individual . Se denotan por letra minúscula de manera general.

Conclusión

2021-09-07

En un razonamiento se parte de unas premisas base que se consideran como ciertas(axiomas) de las cuales derivan otras premisas , la última premisa (puede ser la deseada o no) se conoce como conclusión.

Intersección $( \cap )$

2021-03-01

documentacion/dicc/algebra/th_de_conjuntos/interseccion/img_0.svg

Sean dos conjuntos $A$ y $B$ definimos el conjunto intersección $(A \cap B )$ como el conjunto formado por los elementos que se encuentran en $A$ y en $B$.

Conectores

2021-03-17

En la lógica, así como en el lenguaje cotidiano una misma frase puede contener varias indicaciones, estas indicaciones, van unidas por conectores como "y" , "o", etc...
En la lógica proposicional son los siguientes:

Unión $( \cup )$

2021-02-28

documentacion/dicc/algebra/th_de_conjuntos/union/img_0.svg

Sean dos conjuntos $A$ y $B$ definidos, el conjunto $(A \cup B)$ es el conjunto formado por los elementos de $A$ y los elementos de $B$.

Formalizar

2021-08-24

Traducir del lenguaje natural al lenguaje formal.

Álgebra

2020-12-14

El álgebra es una herramienta de desarrollo abstracto.

--