lambda1@tg => YSITD: We can start by studying the theory of boolean functions and formulas. Two-valued logic is based on two foundational principles: the principle of bivalence, which is a fancy way of saying we only allow two truth values, namely true and false, and the principle of extensionality, stating that the truth value of a well formed (propositional) formula is completely determined by the truth value of its subcomponents, without regard to any meaning nor context. #5e74f7882efe4b036969dc7b

lambda1@tg says to YSITD

We can start by studying the theory of boolean functions and formulas. Two-valued logic is based on two foundational principles: the principle of bivalence, which is a fancy way of saying we only allow two truth values, namely true and false, and the principle of extensionality, stating that the truth value of a well formed (propositional) formula is completely determined by the truth value of its subcomponents, without regard to any meaning nor context.

at Sat, Mar 21, 2020 1:04 AM