| Različica | 2.0 |
|---|---|
| Založnik | Hatzic Intellectual Software |
| Datum izdaje | 10. jun. 2016 |
| Datum dodajanja | 10. jun. 2016 |
| Os zahteve | iOS |
| Zahteve | Compatible with: ipad2wifi, ipad23g, iphone4s, ipadthirdgen, ipadthirdgen4g, iphone5, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen4g, ipadmini, ipadmini4g |
| Skupno prenosov | 7 |
| Cena | $0.99 |
Opis
Mislili ste, da je logika lažja od matematike. Zdaj delate izpeljave in je prepozno, da opustite tečaj. Ta aplikacija je za vas.- Preveri sintakso simboličnih stavkov.- Preveri, ali je izpeljava popolna.- Izpeljane vrstice so obarvane modro; hipoteze so obarvane zeleno.- Zagotavlja označeno izpeljavo, ki prikazuje utemeljitve vrstic.- Označene izpeljave je mogoče poslati po e-pošti kot datoteke RTF. Oglejte si celotne datoteke pomoči za aplikacijo tukaj: http://www.hatzicware.com/logic/Help.pdfOglejte si seznam izbirna pravila izpeljave aplikacije: http://hatzicware.com/logic/rules.pdf
