Learn Mathematics, Teach Mathematics

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}

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

Pre-registration for TIME 2015

© 2017 Created by Inder Kumar Rana. Powered by

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