12,144
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 07, 2025
Jump to navigationJump to search→New Versions: fix arrows
| (x (y))
| (x (y))
| not x without y
| not x without y
| x → y
| x ⇒ y
|-
|-
| f<sub>12</sub>
| f<sub>12</sub>
| ((x) y)
| ((x) y)
| not y without x
| not y without x
| x ← y
| x ⇐ y
|-
|-
| f<sub>14</sub>
| f<sub>14</sub>
<br>
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
|+ '''Table 14. Differential Propositions'''
|+ '''Table 14. Differential Propositions'''
|- style="background:ghostwhite"
|- style="background:#f0f0ff"
|
|
| align="right" | A :
| align="right" | A :
|
|
|
|
|- style="background:ghostwhite"
|- style="background:#f0f0ff"
|
|
| align="right" | dA :
| align="right" | dA :
|
|
¬A ∨ ¬dA<br>
¬A ∨ ¬dA<br>
A → dA<br>
A ⇒ dA<br>
A ← dA<br>
A ⇐ dA<br>
A ∨ dA
A ∨ dA
|}
|}
