tamdeyim ne demek?
- ( ) . Anl. düzgüntamdeyim. Krş.. tekiltamdeyim, geneltamdeyim, açıktamdeyim, kapalıtamdeyim.
Formula, quasi-sentence, well-formed formula.
Formule
tamdeyimsel değişken bağlama imi
- Belli sayıda değişkene uygulandığında bir tamdeyimden bir önerme oluşturan değişken bağlama imi; dizimsel türü: ( )
tamdevirme
- ( ) || Örn. 'Bütün insanlar ölümlüdür' önermesindentamdevirme ile 'Bütün ölümlü olmayanlar insan olmayandır' önermesi elde edilir.
Contraposition, full-contraposition.
Contraposition