logidoc/index.html at master · cagve/logidoc · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
<!DOCTYPE html>
<html lang="es">
  <head>
    <!-- Global site tag (gtag.js) - Google Analytics -->
    <script async src="https://www.googletagmanager.com/gtag/js?id=G-W3L8CHVWLH"></script>
    <script>
      window.dataLayer = window.dataLayer || [];
      function gtag(){dataLayer.push(arguments);}
      gtag('js', new Date());

      gtag('config', 'G-W3L8CHVWLH');
    </script>
    <script async src="https://www.googletagmanager.com/gtag/js?id=UA-72779003-3"></script>
    <script>
      window.dataLayer = window.dataLayer || [];
      function gtag(){dataLayer.push(arguments);}
      gtag('js', new Date());
      gtag('config', 'UA-72779003-3');
    </script>
    <meta name="viewport" content="width=device-width, user-scalable=no">
    <meta charset="utf-8">
    <meta name="keywords" content="lógica,lógica de predicados,logica formal, filosofía,editor de textos">
    <meta name="author" content="Carlos Aguilera Ventura">
    <title>LogiDOC</title>
    <link rel="icon" type="image/jpg" href="img/logo_peque.png" />
    <link rel="stylesheet" type="text/css" href="style.css" media="screen" />
    <link href="https://fonts.googleapis.com/css?family=Abril+Fatface" rel="stylesheet">
    <script type="text/javascript" src="java.js"></script>
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="https://kit.fontawesome.com/c72bec4d11.js" crossorigin="anonymous"></script>
  </head>
  <body>
    <div class="cabecera">
      <img src="img/logo_pq.png" alt="Logo">
      <h1 id="title">LogiDOC</h1>
    </div>
    <div class="herramientas">
      <ul>
        <li><button class="button" title="Guión inicial" onclick="addConector('─ ')">─</button></li>
        <li><button class="button" title="Abrir supuesto" onclick="addConector('┌')">┌</button></li>
        <li><button class="button" title="Continuar supuesto" onclick="addConector('│')">│</button></li>
        <li><button class="button" title="Cerrar supuesto" onclick="addConector('└')">└ </button></li>
        <li><button class="button" title="Equivalencia" onclick="addConector(' ↔ ')" >↔ </button ></li>
        <li><button class="button" title="Implicación" onclick="addConector(' → ')">→ </button></li>
        <li><button class="button" title="Negación" onclick="addConector(' ¬')">¬ </button></li>
        <li><button class="button" title="Conjunción" onclick="addConector(' ∧ ')"> ∧ </button></li>
        <li><button class="button" title="Disyunción" onclick="addConector(' ∨ ')"> ∨ </button></li>
        <li><button style="border-left: 1px solid #E5E5E5" class="button" title="Cuantificador universal" onclick="addConector(' ∀')"> ∀</button></li>
        <li><button class="button" title="Cuantificador particular" onclick="addConector('Ǝ')"> Ǝ</button></li>
        <li><button style="border-left: 1px solid #E5E5E5" class="button" title="Probabilidad" onclick="addConector('◊')">◊</button></li>
        <li><button class="button" title="Probabilidad" onclick="addConector('◊<sub>a</sub><sup></sup> &nbsp')">◊<sub>a</sub></button></li>
        <li><button class="button" title="Probabilidad" onclick="addConector('◊<sub>b</sub><sup></sup> &nbsp')">◊<sub>b</sub></button></li>
        <li><button class="button" title="Probabilidad" onclick="addConector('◊<sub>c</sub><sup></sup> &nbsp')">◊<sub>c</sub></button></li>
        <li><button class="button" title="Necesidad" onclick="addConector('◻')">◻</button></li>
        <li><button class="button" title="Necesidad" onclick="addConector('◻<sub>a</sub><sup></sup>')">◻<sub>a</sub></button></li>
        <li><button class="button" title="Necesidad" onclick="addConector('◻<sub>b</sub><sup></sup>')">◻<sub>b</sub></button></li>
        <li><button class="button" title="Necesidad" onclick="addConector('◻<sub>c</sub><sup></sup>')">◻<sub>c</sub></button></li>
        <li><button style="border-left: 1px solid #E5E5E5" class="button" title="alfa" onclick="addConector('φ')"> φ </button></li>
        <li><button class="button" title="beta" onclick="addConector('ψ')">ψ</button></li>
        <li><button class="button" title="delta" onclick="addConector('δ')">δ</button></li>
        <li><button style="border-left: 1px solid #E5E5E5" class="button" title="identidad" onclick="addConector('=')">=</button></li>
        <li><button class="button" title="desigualdad" onclick="addConector('≠')">≠</button></li>
        <li><button class="button" title="conclusion" onclick="addConector('∴')">∴</button></li>
        <li><button class="button" title="conclusion2" onclick="addConector('├')">├</button></li>
        <li><button class="button" title="linea" onclick="addConector('__________')">__</button></li>
        <li><input class="button" style="border-left: 1px solid #E5E5E5" type="image" width="24" height="24" src="img/copy.png" onclick="copiar()"> </input></li>
        <li><input type="image" width="29" height="24" src="img/ayuda.png " onclick="ayuda()"></input></li>
      </ul>
    </div>
    <div class="datagrid" style="float:top" title="Atajos de teclado"><table>
        <thead><tr><th>Conectores</th><th>ctrl+alt+... </th></tr></thead>
        <tbody><tr><td>─</td><td>g</td></tr>
          <tr class="alt"><td>┌</td><td>a</td></tr>
          <tr><td>│</td><td>z</td></tr>
          <tr class="alt"><td>└</td><td>y</td></tr>
          <tr><td>↔</td><td>f</td></tr>
          <tr class="alt"><td>→</td><td>i</td></tr>
          <tr><td>¬</td><td>n</td></tr>
          <tr class="alt"><td>ʌ</td><td>c</td></tr>
          <tr><td>v</td><td>d</td></tr>
          <tr class="alt"><td>∀</td><td>u</td></tr>
          <tr><td>Ǝ</td><td>q</td></tr>
        </tbody>
      </table></div>
      <div id="txtbox" contenteditable="true" placeholder="Introduzca texto" spellcheck="false">
      </div>
      <br> <br>
      <input type="image" onclick="toTop();" style="float:right; height:50px; width: 50px; padding: 0px 20px 20px 0px;" src="img/flecha.png"></input>
  </body>
</html>