BSTS / Mantık Terimleri Sözlüğü
anlamdaş deyimler anlamı İng. synonymous expressions Alm.synonyme Ausdrücke Fr. expressions synonymes
Bir biçimsel dilde A ile B düzgün deyimlerinin anlamdaş deyimler olması, A ile B nin aynı dizimsel türden olup, A yı kapsayan her p önermesi ile p içinde A yerine B koymakla elde edilen önermenin doğruluk değerlerinin aynı olması demektir, Krş. kaplamdaş deyimler.