2004-gre-cs-practice-book.pdf/Q06 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: « == Вопрос: Q06-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…») |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | |||
== Вопрос: Q06-4c9f66 == | == Вопрос: Q06-4c9f66 == | ||
| − | < | + | Предположим, что ''P(x, y)'' означает ''«x является родителем y»'', а ''M(x)'' означает ''«x — мужчина»'' |
| − | + | ||
| − | + | Если ''F(v, w)'' равно | |
| − | + | <m> | |
| + | M(v)\wedge\exists x \exists y (P(x, y)\wedge P(x, v) \wedge (y \ne v) \wedge P(y, w)) | ||
| + | </m>, каково значение выражения ''F(v, w)''? | ||
=== Ответы === | === Ответы === | ||
| − | + | * ''v'' является братом ''w'' | |
| − | + | * ''v'' является племянником ''w'' | |
| + | * Правильный ответ: ''v'' является дядей ''w'' | ||
| + | * ''v'' является дедом ''w'' | ||
| + | * ''v'' является двоюродным братом ''w'' | ||
| − | + | === Объяснение === | |
| − | + | {{cstest-source|2004-gre-cs-practice-book.pdf|14|6}} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | < | + | Мужчина и такие отношения родительства: |
| − | + | <graph> | |
| − | + | digraph G{ | |
| + | x -> y; | ||
| + | x -> v; | ||
| + | y -> w; | ||
| + | } | ||
| + | </graph> | ||
| − | + | {{question-ok|[[Участник:StasFomin|StasFomin]] 22:58, 13 декабря 2024 (UTC)}} | |
| − | + | ||
| − | {{ | + | |
| − | + | ||
| − | + | ||
| − | + | [[Категория:Logic]] | |
Версия 22:58, 13 декабря 2024
Вопрос: Q06-4c9f66
Предположим, что P(x, y) означает «x является родителем y», а M(x) означает «x — мужчина»
Если F(v, w) равно , каково значение выражения F(v, w)?
Ответы
- v является братом w
- v является племянником w
- Правильный ответ: v является дядей w
- v является дедом w
- v является двоюродным братом w
Объяснение
Исходники — вопрос 6 на 14 странице книги «2004-gre-cs-practice-book.pdf»
Мужчина и такие отношения родительства: