P Language

From GM-RKB
Jump to navigation Jump to search

See: Propositional Logic, Symbolic Logic.



References

  • http://www.uky.edu/~rosdatte/phi120/glossary.htm
    • P language: A language in symbolic logic utilizing 5 logical operators, or connectives, capital letters to stand for simple propositions, and parentheses, brackets and braces for punctuation. Sentences of this language are called well formed formulas or WFF's.
  • http://www.uky.edu/~rosdatte/phi120/glossary.htm
    • symbolic logic: A type of formal logic in which symbols are used to study the properties of the form of the argument. The most elementary symbolic language is P