« Listopad 2024 » | ||||||
Po | Ut | Sr | Če | Pe | Su | Ne |
30 | 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 | 1 | 2 | 3 |
4 | 5 | 6 | 7 | 8 | 9 | 10 |
Dijagramiranje argumenta: https://philosophy.lander.edu/logic/diagram.html
Logički kalkulator : https://www.erpelstolz.at/gateway/formular-uk-zentral.html
Tree Proof Calculator: https://www.umsu.de/trees/
Proof Tool: a symbolic logic proof tree generator https://creativeandcritical.net/prooftools
Prirodna dedukcija :
https://stackoverflow.com/questions/16091232/logic-deduction-with-fitch-system
https://proofs.openlogicproject.org/
https://mrieppel.github.io/fitchjs/
Gradnja tablica:
https://calculator-online.net/truth-table-calculator/#How-to-Make-a-Truth-Table
https://web.stanford.edu/class/cs103/tools/truth-table-tool/