The Logic Calculator

Ioannis Votsis‏

מידע על האפליקציה הזו

אפליקציה חינמית זו מאפשרת למשתמשים בלוגיקה הצעתית לבצע פעולות באותה קלות המוצעת על ידי מחשבון מתמטי. זה מקל על הלומדים בהיגיון על ידי מתן משוב משמעותי. אם לדייק, באמצעות אפליקציה זו ניתן לקבוע אם: (1) הקלט מעוצב היטב ואם לא, מדוע לא, (2) משפטים הם טאוטולוגיות, סתירות או מותנות, (3) קבוצות משפטים עקביות או לא עקביות ו- (4) טיעונים תקפים או לא תקפים. זה גם מייצר טבלאות אמת שניתן להעתיק ליישומים אחרים. החל מגרסה זו המחשבון מוגבל לפעולות סמנטיות.

מה חדש?

Bug Fixes and update to target API.