| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 1 Visitante están viendo este foro. | ||||
|
|
Logica proposiciona, contrareciproco
Iniciado por stricksda |
4 Respuestas
4,484 Vistas |
29 Septiembre, 2021, 08:08 pmpor stricksda |
|
|
|
Igualdad entre descriptores
Iniciado por Eparoh |
4 Respuestas
1,545 Vistas |
22 Septiembre, 2021, 08:19 pm por Eparoh |
|
|
|
8 Respuestas
1,397 Vistas |
12 Septiembre, 2021, 05:22 pm por Eparoh |
|
|
|
|
13 Respuestas
1,906 Vistas |
10 Septiembre, 2021, 02:11 pm por Carlos Ivorra |
|
|
|
|
9 Respuestas
1,929 Vistas |
04 Septiembre, 2021, 01:47 pm por Carlos Ivorra |
|
|
|
|
11 Respuestas
2,002 Vistas |
01 Septiembre, 2021, 09:22 pm por Eparoh |
|
|
|
|
4 Respuestas
1,534 Vistas |
25 Agosto, 2021, 01:52 pm por Eparoh |
|
|
|
|
8 Respuestas
1,817 Vistas |
20 Agosto, 2021, 03:22 pm por Carlos Ivorra |
|
|
|
|
Interpretación de una fórmula
Iniciado por Álvaro Soler |
0 Respuestas
1,385 Vistas |
25 Julio, 2021, 09:31 pm por Álvaro Soler |
|
|
|
Geometría axiomática
Iniciado por Marco Uriel |
5 Respuestas
1,791 Vistas |
14 Julio, 2021, 05:22 pm por argentinator |
|
|
|
5 Respuestas
2,492 Vistas |
28 Mayo, 2021, 09:48 pm por geómetracat |
|
|
|
|
Lógica de las relaciones con Identidad
Iniciado por Slaut |
3 Respuestas
1,905 Vistas |
20 Mayo, 2021, 08:13 pm por geómetracat |
|
|
|
Inferencia logica
Iniciado por xdemorfeox |
2 Respuestas
1,866 Vistas |
15 Mayo, 2021, 06:01 pm por geómetracat |
|
|
|
8 Respuestas
3,054 Vistas |
07 Mayo, 2021, 10:11 pm por manooooh |
|
|
|
52 Respuestas
13,332 Vistas |
02 Mayo, 2021, 08:38 pm por geómetracat |
|
|
|
|
Forma normal disyuntiva completa
Iniciado por KatherineR |
1 Respuestas
1,980 Vistas |
21 Abril, 2021, 06:05 pm por manooooh |
|
|
|
Demostración aplicativa Isabelle
Iniciado por Ricardo Boza |
1 Respuestas
2,285 Vistas |
15 Abril, 2021, 05:42 pm por geómetracat |
|
|
|
Programa Isabelle HOL (ii)
Iniciado por Ricardo Boza |
0 Respuestas
1,992 Vistas |
07 Abril, 2021, 09:01 pm por Ricardo Boza |
|
|
|
Proposicion logica
Iniciado por Julio_fmat |
3 Respuestas
2,116 Vistas |
01 Abril, 2021, 01:09 am por mathtruco |
|
|
|
Árbol de análisis
Iniciado por Ricardo Boza |
3 Respuestas
2,596 Vistas |
30 Marzo, 2021, 08:14 pm por Ricardo Boza |
|
|
|
erule, drule
Iniciado por Ricardo Boza |
0 Respuestas
1,976 Vistas |
30 Marzo, 2021, 12:09 pm por Ricardo Boza |
|
|
|
Programa Isabelle HOL
Iniciado por Ricardo Boza |
0 Respuestas
2,050 Vistas |
28 Marzo, 2021, 07:28 pm por Ricardo Boza |
|
|
|
Proposiciones con cuantificadores: ¿Un problema?
Iniciado por manooooh |
5 Respuestas
2,883 Vistas |
15 Marzo, 2021, 05:02 pm por feriva |
|
|
|
Ejercicio de lógica
Iniciado por Slaut |
4 Respuestas
2,788 Vistas |
11 Marzo, 2021, 06:37 pm por Slaut |
|
|
24 Respuestas
4,275 Vistas |
03 Febrero, 2021, 09:23 pm por C. Enrique B. |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
