Formuła atomowa - strona 2

(t1, …, tn)| ↔ /_\ (Pi)(Wm(t1, ), .., Wm (tn, )). Słownie: ciąg spełnia formułę atomową...

, zbiór zmiennych I rzędu) Opiszemy zbiory wyrażeń nad alfabetem A Trmσ - termy słownika σ AFrmσ - formuły...

Formułą atomową będziemy nazywać każdy napis postaci f (x1 , x2 , . . . , xn ), gdzie f jest n...

Elementy logiki i teorii mnogości Kazimierz Trzęsicki 2006 4 Wyd. II poprawione i zmienione. Wersja elektroniczna. Spis treści 1 Logika zdań 11 1.1 Pojęcie logiki . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.2 Język logiki zdań . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2....