Archive Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
University
❯
1. Glossary
❯
Variant disjunction elimination rules
Variant disjunction elimination rules
Properties
2
tags
module4ccs1ela
,
typedefinition
aliases
variant disjunction elimination rules
Jun 18, 2026
1 min read
The variant disjunction elimination rules,
∨
E
1
and
∨
E
2
are: ?
B
A
∨
B
,
¬
A
(
∨
E
1
)
A
A
∨
B
,
¬
B
(
∨
E
2
)
Graph View
Backlinks
3. Introducing variant rules