Ödev Yöneticisi anlamı nedir?
- p gibi bir önermeden Öp (p ödevdir) önermesini oluşturan doğrusal olmayan birli eklem. || Öp önermesinin (
) tamdurumunda doğru olması, p önermesinin (
) ın ödevsel almaşığı olan (. . .
) gibi her tamdurumda doğru olması demektir. Ödev yöneticisinin ikillisi izin yöneticisidir: ( )
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları