1/6/2023 0 Comments Law of undisturbed middle![]() ![]() To have a proof for ‘φ implies ψ’ (‘φ → ψ’) means to have a procedure that converts a proof of φ into a proof of ψ. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |