चिन्ह (औपचारिक)

मुक्त ज्ञानकोश विकिपीडिया से
Jump to navigation Jump to search

तार्किक चिन्ह (logical symbol) तर्कशास्त्र की एक बुनियादी अवधारणा है। यह वे टोकन होते हैं जिनके द्वारा किसी औपचारिक भाषा में अवधारणाओं को अभिव्यक्त करा जाता है।[1][2]

इन्हें भी देखें[संपादित करें]

सन्दर्भ[संपादित करें]

  1. John Hopcroft, Rajeev Motwani and Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, 2000
  2. Richard Montague, Universal Grammar, 1970