India Math Education Network

Learn Mathematics, Teach Mathematics


Logic & Applications

Logic is formalized reasoning.

Members: 10
Latest Activity: Mar 5, 2015

Symbolic Logic

This involves propositions and propositional functions. There are a set of rules, using which with respect to certain assertions, inferences follows. 


Though this formalism is very strong in deterministic systems, they more oftain fail to solve real life problems where vagueness creeps in.


To address such situations, other logics have evolved, which can be discussed elsewhere...


The basic format of symbolic logic is as follows:


(given propositions| p1, p2, p3,...) -> [rules] -> {inferences}



Discussion Forum

irrational number

right triangle with 1,1 and root 2 cmroot 2 is irrational but then it is a line with 2 dead points can we infer then root 2 has a dead point if yes then infinity prospects conflictsContinue

Started by JEET PAVANI Feb 26, 2012.

Comment Wall


You need to be a member of Logic & Applications to add comments!


Members (10)


Please click

Pre-registration for TIME 2015

Contact us

Math Masti booklets

Math masti booklets for kids of all ages. Booklet 1 Rs 30/= Booklet 2 Rs 20/=

Postage free on ordering both.


© 2017   Created by Inder Kumar Rana.   Powered by

Badges  |  Report an Issue  |  Terms of Service

Locations of visitors to this page