✝️ Revelation 1:4 John to the seven churches that are in Asia: Grace to you and peace from him who is and who was and who is to come and from the seven spirits who are before his throne, So, I wanted to make another toy logic because I am kinda unhappy with [apocrypha](APOCRYPHA_A_TOY_LOGIC)! It was to rushed and wasn't thought out! I want something closer to FOL. Let T1 and T2 both be any term and let F1 and F2 both be any formula and let V1 and V2 both be any variable! Now, a formula's likelihood is set from the outer most operator! Every operator besides `+` gives the max likelihood or the min likelihood but `+` gives a real but numberless likelihood and only when `+` is the outer most operator! If `+`​ is inside another operator then the outer operator sets the likelihood instead of `+`​! ``` T1 = T2 Truth: True if T1 is equal to T2! Likelihood: If the operation is true then max, else min! F1 ~ F2 Truth: True if either F1, F2, or both are false. Likelihood: If the operation is true then max, else min. @V1 F1 Truth: True if F1 is true for every value of V1. Likelihood: If the operation is true then max, else min. F1 > F2 Truth: True if F1 is at least as likely as F2! Likelihood: If the operation is true then max, else min! F1 + F2 Truth: True if F1 and F2 both being true is at least as likely as F1 being false and F2 being true. Likelihood: How likely F1 is when we suppose F2 is true. F1 } F2 Truth: True if out of all the cases where F1 is true, F2 is true in every case closest to our reality! Likelihood: If the operation is true then max, else min! F1 $ F2 Truth: True if a case where F1 is true leads to a case where F2 is true by at least one step. Likelihood: If the operation is true then max, else min. ```