peteolcott
2019-04-02 04:19:55 UTC
(1) ∀F∀x (True(F, x) ↔ (F ⊢ x))
(2) ∀F∀x (False(F, x) ↔ (F ⊢ ~x))
(3) ∀F∀x (~True(F, x) ↔ ~(F ⊢ x))
(2) ∀F∀x (False(F, x) ↔ (F ⊢ ~x))
(3) ∀F∀x (~True(F, x) ↔ ~(F ⊢ x))
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein