問題タブ [fitch-proofs]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
computer-science - Fitch Format Proofs - 何かリソースはありますか?
私は現在、Fitch Format の一次論理証明を勉強しています。私の講師は、Jon Barwiseの Language, Proof and Logicを忠実にフォローしています。
私はいくつかの証明をしようとしていますが、これらの証明を行う方法を理解するのに苦労しています。Language Proof and Logic が提供するものを既に読んだので、正式な証明に Fitch 形式を使用している書籍やリソースが他にあるかどうか知りたいです。
さらに、演習問題を解いておけば、(!) 大いに役立ちます。
ありがとう
computer-science - Fitch Format Proofs - 自動ソルバーはありますか?
Fitch 形式 ( Language, Proof and Logicで使用) を使用して、特定の一連の前提と目標を設定し、問題を解決するために必要な手順の完全なリストを表示できるソフトウェアはありますか?
computer-science - Cube（a）からCube（a）を導出する<-> a = a（フィッチ）
私はフィッチで何かを証明しようとしています、そして私は一歩で立ち往生しています、私は持っています：
そして私はそれから導き出したいです2. Cube(a)。
私はAna Con2.で使用でき、前提として1.を選択できるので、それが可能であることを知っています。それは有効であると言っています。
使用せずにこれを行う方法を教えてくれる人はいますAna Conか？
logic - ロジックの作業 - フィッチ システム
ロジックやフィッチ系に苦戦し、
(p ⇒ ¬q) と (¬q ∧ p ⇒ r) と p が与えられたとき、r を証明するためにフィッチ システムを使用しようとしています。
どのように進めるべきかについてのアイデアはありますか？
logic - Fitch システムによる論理演繹
いくつかのロジックを調べていたところ、解決できない問題が見つかりました。
前提 p=>q から、¬q=>¬p であることをどのように証明できますか?
ありがとうございました
logic - Fitch における P → Q ≡ ¬P ∨ Q の形式的証明
Fitch で 'P → Q ≡ ¬P ∨ Q' の正式な証明を構築しようとしています。これが正しいことはわかっていますが、どのように証明すればよいでしょうか。