Parajasti siis, kui

"Parajasti siis, kui"  ja "siis ja ainult siis, kui" on loomuliku keele väljendid, millega loogikas, matemaatikas,  filosoofias ja nende rakendustes väljendatakse loogilist ekvivalentsi. 

Nende väljenditega tähistatakse matemaatikas piisavuse ja tarvilikkuse koosesinemist ning neid kasutatakse teoreemi A ⇒ B ja selle pöördteoreemi B ⇒ A ühendava teoreemi A ⇔ B sõnastamisel: "A parajasti siis, kui B".Ü. Kaasik, Matemaatikaleksikon (Valgus 1982)

 Viited 

Kategooria:Loogika
Kategooria:Matemaatika alused