Parajasti siis, kui

Allikas: Vikipeedia

"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 AB ja selle pöördteoreemi BA ühendava teoreemi AB sõnastamisel: "A parajasti siis, kui B".[1]

Viited[muuda | redigeeri lähteteksti]

  1. Ü. Kaasik, Matemaatikaleksikon (Valgus 1982)