No.11891222 ViewReplyOriginalReport
Disproof of LNC:
?S := S=false
?lnc := ¬(a^¬a)
?(S=false)=false
?S=true
?S=(true=false)
?S=false
?S^¬S
?¬lnc