Föreläsning2[1] (PDF 4.3 MB - New window) - Lunds universitet

More documents

Recommendations

Info

Identitetssymbolen ”=” ingår i alla FOL och uttrycker alltid identitet mellan två objekt (OBS! Identitetssymbolen är en logisk symbol). Notation: Vi skriver ”max = john” (infixnotation) och inte ”=(max, john)” (prefixnotation) I vilken ordning namnen i atomär sats förekommer är ofta av betydelse. Jämför: Längre(max, john) (uttrycker att Max är längre än John) Längre(john, max) (uttrycker att John är längre än Max)
Avsnitt 1.4: Allmänna första ordningens språk Olika första ordningens språk skiljer sig med avseende på vilka namn och predikat de innehåller (dessa är s.k. icke-logiska symboler, med undantag för identitetssymbolen som är en logisk symbol. Översättning (formalisering) – Med fördefinierat FOL (se programmet Tarski’s World) – Med egendefinierat FOL Vid översättning till egendefinierat FOL finns det ofta många olika sätt att gå tillväga
Page 1 and 2: Formell logik Kapitel 1 och 2 Robin
Page 3 and 4: Vi ska beskriva FOL stegvis genom a
Page 5 and 6: Avsnitt 1.1: Individkonstanter (nam
Page 7 and 8: Vilken ställighet har verbet ”gi
Page 9: Avsnitt 1.3: Atomära satser Nu ka
Page 13 and 14: Avsnitt 1.5: Funktionssymboler Vid
Page 15 and 16: En term som bildats med hjälp av f
Page 17 and 18: Kapitel 2: De atomära satsernas lo
Page 19 and 20: Bevis som involverar identitetssymb
Page 21 and 22: Anmärkningar - Det spelar ingen ro

Föreläsning2[1] (PDF 4.3 MB - New window) - Lunds universitet

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?