Loading [MathJax]/extensions/mml2jax.js
Skip to main content
LibreTexts - Ukrayinska

Search

Searching in
About 21 results
  • 1.1: Розробка точної мови
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0/1.01%3A_%D0%A0%D0%BE%D0%B7%D1%80%D0%BE%D0%B1%D0%BA%D0%B0_%D1%82%D0%BE%D1%87%D0%BD%D0%BE%D1%97_%D0%BC%D0%BE%D0%B2%D0%B8
    Однак «є», що з'являється у реченні, «Малкольм Маленький високий», - це те, що ми називаємо «є» присудком». У цьому реченні «is» використовується для ствердження, що властивість має Малкольм Літтл (вл...Однак «є», що з'являється у реченні, «Малкольм Маленький високий», - це те, що ми називаємо «є» присудком». У цьому реченні «is» використовується для ствердження, що властивість має Малкольм Літтл (властивість бути високим); і тут «високий» - це те, що ми називаємо «присудком». Отже, «є» присудка не має чіткого сенсу при появі без решти присудка; воно не стверджує існування.
  • 1: Пропозиційна логіка
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0
  • 2: Логіка першого порядку
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/02%3A_%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83
  • 1.10: Короткий зміст логіки пропозиції
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0/1.10%3A_%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B7%D0%BC%D1%96%D1%81%D1%82_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_%D0%BF%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D1%97
    Два речення Φ і ψ еквівалентні або логічно еквівалентні, коли (Φ ↔ ψ) - теорема. Якщо припущення для умовного деривації дорівнює Φ, і ми виведемо як якийсь крок у доведенні ψ, то ми можемо записати пі...Два речення Φ і ψ еквівалентні або логічно еквівалентні, коли (Φ ↔ ψ) - теорема. Якщо припущення для умовного деривації дорівнює Φ, і ми виведемо як якийсь крок у доведенні ψ, то ми можемо записати після цього (Φ → ψ) як наш висновок. Якщо наше припущення про непряме виведення становить ¬ Φ, і ми виведемо як якийсь крок у доказі ψ, а також як якийсь крок нашого доказу ¬ ψ, то робимо висновок, що Φ.
  • 2.3: Міркування з кількісними показниками
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/02%3A_%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83/2.03%3A_%D0%9C%D1%96%D1%80%D0%BA%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F_%D0%B7_%D0%BA%D1%96%D0%BB%D1%8C%D0%BA%D1%96%D1%81%D0%BD%D0%B8%D0%BC%D0%B8_%D0%BF%D0%BE%D0%BA%D0%B0%D0%B7%D0%BD%D0%B8%D0%BA%D0%B0%D0%BC%D0%B8
    \ [\ fitchprf {\ рядок [1.] {\ всі\ текст {x} (F\ textit {x}\ lif G\ textit {x})} [приміщення]\\ рядок [2] {\ lis\ textit {x} (F\ textit {x}\ земля H\ textit {x})} [приміщення]\\ pline [3] {\ всі\ тек...\ [\ fitchprf {\ рядок [1.] {\ всі\ текст {x} (F\ textit {x}\ lif G\ textit {x})} [приміщення]\\ рядок [2] {\ lis\ textit {x} (F\ textit {x}\ земля H\ textit {x})} [приміщення]\\ pline [3] {\ всі\ текст {x} (H\ textit {x}\ lif I\ textit {x})} [передумова]} {\ рядок [4] {(F\ textit {p}\ land H\ textit {p})} [екзистенціальне створення, 2]\\ pline [5.] {F\ textit {p}} [спрощення, 4]\\\ pline [6.] {(F\ textit {p}\ lif G\ textit {p})} [універсальний екземпляр, 1]\\ pline [7.] {G\ textit {p}} [режим …
  • 2.2: «Все» і «деякі»
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/02%3A_%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83/2.02%3A_%C2%AB%D0%92%D1%81%D0%B5%C2%BB_%D1%96_%C2%AB%D0%B4%D0%B5%D1%8F%D0%BA%D1%96%C2%BB
    Отже, якщо х (В х →М х) істинно, то (Н а → М а) і (Н б → М б ) і (H c → M c) і так далі вірні. (Виходить, що «х ¬Н х» і «¬ х В х» еквівалентні, а «¬х В х» і «х х» ¬H x» еквівалентні; тому ми також мож...Отже, якщо х (В х →М х) істинно, то (Н а → М а) і (Н б → М б ) і (H c → M c) і так далі вірні. (Виходить, що «х ¬Н х» і «¬ х В х» еквівалентні, а «¬х В х» і «х х» ¬H x» еквівалентні; тому ми також можемо перевести «Щось не людське» на «¬ x H x», а «Ніщо не є людським» на «x ¬H x». Однак цей автор вважає їх менш близькими до англійської в синтаксичній формі.)
  • 1.2: «Якщо... тоді...» і «Це не так, що...»
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0/1.02%3A_%C2%AB%D0%AF%D0%BA%D1%89%D0%BE..._%D1%82%D0%BE%D0%B4%D1%96...%C2%BB_%D1%96_%C2%AB%D0%A6%D0%B5_%D0%BD%D0%B5_%D1%82%D0%B0%D0%BA%2C_%D1%89%D0%BE...%C2%BB
    Таким чином, ми повинні бути обережними, щоб визнати, що «тільки якщо» не означає те ж саме, що і «якщо». (Якби це сталося, ці два речення мали б однакову істинну цінність у всіх ситуаціях.) Насправді...Таким чином, ми повинні бути обережними, щоб визнати, що «тільки якщо» не означає те ж саме, що і «якщо». (Якби це сталося, ці два речення мали б однакову істинну цінність у всіх ситуаціях.) Насправді, здається, що «тільки якщо» найкраще можна виразити умовним, де «тільки якщо» з'являється перед наслідком (пам'ятайте, що наслідком є друга частина умовного - частина, на яку вказують стрілки).
  • 1.8: Скорочення та абсурд
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0/1.08%3A_%D0%A1%D0%BA%D0%BE%D1%80%D0%BE%D1%87%D0%B5%D0%BD%D0%BD%D1%8F_%D1%82%D0%B0_%D0%B0%D0%B1%D1%81%D1%83%D1%80%D0%B4
    \ [\ fitchprf {} {\ підзахисний {\ лінія [1.] {\ not (P\ or Q)} [припущення для умовного похідного]} {\ subproof {\ pline [2] {\ not\ not P} [припущення для непрямої деривації]} {\ pline [3] {P} [подв...\ [\ fitchprf {} {\ підзахисний {\ лінія [1.] {\ not (P\ or Q)} [припущення для умовного похідного]} {\ subproof {\ pline [2] {\ not\ not P} [припущення для непрямої деривації]} {\ pline [3] {P} [подвійне заперечення, 2]\\\ pline [4.] {(P\ або Q)} [додавання, 3]\\\ рядок [5.] {\ not (P\ або Q)} [повторити, 1]}\ рядок [6] {\ not P} [непряме похідне 2-5]\\\ підзахисний {\ лінія [7] {\ not\ not Q} [припущення для непрямого похідного]} {\ лінія [8]. {Q} [подвійне заперечення, 7]\\\ pline [9.] {(P\ …
  • 1.6: Умовні похідні
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/01%3A_%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D1%96%D0%B9%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0/1.06%3A_%D0%A3%D0%BC%D0%BE%D0%B2%D0%BD%D1%96_%D0%BF%D0%BE%D1%85%D1%96%D0%B4%D0%BD%D1%96
    \ [\ fitchprf {\ лінія [1] {(P\ lif (S\ lif R))} [передумова]\\ pline [2.] {(P\ lif (Q\ lif S))} [приміщення]\\} {\ підзахисний {\ pline [3] {P} [припущення для умовного деривації]} {\ subproof {\ pli...\ [\ fitchprf {\ лінія [1] {(P\ lif (S\ lif R))} [передумова]\\ pline [2.] {(P\ lif (Q\ lif S))} [приміщення]\\} {\ підзахисний {\ pline [3] {P} [припущення для умовного деривації]} {\ subproof {\ pline [4.] {Q} [припущення для умовного похідного]} {\ pline [5.] {(Q\ lif S)} [режим роботи, 2, 3]\\\ pline [6.] {S} [режим поненса, 5, 4]\\\ pline [7.] {(S\ lif R)} [режим поненса, 1, 3]\\\ pline [8.] {R} [режим поненса, 7, 6]}\ pline [9.] {(Q\ lif R)} [умовне похідне, 4-8]}\ рядок [10]. {(P\ lif (Q…
  • 2.4: Універсальна деривація
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/02%3A_%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83/2.04%3A_%D0%A3%D0%BD%D1%96%D0%B2%D0%B5%D1%80%D1%81%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D0%B4%D0%B5%D1%80%D0%B8%D0%B2%D0%B0%D1%86%D1%96%D1%8F
    \ [\ fitchprf {} {\ підзахисний {\ рядок [1.] {(\ всі\ textit {x} (F\ textit {x}\ lif G\ textit {x})\ земля\ all\ textit {x} (F\ textit {x}\ lif H\ textit {x}))} [припущення для умовного виведення]} {...\ [\ fitchprf {} {\ підзахисний {\ рядок [1.] {(\ всі\ textit {x} (F\ textit {x}\ lif G\ textit {x})\ земля\ all\ textit {x} (F\ textit {x}\ lif H\ textit {x}))} [припущення для умовного виведення]} {підзахисний в коробці [] {\ textit {x} '} {\ підзахисний {\ plline [2.] {F\ textit {x} '} [припущення для умовного похідного]} {\ pline [3.] {\ всі\ текст {x} (F\ textit {x}\ lif G\ textit {x})} [спрощення, 1]\\\ рядок [4] {(F\ textit {x} '\ lif G\ textit {x}')} [універсальний екземпляр, 3]\\ pline…
  • 2.5: Відносини, функції, ідентичність та множинні кількісні показники
    https://ukrayinska.libretexts.org/%D0%93%D1%83%D0%BC%D0%B0%D0%BD%D1%96%D1%82%D0%B0%D1%80%D0%BD%D1%96_%D0%BD%D0%B0%D1%83%D0%BA%D0%B8/%D0%A4%D1%96%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D1%96%D1%8F/%D0%9A%D0%BE%D1%80%D0%BE%D1%82%D0%BA%D0%B8%D0%B9_%D0%B2%D1%81%D1%82%D1%83%D0%BF_%D0%B4%D0%BE_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B8_(DeLancey)/02%3A_%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%BF%D0%B5%D1%80%D1%88%D0%BE%D0%B3%D0%BE_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D1%83/2.05%3A_%D0%92%D1%96%D0%B4%D0%BD%D0%BE%D1%81%D0%B8%D0%BD%D0%B8%2C_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D1%96%D1%97%2C_%D1%96%D0%B4%D0%B5%D0%BD%D1%82%D0%B8%D1%87%D0%BD%D1%96%D1%81%D1%82%D1%8C_%D1%82%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%BD%D1%96_%D0%BA%D1%96%D0%BB%D1%8C%D0%BA%D1%96%D1%81%D0%BD%D1%96_%D0%BF%D0%BE%D0%BA%D0%B0%D0%B7%D0%BD%D0%B8%D0%BA%D0%B8
    Це говорить про те, що є щось - називайте це x поки що - це нинішній король Франції, і ця річ лиса, і якщо що-небудь є нинішнім королем Франції, це ідентично x Цей другий пункт є способом сказати, що ...Це говорить про те, що є щось - називайте це x поки що - це нинішній король Франції, і ця річ лиса, і якщо що-небудь є нинішнім королем Франції, це ідентично x Цей другий пункт є способом сказати, що є лише один король Франції, саме так Рассел захоплює значення «на» в « теперішній король Франції». Перше речення говорить, що існує річ x і річ у така, що x має властивість Φ, а у має властивість Φ і х і у - це не одне і те ж.