Logikai formula

1. Sablon:Humatek Az ítéletkalkulus formalizált ítéletekkel, azaz logikai formulákkal kapcsolatos témakörökkel foglalkozik. Egy logikai formulán az alábbi lépések véges sokszori alkalmazásával kapott kifejezéseket értjük: 1. Minden ítéletváltozó egyben logikai formula is. 2. Ha F és G logikai formula, akkor az $(\mathrm{\neg }F),(F\wedge G),(F\vee G),(F\to G),(F\leftrightarrow G)$ kifejezések is logikai formulák.