Conversation

what do you call this logical system? * alt text is biased

the inference rules of natural deduction

read image description

ALT

6

5

inference rules

1

alternatively, "PL bars"

2

Brendan Zabarauskas

Replying to

lots of funny fractions

1:45 AM · Jun 26, 2021Twitter Web App