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

मुक्त ज्ञानकोश विकिपीडिया से
नेविगेशन पर जाएँ खोज पर जाएँ

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

इन्हें भी देखें

सन्दर्भ

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