25/11/09 15:04:09.06 wauc0h2b.net
>>618
証明とは論理式の有限列であり、
条件：初項は前提、末項は結論、その他の項は前提または直前の項に推論規則を適用することで得られるもの
を満たすもののこと。
IUTが依拠する論理が示されていないのは証明のギャップどうこう以前の不備。理論の要件を満たしていない。
無教養なおまえは何が問題かすら分かっていない。
25/11/09 15:04:09.06 wauc0h2b.net
>>618
証明とは論理式の有限列であり、
条件：初項は前提、末項は結論、その他の項は前提または直前の項に推論規則を適用することで得られるもの
を満たすもののこと。
IUTが依拠する論理が示されていないのは証明のギャップどうこう以前の不備。理論の要件を満たしていない。
無教養なおまえは何が問題かすら分かっていない。