Creating New Logic’s Laws by Using Coding in Microsoft Excel

Law (1):

(p → q) I ((p → q) → r) I (((p → q) → r)) → s) I ((((p → q) → r)) → s) → t) I……

This Logic always “TRUE”

Examples:

Law (1) for three propositions (variables)

Law (1) for four propositions (variables)

Law (1) for five propositions (variables)

Law (2):

(p → q) & ((p → q) → r) & (((p → q) → r)) → s) & ((((p → q) → r)) → s) → t) &……

This logic, under below conditions always is “TRUE”:

·     -    p = False and other propositions (variables) are “TRUE”

·      -   p and q = False and other propositions (variables) are “TRUE”

·     -    All propositions (variables) are “TRUE”

Examples:

Law (2) for three propositions (variables)

Law (2) for four propositions (variables)

Law (2) for five propositions (variables)

To be continued .....