# Lecture Notes for MATH 0209A - CRYPTOGRAPHY at UC Los Angeles (UCLA)

## Notes Information

 Material Type: Class Note Professor: Staff Class: MATH 0209A - CRYPTOGRAPHY Subject: Mathematics University: University of California - Los Angeles Term: Spring 2008 Keywords: Either...orImmediatelyContradictingContradictionImportant Di ErenceDistinctionSimilar ArgumentSatisfactionReadabilityConjunction

## Sample Document Text

Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p0; p1; p2;::: (ii) connectives :; _ (iii) parentheses ( , ) Remarks: (a) We shall pay little or no attention to the use-mention distinction. For instance, we are more likely to write \p1 is a sentence letter" than \ 'p1' is a sentence letter." (b) There are several standard variants of our list of connectives. Trivial variants can be gotten by using literally di erent symbols to play the roles ours play. For example, it is common to use in place of our :. Other variants can be gotten by using additional symbols that play di erent roles from those ours play, e.g., connectives ^, !, and \$. We do not do this, in order to keep de nitions and proofs as short and simple as possible. We will, however, introduce the symbols mentioned above as abbreviations. Instead of adding connectives to our list, one could replace our conne...

## Related Documents

Definite Truth Values Notes
Either...or Exam
Autoeroticism Notes
Secondary Authority Notes
Complicated Notes
Semantic Web Notes
Either...or Exam
Either...or Exam
Either...or Exam
Immediately Exam
Materiality Notes
Immediately Notes
Propositional Exam
In/on/at a Place Notes
Similar Argument Exam
Lecture Notes Math Notes