|
|
Регистрация Восстановить пароль |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
06.03.2022, 20:57 | #1 |
Новичок
Джуниор
Регистрация: 01.03.2022
Сообщений: 1
|
Помощь эмл записать в виде предикатной формулы следующие выражения, используя предикатные символы
Помогите пожалуйста разобраться.Записать в виде предикатной формулы следующие выражения, используя предикатные символы:
T(s) «s является точкой» Pr(t) «t является прямой» Pl(w) «w является плоскостью» L(f, h) «f лежит в/на h» A(m, n) «m параллельно n» B(k, p) «k перпендикулярно p» N(x, y)=1 ↔ «x неравно y» Примечание: Можно создать и свой предикатный символ, если через имеющиеся фраза не выражается. "Каждой плоскости принадлежат хотя бы две различные прямые." |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Используя любой из видов циклов, вычислить значения выражения. выражения: Y=ln(x-1)+b | Roshen | Паскаль, Turbo Pascal, PascalABC.NET | 2 | 18.12.2016 12:18 |
Написать программу, выполняющую следующие действия в виде функций: | sotonib | Помощь студентам | 0 | 22.12.2014 00:39 |
В последней строке символы, следующие за заданиым символом, переписать в обратном порядке | Leshkin | Assembler - Ассемблер (FASM, MASM, WASM, NASM, GoASM, Gas, RosAsm, HLA) и не рекомендуем TASM | 2 | 02.11.2012 21:47 |
Используя компоненту Edit выполнить следующие действия. | Аделинка | Помощь студентам | 2 | 31.03.2011 14:42 |
Вычислить следующие выражения при a=true, b=false | adidas_pro | Паскаль, Turbo Pascal, PascalABC.NET | 5 | 15.03.2011 18:20 |