B" (A подразумевает B) и может быть выражена в терминах основных логических опера">

Описание тега implication

Описание тега Вопросы с тегом
Все, что связано с операцией логической импликации, то есть двоичной операцией между двумя значениями истинности A и B, которая в математике обозначается стрелкой "A -> B" (A подразумевает B) и может быть выражена в терминах основных логических операций как `не A или B`.
2 ответа

Пролог конструкции if-then-else: -> vs *-> vs. if_/3

Как отмечалось в другом ответе Stackru, который я больше не могу найти, этот шаблон часто появляется в практическом коде Prolog: pred(X) :- guard(X), ... pred(X) :- \+ guard(X), ... и многие люди пытаются сжать это pred(X) :- (guard(X) -> ... ; .…
31 окт '18 в 16:30
1 ответ

Логическая импликация с 1 переменной

В моей базе знаний есть следующие утверждения, но есть предпосылка только с одной переменной (см. 3-ю строку). Я пытаюсь построить таблицу истинности для этого, но третья предпосылка вводит меня в заблуждение, так как есть только одно условие, чтобы…
26 май '12 в 15:33
1 ответ

Докажите или опровергните следующее предположение (Big O Notation)

Я не мог доказать это: f(n) = O(g(n)) подразумевает f(n)^k = O(g(n)^k) where k is element of the natural, positiv numbers Я нашел похожие примеры в интернете. Но я не уверен, правильно ли применять эти решения для этого примера.
27 апр '16 в 10:29
4 ответа

Пролог, подразумевающий отрицательный предикат

Как я могу написать следующее правило в PROLOG: если P, то не Q Я понимаю, что вы можете легко написать, если P, то Q предикаты как q(X) :- p(X), но как вы можете отрицать q/1 предикат? Я не хочу определять новые предикаты с другой семантикой, такой…
13 июн '11 в 15:29
1 ответ

Логическая эквивалентность: Показать, что R OR P подразумевает R OR Q эквивалентно NOT R подразумевает (P подразумевает Q)?

Я практикую логическую эквивалентность, и я столкнулся с вопросом, на который я пытаюсь ответить: Покажите, что (R или P -> R или Q) эквивалентно (не R -> (P -> Q)). Я изучил таблицы истинности обоих значений, но в вопросе говорится, что я должен ис…
22 май '18 в 15:56
4 ответа

Битовые операции SQL

Я попался на бит для новой парадигмы безопасности под названием VMAC. Переменная матрица контроля доступа. Я хочу сделать логическое следствие для битовых строк. Просто пытаюсь избежать эхоурека (изобретать велосипед). Прежде чем я заново изобрету к…
17 дек '08 в 18:03
2 ответа

Является ли эта связь между фоллом и существует доказуемой в Coq/ интуиционистской логике?

Доказана ли следующая теорема в Coq? А если нет, есть ли способ доказать, что это не доказуемо? Theorem not_for_all_is_exists: forall (X : Set) (P : X -> Prop), ~(forall x : X, ~ P x) -> (exists x: X, P x). Я знаю, что эти отношения верны: The…
20 фев '16 в 02:11
1 ответ

Формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p

Я пытаюсь построить формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p. в Fitch. Я знаю, что это правда, но как мне доказать это? Я могу использовать только "Интро", "Элим", "Инро", "Элим", "Нег интро", "Нег Элим", "Импл интро", "Импл Элим", "Двухуслов…
16 мар '17 в 15:51
1 ответ

Как кодировать импликацию / эквивалентность в Java

Здравствуйте, я новичок в кодировании логики с Java, поэтому я хотел знать, как я могу кодировать следующую информацию. у меня есть эти переменные в файле представлены следующим образом пример: мой файл.txt 5 1 4 6 2 3 числа на самом деле представля…
11 апр '15 в 19:44
1 ответ

Haskell - Используйте индукцию, чтобы доказать значение

Я должен доказать по индукции, что no f xs ==> null (filter f xs) Куда: filter p [] = [] filter p (x:xs) | p x = x : filter p xs | otherwise = filter p xs null [] = True; null _ = False no p [] = True no p (x:xs) | p x = False | otherwise = no p …
07 дек '15 в 16:50
8 ответов

Существует ли логический оператор импликации в python?

Я хотел бы написать заявление на python с логическим подтекстом. Что-то вроде: if x => y: do_sth() Конечно, я знаю, что мог бы использовать: if (x and y) or not x: do_sth() Но есть ли логический оператор для этого в Python?
06 май '13 в 19:34
1 ответ

Проверка, имеет ли столбец определенное значение, затем ограничивает другой список

Мне интересно, есть ли способ проверить, есть ли у столбца значение, если это значение XXXXX, тогда в списке (A,B,C) должен быть другой столбец. что-то вроде: CREATE TABLE test (a CHAR(60),b CHAR(60),Check (IF a == 'test' THEN b in ('a','b','c')));
26 июл '17 в 22:11
1 ответ

Назначение графа импликации

Граф импликации - это ориентированный граф, в котором каждому узлу присваивается значение true или false, а любое ребро u -> v подразумевает, что if u is true then v is true, Я знаю прямолинейно O(n^2) алгоритм, чтобы найти назначение в графе общ…
20 сен '14 в 19:34
1 ответ

Логическая эквивалентность - ИЛИ ворота и значение

В настоящее время я отвечаю на вопрос о логической эквивалентности и хотел бы получить подтверждение правила, которое я использовал в какой-то момент, поскольку его нет в списке законов, возможно потому, что это "то, что вы должны просто знать". Час…
21 окт '12 в 12:32
1 ответ

Пролог - предикат для сравнения трех аргументов

Я новичок в прологе, и я уже сделал некоторое кодирование, но у меня есть задача, которую я не могу выполнить. Не могли бы вы рассказать мне, как описать рабочий предикат, который сравнивает arg1, arg2 и arg3 и возвращает yes это arg1>arg2>arg3? Спа…
22 янв '18 в 07:30
1 ответ

Как можно доказать ((p ⇒ q) ⇒ p) ⇒ p, используя систему Fitch

К вашему сведению, логическая программа, которую я использую, не может вводить противоречия. Этот пункт, скорее всего, не имеет значения, поскольку я сильно сомневаюсь, что мне понадобится использовать любую форму противоречия для этого доказательст…
16 фев '17 в 23:57
9 ответов

P подразумевает Q, как читать по-английски

Как читать P подразумевает Q в классической логике? пример: Distributivity: Ka(X->Y) -> (KaX -> KaY) Это модальная логика, которая использует классические логические правила.KaX: a знает, что X это правда. Мне интересно, как читать импликац…
20 апр '10 в 23:05
2 ответа

SystemVerilog: подразумевает оператор против |->

Недавно возник вопрос, в чем разница между обычным имплицитным оператором (|->) и implies оператор в SystemVerilog. К сожалению, я не смог найти четкого ответа. Однако я собрал следующую информацию: Из SystemVerilog LRM 1800-2012: § 16.12.7. Подр…
23 июл '14 в 13:48
1 ответ

Транзитивность -> в Coq

Я пытаюсь доказать транзитивность -> в предложениях Coq: Theorem implies_trans : forall P Q R : Prop, (P -> Q) -> (Q -> R) -> (P -> R). Proof. Я хотел уничтожить все предложения и просто обработать все 8 возможностей с рефлексивнос…
22 мар '19 в 07:48
0 ответов

Реализация импликации, где LHS не является двоичным?

Попытка реализовать и индикаторное ограничение в Python + Gurobi, где индикатор (LHS) является суммой двоичной переменной решения. Привет, я хотел бы реализовать следующее в Python + Gurobi: Y_i_d and U_d are binary decision variables: Y_i_d = model…
11 июл '19 в 10:50