Arutelu:Formaalloogika

Lisateave selle lehekülje kohta

See sisu oli mõeldud osana artiklist "loogika", mitte omaette artiklina. Siin tuleks alustada teisiti. Andres 06:55, 9 Sep 2004 (UTC)

Kas nii: Formaalloogika ehk formaalne loogika on teadus, mis tegeleb tõestest väidetest tõeste väidete järeldamise viisiga. Või ei sobi see definitsioon? Jaan513 18:54, 9 Sep 2004 (UTC)

Arvan küll, et ei sobi. Väga raske on seda defineerida. Andres 19:55, 9 Sep 2004 (UTC)

Lisa teema