„Szerkesztő:Kizin/próba” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
→A konjukció: x ez |
|||
36. sor:
Induktív következtetés például: ''Vizes az út, tehát esett az eső.'' Itt a konklúzió nem biztos, hogy igaz, mert egy locsolóautóból is kifolyhatott az útra a víz.
= Ítéletkalkulus =
== A negáció ==
¬A jelentése: "Nem A"
169. sor:
|-
|}
== Ítéletkalkulusbeli formula ==
; Definíció
# minden ítéletváltozó formula
# ha φ formula, akkor (¬φ) is formula
# ha φ és ψ formulák, akkor (φ∧ψ), (φ∨ψ), (φ→ψ) és (φ↔ψ) is formulák
# minden formula előáll a fenti lépések véges sok alkalmazásaival
; Definíció (értékelés)
: Legyen Form: a formulák halmaza és V⊆Form, v:V→{i,h}, v(P<sub>1</sub>)=i
: v kiterjeszthető <math>\overline{v}:Form\rightarrow\left\{i,h\right\}</math> függvénnyé; a műveletek definíciója alapján
;Definíció
: Egy formula '''[[tautológia]]''', ha bármely értékelésre igaz. Jelölése: <math>\models\varphi</math>
: Egy formula '''[[kontradikció]]''', ha bármely értékelésre hamis.
|