Liste des Groupes | Revenir à c theory |
On 11/15/2024 3:03 AM, Mikko wrote:So, You agree your arguments are just invalid, as you don't start from the STIPULATED TRUTHS of the system (the ACTUAL stipulation, not your strawman lies that don't count).On 2024-11-14 23:40:19 +0000, olcott said:That is the basic model of all correct proofs.
>When you start with truth and only apply truth preserving>
operations then you necessarily end up with truth.
And if you don't you prove nothing.
>
https://en.wikipedia.org/wiki/Syllogism#Basic_structure
Les messages affichés proviennent d'usenet.