fitch-proofs

0зной

1ответ

Выводя куб (а) из куба (а) <-> а = а (Fitch)

Я пытаюсь что-то доказать в Fitch и я застрял на одном шаге, у меня есть: 1. Cube(a) <-> a = a и я хочу получить 2. Cube(a) от этого. Я знаю, что это возможно, потому что я могу использовать Ana Con

computer-science first-order-logic fitch-proofs 2011-01-30

---

0зной

1ответ

Fitch Format Proofs - любые ресурсы вокруг?

В настоящее время я изучаю логические доказательства первого порядка Fitch Format. Мой лектор внимательно следит за Language, Proof and Logic от Jon Barwise. Я пытаюсь сделать некоторые доказательства

computer-science first-order-logic fitch-proofs 2010-06-09

---

-1зной

2ответ

логик дедукция с системой Fitch

я работал через какую-то логику, и я нашел трудность, я не могу решить, Как доказательство из посылки р => д, что ¬q => ¬p? Спасибо

logic proof fitch-proofs 2013-04-18

---

1зной

1ответ

Учитывая ((p ⇒ q) ⇒ r), используйте Fitch для подтверждения ((p ⇒ q) ⇒ (p ⇒ r))

Я пытаюсь, учитывая ((p ⇒ q) ⇒ r) ,, to используйте Fitch System для подтверждения ((p ⇒ q) ⇒ (p ⇒ r)). Любые идеи о том, как я должен действовать?

fitch-proofs 2013-04-19

---

3зной

3ответ

Fitch Format Proofs - любые автоматические решатели вокруг?

Существует ли какое-либо программное обеспечение, связанное с использованием формата Fitch (используется в Language, Proof and Logic), позволяет разместить определенный набор помещений и целей и показ

computer-science logic first-order-logic fitch-proofs 2010-06-29

---

2зной

1ответ

Fitch-Style Proof

Привет, У меня возникли проблемы с решением Fitch Style Proof, и я надеялся, что кто-то сможет мне помочь. Помещения: A^(B v C) B => D C => E Цель: ~E => D

logic proof fitch-proofs 2014-06-10

---

2зной

2ответ

Формальное доказательство для P → Q ≡ ¬P ∨ Q в Fitch

Я пытаюсь построить формальное доказательство для 'P → Q ≡ ¬P ∨ Q' в Fitch. Я знаю, что это правда, но как я могу это доказать?

logic proof fitch-proofs 2014-09-19

---