Naked Science Forum

On the Lighter Side => New Theories => Topic started by: talanum1 on 29/08/2022 11:16:11

Title: Can Definitions in Logic be Any Formula and still Preserve the Systems Soundnes?
Post by: talanum1 on 29/08/2022 11:16:11

They define "AND" in terms of "OR" as: P AND Q =_Def ~(~P OR ~Q), but this is with the benefit of De Morgans Law which was proved. No wonder it preserves Soundness. The definitions don't figure in Soundness proofs.