# implicational propositional calculus

## English

Wikipedia

### Noun

1. (logic) A minimalist version of propositional calculus which uses only the logical connectives ${\displaystyle \to }$ ("implies") and ${\displaystyle \bot }$ ("false").