Описание тега fitch-proofs
2
ответа
Доказательства формата Fitch - есть ли ресурсы вокруг?
В настоящее время я изучаю логические доказательства первого порядка в формате Fitch. Мой лектор внимательно следит за языком, доказательством и логикой Джона Барвейса. Я пытаюсь сделать некоторые доказательства, но у меня возникают проблемы с поним…
09 июн '10 в 04:49
1
ответ
Fitch-Style Proof
Привет, у меня проблемы с проверкой Fitch Style Proof, и я надеялся, что кто-нибудь сможет мне помочь. Предпосылки: A ^ (B v C) B => D C => E Цель: ~E => D
10 июн '14 в 22:15
3
ответа
Логический вывод с системой Fitch
Я работал с некоторой логикой, и я нашел трудность, которую не могу решить, Как я могу доказать из предпосылки p=>q, что ¬q=>¬p? Спасибо
18 апр '13 в 19:11
2
ответа
Формальное доказательство для P → Q ≡ ¬P ∨ Q в Fitch
Я пытаюсь построить формальное доказательство для "P → Q ≡ ¬P ∨ Q" в Fitch. Я знаю, что это правда, но как мне доказать это?
19 сен '14 в 18:40
1
ответ
Получение куба (a) из куба (a) <-> a = a (Fitch)
Я пытаюсь что-то доказать в Fitch, и я застрял на одном шаге, у меня есть: 1. Cube(a) <-> a = a и я хочу получить 2. Cube(a) От этого. Я знаю, что это возможно, потому что я могу использовать Ana Con на 2. и выбрав 1. в качестве предпосылки, и…
30 янв '11 в 20:46
3
ответа
Работает над логикой - система Фитча
Борясь с логикой и системой подбора, Я пытаюсь, учитывая (p ⇒ ¬q) и (¬q ∧ p ⇒ r) и p, использовать систему Fitch для доказательства r. Есть идеи, как мне поступить?
16 окт '12 в 19:49
0
ответов
Меньшее количество шагов при вычете в стиле Фитча
Я только сейчас изучаю доказательства в стиле Фитча. Так что нужна помощь в этом. Ниже приведены две предпосылки: Longer(p,q) v Longer(p,r) shorter(q,p) v ¬Longer(p,r) Как я могу добиться заключения Longer(p,q) за меньшее количество вычетов? Я попыт…
14 окт '17 в 09:28
1
ответ
Формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p
Я пытаюсь построить формальное доказательство для ((p ⇒ q) ⇒ p) ⇒ p. в Fitch. Я знаю, что это правда, но как мне доказать это? Я могу использовать только "Интро", "Элим", "Инро", "Элим", "Нег интро", "Нег Элим", "Импл интро", "Импл Элим", "Двухуслов…
16 мар '17 в 15:51
3
ответа
Fitch Format Proofs - есть ли автоматические решатели вокруг?
Существует ли какое-либо программное обеспечение, которое использует формат Fitch (используется в " Языке, доказательствах и логике"), позволяет определить конкретный набор предпосылок и целей и позволяет ли оно показать нам полный список шагов, нео…
29 июн '10 в 08:12
1
ответ
Учитывая ((p ⇒ q) ⇒ r), используйте систему Fitch для доказательства ((p ⇒ q) ⇒ (p ⇒ r))
Я пытаюсь, учитывая ((p ⇒ q) ⇒ r),, использовать систему Fitch для того, чтобы доказать((p ⇒ q) ⇒ (p ⇒ r)). Есть идеи, как мне поступить?
19 апр '13 в 06:39
1
ответ
Как можно доказать ((p ⇒ q) ⇒ p) ⇒ p, используя систему Fitch
К вашему сведению, логическая программа, которую я использую, не может вводить противоречия. Этот пункт, скорее всего, не имеет значения, поскольку я сильно сомневаюсь, что мне понадобится использовать любую форму противоречия для этого доказательст…
16 фев '17 в 23:57
1
ответ
Почему Q → P является логическим следствием ¬(P → Q )
Я не хочу спрашивать об этом своего профессора, потому что я ужасен в этом, а он, мягко говоря, не терпеливый профессор. В ЛЮБОМ СЛУЧАЕ, насколько я понял, это означало две разные вещи. И это равно (¬P → ¬Q ). Но один из ответов на вопрос говорит, ч…
10 янв '22 в 23:42
0
ответов
Логический вывод Fitch
Я не могу найти решение этого вывода. Для помещений: AvB и ¬AvC. Как я могу вывести BvC с помощью системы Fitch? Я пробовал следующее, но изо всех сил пытался найти решение:
28 июн '22 в 20:25