Search for tag: "logic"

Kathabhidhana - an open toolkit for anyone to record their language in a human and machine readable form.

Kathabhidhana is an open toolkit for anyone to record their language in a human and machine readable form. It is a collection of open source tools, educational material, and open sample datasets.…

From  Ewan McAndrew 5 Months ago 0   30    0  
Publisher
Subhashish Panigrahi
Licence Type
Creative Commons - Attribution Share A Like
Language
English
Date Created
20/06/2017

Universal Derivation

Using universal derivation (ud)

From  Brian Rabern 9 Months ago 0   81    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Date Created
16/03/2017

Introducing L3 derivations

Talking through problem 3:5 introducing the quantifier inference rules.

From  Brian Rabern 9 Months ago 0   117    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Date Created
16/03/2017

De Morgan's Law T63

A derivation of a theorem for the derived rule dm.

From  Brian Rabern 10 Months ago 1   196    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
10/02/2017

Assumptions for conditional derivation

A look at Week 3 exercise 1:18 and the multiple assumptions and show lines involved.

From  Brian Rabern 10 Months ago 0   261    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
05/02/2017

Derivation dub

doing some derivations for fun

From  Brian Rabern 10 Months ago 1   199    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
29/01/2017

Let's modus ponens

Explaination of exersice 1:2

From  Brian Rabern 10 Months ago 1   275    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017

a simple derivation

The basics mechanics of derivations. How to do problem 1:1.

From  Brian Rabern 10 Months ago 2   351    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017

elogic getting started

How to register with elogic.

From  Brian Rabern 10 Months ago 0   211    0  
Course Code
PHIL08004
Publisher
elogic
Licence Type
All rights reserved The University of Edinburgh
Language
English
Date Created
26/01/2017