DC Proof télécharger

« Pensée critique de l'aide » en utilisant des méthodes de preuves et de la logique formelle
Sous la direction de indir.biz : quelle est la preuve de DC ?
Sur PC (le logiciel gratuit pour une utilisation individuelle - licences de site du même utilisateur pour enquête) libre

---

arguments et pensée critique à l'image des traces de pull-logique appropriée et de théorie des ensembles, chaque ligne du menu en utilisant les règles d'écriture

---

permet à l'utilisateur vérifié à l'aide de méthodes formelles de la logique et de la preuve

---

seul, un lycée interactif, niveau collégial ou universitaire (compte tenu de la logique symbolique et la théorie des ensembles peuvent servir comme comprend une étude de l'introduction

---

Spécifications entrent dans le contenu et les extraits de Table)

---

Code de couleurs variables montre quel genre de généralisations peut être faite en un coup de œil et se traduit également par divers niveaux de détail

---

Vue la preuve peut être tirée - faits saillants et les résultats uniquement, ou entièrement détaillée

---

DC preuve 1.0 Téléchargement gratuite maintenant meilleure lisibilité du texte, placer la preuve pour les commentaires.