Skip to main content
LibreTexts - Ukrayinska

Розділ 7: Практичні вправи

  • Page ID
    52230
  • \( \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}}\)

    *Частина А Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL.

    УД: всі тварини
    Сокира:\(x\) це алігатор.
    Mx:\(x\) це мавпа.
    Rx:\(x\) це рептилія.
    Zx:\(x\) живе в зоопарку.
    Лаксі:\(x\) любить\(y\).
    A: Амос
    б:
    вибивала c: Клео

    1. Амос, вибивала і Клео все живуть у зоопарку.
    2. Вибивала - це рептилія, але не алігатор.
    3. Якщо Клео любить Bouncer, то Bouncer - мавпа.
    4. Якщо обидва Bouncer і Клео є алігаторами, то Амос любить їх обох.
    5. Деякі рептилії мешкають в зоопарку.
    6. Кожен алігатор - це рептилія.
    7. Будь-яка тварина, що мешкає в зоопарку - це або мавпа, або алігатор.
    8. Є рептилії, які не є алігаторами.
    9. Клео любить рептилію.
    10. Вибивала обожнює всіх мавп, які мешкають в зоопарку.
    11. Всі мавпи, яких любить Амос, люблять його назад.
    12. Якщо якась тварина - рептилія, то Амос є.
    13. Якщо якась тварина - алігатор, то це рептилія.
    14. Кожну мавпу, яку любить Клео, також любить Амос.
    15. Є мавпа, яка любить Bouncer, але, на жаль, Bouncer не відповідає взаємністю на цю любов.

    *Частина B Це силогістичні фігурки, ідентифіковані Аристотелем та його наступниками, разом із їхніми середньовічними іменами. Переведіть кожен аргумент в QL.

    Барбара Всі\(B\)\(C\) s є s\(A\) s. Всі\(B\) s є s. Всі\(A\) s є\(C\) s s
    . Бароко Всі\(C\)\(B\) s\(A\) є s\(B\). Деякі ні. Деякі\(A\) ні\(C\).
    Бокардо Деякі\(B\) ні\(C\). Всі\(A\)\(B\) s є s. Деякі\(A\) ні\(C\).
    Celantes No\(B\)\(C\)\(A\) s є s. всі\(B\) ми є s. \(C\)Тепер\(A\) так само
    чисто Ні\(B\)\(C\) є такими. Всі\(A\)\(B\) ми є. Зараз\(A\) так\(C\) само є.
    Кладовища Зараз такі\(B\).\(A\) Зараз такі\(B\) кладовища.\(C\) Тепер\(A\) так\(C\) є.
    Чезаре Не\(C\) є\(B\) такими. Всі\(B\) ми є\(A\) s. Тепер\(A\)\(C\) s є s.
    \(B\)dabitis Всі\(C\) s\(A\) є s\(B\). Деякі є. Деякі\(C\) є\(A\).
    Дарій Всі\(B\)\(C\) s є\(B\) s. деякі\(A\) є. Деякі\(A\) є\(C\).
    Datisi Всі\(B\)\(C\) s\(A\) є s\(C\). Деякі\(A\) є\(C\).
    Disamis Деякі\(A\) є\(B\). Всі\(A\)\(C\) s є s. Деякі\(B\) є\(C\).
    Ferison No\(B\)\(C\) s\(A\) є\(B\) s. деякі є. Деякі\(A\) ні\(C\).
    Ferio No\(B\)\(C\) s є\(B\) s. деякі\(A\) з них. Деякі\(A\) ні\(C\).
    Фестино No\(C\)\(B\) s\(A\) є\(B\) s. деякі є. Деякі\(A\) ні\(C\).
    Бараліптон Всі\(B\)\(C\) s є є s. всі\(A\)\(B\) s є s. Деякі\(C\) є\(A\).
    Фрізесоморум Деякі\(B\) є\(C\). Тепер\(A\)\(B\) s є s. Деякі\(C\) ні\(A\).

    * Частина C Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL.

    УД: всі тварини
    Dx:\(x\) це собака.
    Секс:\(x\) любить самурайські фільми.
    Lxy:\(x\) більше, ніж\(y\).
    b: Берті де:
    Емерсон

    з: Фергіс

    1. Берті - собака, яка любить самурайські фільми.
    2. Берті, Емерсон і Фергіс - все собаки.
    3. Емерсон більший за Берті, а Фергіс більший за Емерсона.
    4. Всі собаки люблять фільми про самураїв.
    5. Тільки собаки люблять фільми про самураїв.
    6. Є собака, яка більша за Емерсона.
    7. Якщо є собака більша за Фергіса, то є собака більша за Емерсона.
    8. Жодна тварина, яка любить самурайські фільми, не більше, ніж Емерсон.
    9. Жодна собака не більша за Фергіса.
    10. Будь-яка тварина, яка не любить самурайські фільми, більше, ніж Берті.
    11. Є тварина, яка знаходиться між Берті і Емерсоном за розміром.
    12. Немає собаки, яка знаходиться між Берті та Емерсоном за розміром.
    13. Жодна собака не більша за себе.
    14. Для кожної собаки є якась собака більша за неї.
    15. Є тварина, яка менше кожної собаки.
    16. Якщо є тварина, яка більша за будь-яку собаку, то ця тварина не любить самурайські фільми.

    Частина D Для кожного аргументу напишіть ключ символізації і переведіть аргумент в QL.

    1. Ніщо на моєму столі не уникає моєї уваги. На моєму столі є комп'ютер. Таким чином, є комп'ютер, який не уникає моєї уваги.
    2. Всі мої мрії чорно-білі. Старі телепередачі в чорно-білому кольорі. Тому деякі мої мрії - це старі серіали.
    3. Ні Холмс, ні Уотсон не були в Австралії. Людина могла побачити кенгуру тільки в тому випадку, якщо він побував в Австралії або в зоопарку. Хоча Уотсон не бачив кенгуру, Холмс має. Тому Холмс побував у зоопарку.
    4. Ніхто не очікує іспанської інквізиції. Ніхто не знає неприємностей, які я бачив. Тому кожен, хто очікує іспанської інквізиції, знає неприємності, які я бачив.
    5. Антилопа більша за хлібницю. Я думаю про щось, що не більше хлібниці, і це або антилопа, або диня. Таким чином, я думаю про диня.
    6. Всі немовлята нелогічні. Ніхто, хто нелогічний, не може управляти крокодилом. Бертольд - немовля. Тому Бертольд не в змозі управляти крокодилом.

    * Частина E Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL.

    UD: цукерки
    Cx:\(x\) має шоколад в ньому.
    Mx:\(x\) має марципан в ньому.
    Sx: в ньому\(x\) є цукор.
    TX: Борис намагався\(x\).
    Bxy:\(x\) краще, ніж\(y\).

    1. Борис ніколи не пробував жодної цукерки.
    2. Марципан завжди готується з цукром.
    3. Деякі цукерки не містять цукру.
    4. Найкраща цукерка - шоколадна.
    5. Ніякі цукерки не краще себе.
    6. Борис ніколи не пробував шоколад без цукру.
    7. Борис пробував марципан і шоколад, але ніколи разом.
    8. Будь-які цукерки з шоколадом краще будь-яких цукерок без нього.
    9. Будь-які цукерки з шоколадом і марципаном краще будь-яких цукерок, яких не вистачає обох.

    Частина F Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL.

    UD: люди і страви на potluck
    Rx:\(x\) закінчився.
    Tx:\(x\) знаходиться на столі.
    Fx:\(x\) це їжа.
    Px:\(x\) це людина.
    Лаксі:\(x\) любить\(y\).
    e: Eli
    f: Франческа
    г: гуакамоле

    1. Вся їжа знаходиться на столі.
    2. Якщо гуакамоле не закінчився, значить, він знаходиться на столі.
    3. Всім подобається гуакамоле.
    4. Якщо комусь подобається гуакамоле, то Елі робить.
    5. Франческа любить лише страви, які закінчилися.
    6. Франческа нікому не подобається, і Франческа нікому не подобається.
    7. Елі подобається всім, хто любить гуакамоле.
    8. Елі подобається всім, хто любить людей, які йому подобаються.
    9. Якщо на столі вже є людина, то вся їжа повинна закінчитися.

    * Частина G Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL.

    УД: люди
    Dx:\(x\) танці балет.
    Fx:\(x\) є жіночим.
    Макс:\(x\) чоловічий.
    Cxy:\(x\) є дитиною\(y\).
    Sxy:\(x\) є рідним братом\(y\).
    e: Елмер
    j: Джейн
    р: Патрік

    1. Всі діти Патріка - артисти балету.
    2. Джейн - дочка Патріка.
    3. У Патріка є дочка.
    4. Джейн - єдина дитина.
    5. Всі дочки Патріка танцюють балет.
    6. У Патріка немає синів.
    7. Джейн - племінниця Елмера.
    8. Патрік - брат Елмера.
    9. Брати Патріка не мають дітей.
    10. Джейн - тітка.
    11. У кожного, хто танцює балет, є сестра, яка також танцює балет.
    12. Кожен чоловік, який танцює балет, - це дитина того, хто танцює балет.

    Частина H Визначте, які змінні пов'язані, а які вільні.

    1. \(xLxy\)&3\(yLyx\)
    2. 3\(xAx\) &\(Bx\)
    3. 4\(x\) (\(Ax\)&\(Bx\))\(y\) &(\(Cx\) &\(Dy\))
    4. \(y\)[\(x\)\(Rxy\)→ (\(Jz\)&\(Kx\))] ₵\(Ryx\)
    5. \(x\)1 (\(Mx\)2\(Lx\) 2\(x\) 1)\(x\) &2\(Lx\) 3\(x\) 2

    Частина I Використовуючи наведений ключ символізації, перекладіть кожне англомовне речення в QL з ідентичністю. Останнє речення неоднозначне і може бути перекладено двома способами; ви повинні надати обидва переклади. (Підказка: Ідентичність потрібна лише для останніх чотирьох речень.)

    UD: люди
    Kx:\(x\) знає комбінацію з сейфом.
    Секс:\(x\) це шпигун.
    Vx:\(x\) є вегетаріанцем.
    Таксі:\(x\) трасти\(y\).
    h: Хофтор
    я: Інгмар

    1. Хофтор - шпигун, але жоден вегетаріанець не шпигун.
    2. Ніхто не знає комбінацію до сейфу, якщо Інгмар цього не робить.
    3. Жоден шпигун не знає поєднання з сейфом.
    4. Ні Хофтор, ні Інгмар не є вегетаріанцем.
    5. Хофтор довіряє вегетаріанцю.
    6. Кожен, хто довіряє Інгмару, довіряє вегетаріанцю.
    7. Кожен, хто довіряє Інгмару, довіряє тому, хто довіряє вегетаріанцеві.
    8. Тільки Інгмар знає комбінацію з сейфом.
    9. Інгмар довіряє Хофтору, але більше нікому.
    10. Людина, яка знає поєднання з безпечним, є вегетаріанцем.
    11. Людина, яка знає поєднання з сейфом, не є шпигуном.

    * Частина J Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення на QL з ідентичністю. Останні два речення неоднозначні і можуть бути перекладені двома способами; ви повинні надати обидва переклади для кожного.

    UD: карти в стандартній колоді
    Bx:\(x\) чорний.
    Cx:\(x\) це клуб.
    Dx:\(x\) це двійка.
    Jx:\(x\) це домкрат.
    Mx:\(x\) це людина з сокирою.
    Бик:\(x\) одноокий.
    Вокс:\(x\) дикий.

    1. Всі трефи - це чорні карти.
    2. Диких карт немає.
    3. Є як мінімум два клуби.
    4. Існує не один одноокий домкрат.
    5. Є не більше двох однооких домкратів.
    6. Є два чорних гнізда.
    7. Є чотири двійки.
    8. Двійка треф - чорна карта.
    9. Одноокі валети і людина з сокирою дикі.
    10. Якщо двійка треф дика, то існує рівно одна джокера.
    11. Людина з сокирою - не валет.
    12. Двійка треф - це не людина з сокирою.

    Частина K Використовуючи вказаний ключ символізації, перекладіть кожне англомовне речення в QL з ідентичністю. Останні два речення неоднозначні і можуть бути перекладені двома способами; ви повинні надати обидва переклади для кожного.

    UD: тварини у світі
    Bx:\(x\) знаходиться в полі фермера Брауна.
    Hx:\(x\) це кінь.
    Px:\(x\) це Пегас.
    Віск:\(x\) має крила.

    1. У світі є як мінімум три коні.
    2. У світі налічується щонайменше три тварини.
    3. У полі Фермера Брауна є більше одного коня.
    4. У полі Фермера Брауна є три коні.
    5. На полі Фермера Брауна є одна крилата істота; будь-які інші істоти на полі повинні бути безкрилими.
    6. Пегас - це крилатий кінь.
    7. Тварина на полі Фермера Брауна не кінь.
    8. Кінь на полі Фермера Брауна не має крил.