T8 by David

Related Documents
  • D6: Topic Page: SeeReason Bugs, Issues, Comments
  • D9: Twin Prime Conjecture
Related Theorems
(none)
Equivalence Assertions
(none)
Related Subjects
  • S49: “TPC”
  • S50: “ZFC”
  • S51: “greater than”
  • S52: “prime”
  • S53: “+”
  • S54: “Independent of ZFCS50”
  • S55: “greatest common divisor”
  • S56: “greatest common divisor”
  • S57: “coprime”
  • S58: “ℕ”
  • S59: “successor”
  • S60: “subset”
  • S61: “member”
  • S62: “Peano Axioms”
  • S66: “sum of numbers from 1 to x”
  • S67: “sum of numbers from 1 to x”
  • S68: “÷”
  • S69: “×”
Favorite Subjects
(none)

Copy and edit this theorem...

  • ¬S58(0[]) ∨ ∀x. (S58(x) ⇒ F67[x] = F68[F69[x,F59[x]],2[]])
  • ∀x. (¬S58(0[]) ∨ ¬S58(x) ∨ F67[x] = F68[F69[x,F59[x]],2[]])
  • ¬S58(x) ∨ ¬S58(0[]) ∨ F67[x] = F68[F69[x,F59[x]],2[]]
Truth Table
ValueF67[x] = F68[F69[x,F59[x]],2[]]S58(x)S58(0[])
⊨⊭⊭⊭
⊨⊭⊭⊨
⊨⊭⊨⊭
⊭⊭⊨⊨
⊨⊨⊭⊭
⊨⊨⊭⊨
⊨⊨⊨⊭
⊨⊨⊨⊨
Related Assertions

0 Comments on T8

No comments yet.

add a comment