Cuardaigh téarma Béarla nó Gaeilge
Search for a term in English or Irish
#
Matamaitic » Loighic & Tacartheoiric Ag staid ar bith de phróiseas cruthúnais, is féidir coibhéis tairisceana nó abairte oscailte a chur in ionad na tairisceana nó na habairte oscailte.
Mathematics » Logic & Set Theory At any stage of a proof we may replace a proposition or an open sentence by an equivalent one.