Tikel-evetllemeli En Kısa Bir Yasal Biçim » Mantık Terimi
Tikel-evetllemeli En Kısa Bir Yasal Biçim anlamı nedir?
- p gibi bir önermenin tikel-evetlemeli en kısa bir yasal biçim olması, p nin tikel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin ait tümel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tikel-evetlemeli yasal biçimin bulunmaması demektir. || Biçimsel tanım: (p tikel-evetlemeli en kısa yasal biçimdir) (. . .
) {(p tikel-evetlemeli yasal biçimdir) (. . . ) [(q tikel-evetlemeli yasal biçimdir) (.
. . ) (q nun her kurucu bileşeni p nin bir kurucu bileşeninin alt tümel-evetlemesidir) (
) Örn. pqvqrvpr.
-
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları