Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Definition meow2 p q r : (p -> (q -> r)) -> ((p -> q) -> (p -> r)) := fun pqr pq p => pqr p (pq p).

Download link

Definition meow2 p q r : (p -> (q -> r)) -> ((p -> q) -> (p -> r)) := fun pqr pq p => pqr p (pq p).
https://social.lizzy.rs/system/media_attachments/files/112/514/487/873/750/755/original/611ce913e1398fc8.png

Notices where this attachment appears

Embed this notice
*(*(void **(*)()) lizzy)() :v_trans: :v_bi: (fleckenstein@social.lizzy.rs)'s status on Tuesday, 28-May-2024 07:37:08 JST *(*(void **(*)()) lizzy)() :v_trans: :v_bi:

formal proof of p → (q → r) ⊢ (p → q) → (p → r) in sequence calculus for propositional logic vs formal proof in coq

In conversation about 11 months ago from social.lizzy.rs permalink