Nearby theorems
|
|
bfol.mm Proof Explorer |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > PE Home > Th. List > wff-rcp-AND3 | |||
| Description: Extend WFF definition to include '∧' 3-Tuple. |
| Ref | Expression |
|---|---|
| wff-ph1 | wff 𝜑₁ |
| wff-ph2 | wff 𝜑₂ |
| wff-ph3 | wff 𝜑₃ |
| Ref | Expression |
|---|---|
| wff-rcp-AND3 | wff (𝜑₁ ∧ 𝜑₂ ∧ 𝜑₃) |
| Colors of variables: wff objvar term class |
| Copyright terms: Public domain | W3C validator |