Детальне ліцензування
- Page ID
- 51512
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Огляд
Назва: Короткий вступ до логіки (DeLancey)
Веб-сторінки: 30
Застосовувані обмеження: Некомерційні
Всі знайдені ліцензії:
- CC BY-NC-SA 4.0: 70% (21 стор.)
- Недекларовані: 30% (9 сторінок)
За сторінкою
- Короткий вступ до логіки (DeLancey) -
CC BY-NC-SA 4.0
- Передня матерія - Неоголошена
- 1: Пропозиційна логіка -
CC BY-NC-SA 4.0
- 1.1: Розробка точної мови — CC BY-NC-SA 4.0
- 1.2: «Якщо... тоді...» і «Це не так, що...» — CC BY-NC-SA 4.0
- 1.3: Добрі аргументи - CC BY-NC-SA 4.0
- 1.4: Докази — CC BY-NC-SA 4.0
- 1.5: «І» — CC BY-NC-SA 4.0
- 1.6: Умовні похідні — CC BY-NC-SA 4.0
- 1.7: «Або» — CC BY-NC-SA 4.0
- 1.8: Скорочення та абсурд — CC BY-NC-SA 4.0
- 1.9: «... якщо і тільки якщо...», Використання теорем — CC BY-NC-SA 4.0
- 1.10: Короткий зміст логіки пропозицій - CC BY-NC-SA 4.0
- 2: Логіка першого порядку -
CC BY-NC-SA 4.0
- 2.1: Імена та присудки — CC BY-NC-SA 4.0
- 2.2: «Все» і «деякі» — CC BY-NC-SA 4.0
- 2.3: Міркування з кількісними показниками - CC BY-NC-SA 4.0
- 2.4: Універсальна деривація — CC BY-NC-SA 4.0
- 2.5: Відносини, функції, ідентичність та множинні квантори - CC BY-NC-SA 4.0
- 2.6: Підсумок логіки першого порядку - CC BY-NC-SA 4.0
- 3: Погляд вперед - CC BY-NC-SA 4.0
- Задня матерія - Неоголошена