开发人员:
价格: 免费
排名: 0 
评价: 0 我要评价
列表: 0 + 0
积分: 0 + 3 (3.0) ¡
Windows Store

说明

Natural Deduction using Strict Implication
Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication.
查看更多 ↓

屏幕截图

#1. Natural Deduction using Strict Implication (Windows) 来自: Jukka Häkkinen
#2. Natural Deduction using Strict Implication (Windows) 来自: Jukka Häkkinen
#3. Natural Deduction using Strict Implication (Windows) 来自: Jukka Häkkinen
#4. Natural Deduction using Strict Implication (Windows) 来自: Jukka Häkkinen

新版变化

  • 版本: PC
  • 已更新:

价格

  • 今天: 免费
  • 最小值: 免费
  • 最大值: 免费
可选

开发人员

积分

未找到 ☹️

排名

未找到 ☹️

列表

未找到 ☹️

评价

抢先评价一下吧 🌟

其他信息

Natural Deduction using Strict ImplicationNatural Deduction using Strict Implication 短网址: 已复制!

您可能还喜欢

    • Using C# 3.0 Data Features
    • Windows 应用: 教育  来自: Morad Learning Inc.
    • 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 0   版本: PC   C# 3.0 introduced new data features that streamline the way we define classes and the way we instantiate and initialize their instances. This learning unit explores these features and ...
        ⥯ 
    • Data Structures Using C
    • Windows 应用: 教育  来自: Vinay Gautam
    • 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 1 + 7 (3.9)   版本: PC   Want help in making Data Structures programs ? This app will help you in doing this. This app provides some Data Structures programs to help in understanding the logic of creating the ...
        ⥯ 
    • Build Spanish Vocabulary using WordBird 10
    • Windows 应用: 教育  来自: sj34734
    • 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 1 (5.0)   版本: PC   Build a Spanish Vocabulary using proven activities. Regardless of your age or reason to want to build your Spanish Vocabulary, this app WILL help you. This is a tool that can help you ...
        ⥯ 
    • NaturalDeduction
    • Windows 应用: 教育  来自: Jukka Häkkinen
    • 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 4 (4.0)   版本: PC   Proof generator and proof checker for propositional logic in "natural deduction" style.
        ⥯ 
    • Attractors
    • Windows 应用: 教育  来自: Gert Hohndorf
    • 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 2 (5.0)   版本: PC   Using "Attractors" you may search for new Strange Attractors in the following differential equation system (ODE system): x' = a + a x + a y + a z + a xy + a xz + a yz + a x² + a y² + a
        ⥯ 
    • Learn Forms and Shapes
    • Windows 应用: 教育  来自: WhisperArts
    • * 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 14 (4.0)   版本: PC   Using the "Learn forms and shapes" your children quickly learn the basic shape of objects. Educational games can help you quickly learn the appropriate forms, and have fun. The full ...
        ⥯ 
    • Fralc
    • Windows 应用: 教育  来自: Exortex
    • $1.49   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 3 (2.3)   版本: PC   Using this calculator with fractions to add, subtract, multiply, or divide fractions mixed numbers (fractions with integer part), decimal fractions and integers, respectively to find ...
        ⥯ 
    • iMath Problem Solving & Coaching
    • Windows 应用: 教育  来自: Pavel Slavov
    • * 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 1 (1.0)   版本: PC   Using iMath Problem Solving & Coaching, you can find answers to your maths questions and reach unlimited tutors to explain them! iMath provides tutors, students, parents a social ...
        ⥯ 
    • Scratch Link
    • Windows 应用: 教育  来自: Scratch Foundation
    • 免费   
    • 列表: 5 + 2   排名: 0   评价: 0
    • 积分: 10 + 89 (3.9)   版本: PC   Scratch Link is a helper app that lets you connect Scratch to other devices, such as micro:bit and LEGO robotics kits. Using Scratch Link requires both Scratch (you can use either the ...
        ⥯ 
    • Metkagram - AI Grammar Cards
    • Windows 应用: 教育  来自: Metkagram Team
    • * 免费   
    • 列表: 0 + 0   排名: 5 (2)   评价: 0
    • 积分: 0 + 0   版本: PC   Metkagram: AI-Powered Grammar Cards for English and German Metkagram's AI-powered grammar cards are your friendly sidekick in the world of English and German grammar. They're grounded ...
        ⥯ 
    • Type Master Pro - Fast Typing Lesson
    • Windows 应用: 教育  来自: Education Terra
    • * 免费   
    • 列表: 2 + 0   排名: 0   评价: 0
    • 积分: 3 + 1,039 (4.3)   版本: PC   Type Master is a TOUCH TYPING tutor that helps you learn to type using all your 10 FINGERS without watching the keyboard. Touch typing ALLOWS you: - to SAVE time; - to REDUCE switching
        ⥯ 
    • Learn English Words
    • Windows 应用: 教育  来自: DamTech Designs
    • * 免费   
    • 列表: 0 + 0   排名: 0   评价: 0
    • 积分: 0 + 3,585 (4.8)   版本: PC   Learn English words is a must have picture dictionary App. It is helpful to teach your Children lots of English words and make them smarter and intelligent. Children can also give Test
        ⥯ 
    • WeDo 2.0 LEGO® Education
    • Windows 应用: 教育  来自: LEGO Education
    • 免费   
    • 列表: 2 + 0   排名: 0   评价: 0
    • 积分: 1 + 147 (4.1)   版本: PC   WeDo® 2.0 makes coding a reality for elementary students. Using LEGO® bricks, easy-to-use software and engaging STEM projects, teachers have all they need to teach their students ...
        ⥯ 

您可能还喜欢

AppAgg 中可使用的搜索运算符
添加到 AppAgg
AppAgg
立即免费加入AppAgg
注册
登录