Sklop logika

Osnovni pojmi - članki iz revije Logika in razvedrilna matematika

• O programu Boole (pdf, 34Kb)
• O programu Fitch (pdf, 61Kb)
• Sintetična in analitična metoda reševanje logičnih nalog (pdf, 73Kb)
• Potreben in zadosten pogoj (pdf, 29Kb)
• Silogizmi (pdf, 96Kb)
• Lukasiewiczeva modalna trovrednostna logika (pdf, 33Kb)
• Bochvarjeva trovrednostna logika (pdf, 42Kb)
• Trovrednostna logika (pdf, 68Kb)
• Dokazovanje v izjavnem računu (pdf, 757Kb)
• Uvod v logiko z vitezi in oprodami (pdf, 448Kb)
• Trirazsežni logični problemi (pdf, 512Kb)
• Trirazsežni logični problemi - nadaljevanje (pdf, 461Kb)
• Metoda semantičnih dreves (pdf, 670Kb)
• O številu rešitev logičnih nalog (pdf, 419Kb)
• Dve logični uganki (pdf, 240Kb)
• Dvodimenzionalni logični problemi (pdf, 829Kb)
• O sestavljanju logičnih nalog (pdf, 256Kb)
• Japonska otroška igra AMIDA (pdf, 311Kb)
• Gramatika sintaktičnih kategorij (pdf, 416Kb)
• Ontologija Lesniewskega (pdf, 622Kb)
• Dokazovanje z metodo supozicije (pdf, 427Kb)
• Diofantske enačbe (pdf, 427Kb)
• Psevdokemijske enačbe (pdf, 375Kb)
• Uvod v logiko izjav z levičarji in desničarji (pdf, 631Kb)
• Šola logike: nekaj logičnih nalog (pdf, 375Kb)
• Pravila izpeljevanja pri tabelaričnih nalogah (pdf, 816Kb)
• Program za sestavljanje logičnih nalog (pdf, 874Kb)
• Logika resnice in laži (pdf, 522Kb)
• O najmanjšem številu lažnivcev (pdf, 390Kb)
• Naloga iz kriptografije (pdf, 435Kb)
• Matematična lingvistika (pdf, 665Kb)
• Izrek o dedukciji (pdf, 2175Kb)
• Jezik prvega red z enakostjo (pdf, 655Kb)
• Russellova antinomija (pdf, 1240Kb)
• Russellova antinomija 2 (pdf, 2153Kb)
• Teorije Lesniewskega (pdf, 1965Kb)
• Logična simbolika in pouk matematike (pdf, 1453Kb)
• Verjetnostna logika (pdf, 67Kb)
• Pogojna verjetnost (pdf, 30Kb)