Trash

« first day (1485 days earlier) ← previous day next day → last day (578 days later) »

2:01 PM

If ¬(A∨B):
If A:
A∨B.
¬(A∨B).
⊥.
A⇒⊥.
¬A.
If B:
A∨B.
¬(A∨B).
⊥.
B⇒⊥.
¬B.
¬A∧¬B.
¬(A∨B)⇒¬A∧¬B.
If ¬A∧¬B:
¬A.
¬B.
If A∨B:
If A:
¬A.
⊥.
¬(A∨B).

¬A∧¬B implies (¬(A∨B)).

If ¬(A∨B):
If A:
A∨B.
¬(A∨B).
⊥.
A⇒⊥.
¬A.
If B:
A∨B.
¬(A∨B).
⊥.
B⇒⊥.
¬B.
¬A∧¬B.
¬(A∨B)⇒¬A∧¬B.
If ¬A∧¬B:
¬A.
¬B.
If A∨B:
If A:
¬A.
⊥.
¬(A∨B).

¬A∧¬B implies (¬(A∨B)).

If ¬(A∨B):
If A:
A∨B.
¬(A∨B).
⊥.
A⇒⊥.
¬A.
If B:
A∨B.
¬(A∨B).
⊥.
B⇒⊥.
¬B.
¬A∧¬B.
¬(A∨B)⇒¬A∧¬B.
If ¬A∧¬B:
¬A.
¬B.
If A∨B:
If A:
¬A.
⊥.
¬(A∨B).

¬A∧¬B implies (¬(A∨B)).

If ¬(A∨B):
If A:
A∨B.
¬(A∨B).
⊥.
A⇒⊥.
¬A.
If B:
A∨B.
¬(A∨B).
⊥.
B⇒⊥.
¬B.
¬A∧¬B.
¬(A∨B)⇒¬A∧¬B.
If ¬A∧¬B:
¬A.
¬B.
If A∨B:
If A:
¬A.
⊥.
¬(A∨B).

If ¬(A∨B):
   If A:
      A∨B.
      ¬(A∨B).
      ⊥.
   A⇒⊥.
   ¬A.
   If B:
      A∨B.
      ¬(A∨B).
      ⊥.
   B⇒⊥.
   ¬B.
   ¬A∧¬B.
¬(A∨B)⇒¬A∧¬B.
If ¬A∧¬B:
   ¬A.
   ¬B.
   If A∨B:
      If A:
         ¬A.
         ⊥.
    ¬(A∨B).

¬A∧¬B implies (¬(A∨B)).


H

Agin the last bit got deleted due to fixed font @user21820

I label p4

ha ha ha

¬(A∨B).

¬A∧¬B implies (¬(A∨B)).

Was below

with approratw indents

@user21820

P5 easily follows from p4