✝️ Proverbs 18:17 The one who first states a case seems right,     until the other comes and cross-examines. So, I was bored and wanted to make something like FOL but with more stuff covered! So before we begin, let T1, T2, and T3 stand in for any term, let V1 and V2 stand in for any variable, let F1 and F2 stand in for any formula! This different kind of logic has the usual ideas of AND, OR, NOT, IMPLIES, IFF, FORALL, THEREEXISTS, EQUALS. However, I use different symbols! AND is &, used like F1 & F2, OR is |, used like F1 | F2, ~ is NOT, used like ~F1, -> is IMPLIES, used like F1 -> F2, <-> is IFF, used like F1 <-> F2, # is THEREEXISTS used like \#V1 (F1), @ is FORALL used @V1 (F1). Now I also added the traditional EXACTLYONE, used like !V1 (F1). I added stuff that FOL can remake such as % is XOR, used like F1 % F2, ; is NOR, used like F1 ; F2, : is NAND, used like F1 : F2, ' is nimplies, used like F1 ' F2. Now I also have = and () ofc lol, = to check if two terms are equal to each other and () for grouping. Now as you can see everything just seems like FOL but with different symbols and a bit more stuff however here is where the real fun begins, I added new operators! I will introduce the operators in groups, so the first group is the likelihood group, it compares how likely F1 is compared to F2, the likelihood operators are >, used like F1 > F2, and it means F1 is more likely than F2, < is used like F1 < F2, and it means F1 is less likely than F2, +, used like F1 + F2 means F1 and F2 are equally likely, >>, used like F1 >> F2 means F1 is much more likely than F2, << is used like F1 << F2 and it means F1 is much less likely than F2, -, used like F1 - F2 means F1 and F2 cant be compared! The next group of operators is showing how F1 being true could change the likelihood of F2 or leave it unchanged, +> is used like, F1 +> F2 and it means if F1 is true then raise the likelihood of F2, ++> is used like, F1 ++> F2 means if F1 is true then raise the likelihood of F2 strongly, /> is used like F1 /> F2 and it means if F1 is true then lower the likelihood of F2, //> is used like F1 //> F2 and it means if F1 is true then lower the likelihood of F2 strongly, ~~ is used like F1 ~~ F2, and it means if F1 is true the likelihood of F2 stays the same! The final group is for time, say T1, T2, and T3 are treated as a snapshot in time until I say they are not, they are still both terms, -@- is used like, T1 -@- F1 and it means F1 is true at T1, !@! is used like !@! T3 T1 T2 and it means a change occured because of T3 from T1 to T2, \*@! is used like T1 \*@! T2 and it means T1 comes before T2, -@! is used like F1 -@! T1 and it means F1 is always true during and after T1, ~@! is used like ~@!T1 T2 F1 and it means from T1 to T2 F1 is true, !@~ is used like F1 !@~ T1 and it means F1 is true atleast once during and after T1, \*@\* is used like \*@\* T1 F1 F2 and it means from T1 onward F1 is true until F2 becomes true! Ok T1, T2, and T3 are back to being regular terms! So, to show that something is possible we can do F1 > \#a (~(a=a))! For example, let M be "The mayor robbed the bank", T0 is "the bank was robbed and no footage was checked", T1 be "the police check the cameras after the robbery", T2 is "the footage was found out to be faked", C is "the video showed the mayor robbed the bank", F is "the video was fake"! So, the sentence would look like this wrapped in quotes! "T0 \*@! T1 & T1 \*@! T2 & T0 -@- (M - ~M) & T1 -@- C & C +> M & T1 -@- (M > ~M) & T2 -@- F & F /> (C +> M) & T2 -@- (M - ~M)" Now as a challenge for YOU, I want you to say what it means!