|
Post by Evgeny on May 26, 2022 9:33:28 GMT 4
ამ დასკვნით ნაწილში გავეცნობით გამოყვანის სისტემას, რომელიც ელემენტარული ლოგიკური მსჯელობის ფორმალიზებას წარმოადგენს. ამ ფორმალური სისტემის მაგალითის განზოგადებით ჩამოვაყალიბებთ პასუხს კითხვაზე - რა არის მათემატიკური დამტკიცება? Proofs - 3.pdf (442.28 KB)
|
|