gerektirme ne demek?
- Gerektirmek işi, istilzam.
- Bkz. koşul eklemi.
Necessity, requirement.
gerektirmek
- Gerekli kılmak, icap ettirmek, istilzam etmek.
Take.
Want.
Call for.
Suppose.
Beggar.
Entail.
Exact.
Imply.
Indicate.
koşul eklemi
- Ancak önbileşenidoğru, artbileşeni yanlış olduğunda yanlış olanbir bileşik önermeyi oluşturan ikili doğrusal eklem: ( ) Doğruluk çizelgesi:
Conditional, implication.
Implicateur
gerektirme kuralı
- P kanıtsav olması koşuluyla, ( ) nin türetilebildiğini dile getiren öncülsüz çıkarım kuralı.
gerektirmek
- Gerekli kılmak, icap ettirmek, istilzam etmek.
Take.
Want.
Call for.
Suppose.
Beggar.
Entail.
Exact.
Imply.
Indicate.