"if for all x A(x) implies B(x) then you can substitute x for whatever and then x holds both statements" NOF UCKING DUH OH MY GOD
Follow
@Shadow8t4 wow that's really... basic level stuff...
"if for all x A(x) implies B(x) then you can substitute x for whatever and then x holds both statements" NOF UCKING DUH OH MY GOD
@Shadow8t4 wow that's really... basic level stuff...
@lizardsquid To be fair he was trying to say this applies for a knowledge base when evaluating propositions but still... That shit should be kind of obvious?