Significado de los iconos que aparecen
en Aprende Lógica
|
Para facilitar la navegación por Aprende Lógica, hemos puesto, junto con algunos enlaces un pequeño icono que ayuda a identificar qué podemos esperar al hacer clic sobre dichos enlaces. Aquí tenemos la explicación de todos ellos:
Algunas actividades disponen de una serie de botones con los que podemos ejecutar algunas acciones útiles:
Hay algunas actividades en las que hay que introducir con el teclado fórmulas del lenguaje formal. Como los teclados de los ordenadores tienen una capacidad limitada para representar los signos lógicos, hemos de adoptar algunas convenciones. Son las que aparecen en la siguiente tabla:
Conectiva
|
Signo lógico | Representación simbólica con los teclados | Tecla o combinación de teclas | Apariencia |
Negador
|
¬
|
¬
|
En PC: Alt+Control+6, o bien AltGr+6 En Macintosh: Alt+6 |
|
Conjuntor
|
∧
|
&
|
Mayúsculas + 6 |
|
Disyuntor
|
∨
|
v
|
Es la letra "v" (uve minúscula) |
|
Implicador
|
→
|
>
|
Es el signo "mayor que" |
|
Coimplicador
|
↔
|
=
|
El signo "igual que" |
|
Los iconos que nos informan sobre la calidad de nuestras respuestas son los siguientes:
Aquí tienes las equivalencias entre los iconos y la calidad de la respuesta. Ya ves que resulta muy intuitivo captar cómo lo hemos hecho... |
|
Al final de todos los ejercicios de la sección de Actividades podrás encontrar el botón "Atrás", que te permite retroceder a la página desde la que has llegado (equivale al botón "Anterior" de los navegadores)