43aaf7fbbb
Logica 2020-05-25
2020-06-01 13:16:57 +02:00
0ac6a2e6c6
Logica 2020-05-22
2020-05-26 15:26:10 +02:00
6bbfd7dc84
Logica 2020-05-21
2020-05-26 10:00:42 +02:00
f4f986fc0a
Logica 2020-05-19
2020-05-25 11:45:13 +02:00
8eaa2df590
Logica 2020-05-18
2020-05-25 11:24:59 +02:00
187ceef5a1
Corregge estensione file rinominato
2020-05-25 11:21:26 +02:00
16c7af45f2
Suddivide argomenti logica proposizionale e del primo ordine
2020-05-25 11:16:39 +02:00
11e9acfefc
Logica 2020-05-14
2020-05-16 12:44:41 +02:00
5004ec3971
Logica 2020-05-12
2020-05-16 12:42:58 +02:00
04edfb367b
Logica 2020-05-11
2020-05-15 16:14:35 +02:00
02307d02e7
Rimuove simbolo $\square$ (□) dalle dimostrazioni
...
Lo stesso simbolo viene usato per indicare la fine delle dimostrazioni e
per denotare la clausola vuota nel metodo di risoluzione. L'uso nelle
dimostrazioni non è importante, quindi conviene rimuovendolo, per
evitare di avere un simbolo con due significati.
2020-05-09 18:06:34 +02:00
8cc41dd8ce
Logica 2020-05-07
2020-05-09 17:33:48 +02:00
65722c6dd3
Logica 2020-05-05
2020-05-09 15:01:47 +02:00
fcb7ce56de
Logica 2020-04-30
2020-05-05 20:06:20 +02:00
76c95b2ba4
Logica 2020-04-29
2020-05-05 20:03:41 +02:00
13c995f566
Logica 2020-04-27
2020-05-05 19:59:51 +02:00
a9c9e76130
Logica 2020-04-23
2020-04-27 17:01:30 +02:00
ca2b135bfe
Logica 2020-04-21
2020-04-27 17:01:13 +02:00
d6f33118ec
Logica 2020-04-17
2020-04-20 14:03:00 +02:00
ac93c4962c
Logica 2020-04-16
2020-04-20 14:02:43 +02:00
d81b997f58
Logica 2020-04-02
2020-04-14 17:39:43 +02:00
06d66a6181
Logica 2020-03-31
2020-04-14 17:39:17 +02:00
b3591c6c33
Logica 2020-03-26_2
2020-04-13 17:59:09 +02:00
2706a5d1c7
Logica 2020-03-26_1
2020-04-13 17:58:40 +02:00
6fb1b525e1
Logica 2020-03-25
2020-04-13 17:57:59 +02:00
b117b71601
Initial commit
2020-04-09 21:33:39 +02:00
