Nearby theorems
|
|
Mathbox for Jonathan Ben-Naim |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > MPE Home > Th. List > Mathboxes > w-bnj17 | Structured version Visualization version GIF version | ||
| Description: Extend wff notation with the 4-way conjunction. (New usage is discouraged.) |
| Ref | Expression |
|---|---|
| wph | wff 𝜑 |
| wps | wff 𝜓 |
| wch | wff 𝜒 |
| wth | wff 𝜃 |
| Ref | Expression |
|---|---|
| w-bnj17 | wff (𝜑 ∧ 𝜓 ∧ 𝜒 ∧ 𝜃) |
| Colors of variables: wff setvar class |
| Copyright terms: Public domain | W3C validator |