Category Archives: Advanced Formal Modelling

Modus Ponens

Propositional Logic : Truth Table and Contradiction

 

https://en.wikipedia.org/wiki/Propositional_formula

 

 

Knowledge Representation:

 

 

Advanced Formal Modelling

 

 

 

Number Sets Revise:

https://www.dcode.fr/number-sets