Search

3: Символічна логіка та докази
https://ukrayinska.libretexts.org/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0/%D0%9A%D0%BE%D0%BC%D0%B1%D1%96%D0%BD%D0%B0%D1%82%D0%BE%D1%80%D0%B8%D0%BA%D0%B0_%D1%82%D0%B0_%D0%B4%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_(Levin)/3%3A_%D0%A1%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB%D1%96%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D1%82%D0%B0_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B8
Логіка - це вивчення слідства. З огляду на кілька математичних тверджень або фактів, ми хочемо мати можливість зробити деякі висновки. Всякий раз, коли ми знаходимо «відповідь» в математиці, ми дійсно...Логіка - це вивчення слідства. З огляду на кілька математичних тверджень або фактів, ми хочемо мати можливість зробити деякі висновки. Всякий раз, коли ми знаходимо «відповідь» в математиці, ми дійсно маємо (можливо, прихований) аргумент. Математика насправді полягає в тому, щоб довести загальні твердження (наприклад, теорема про проміжні значення), і це теж робиться за допомогою аргументу, який зазвичай називають доказом. Ми починаємо з деяких заданих умов, передумов нашого аргументу, і з них м