logical truth

[ریاضیات] راستی منطقی