A propositionalis calculus, avagy az ítéletlogika
A logika az érvelés tudománya; azzal foglalkozik, mikor tudunk érvényesen következtetni, vagyis úgy előadni dolgokat, hogy a végkövetkeztetés szükségszerűen elfogadandó legyen. Az érvényes következtetés olyan következtetés, amely helyes előfeltételek esetén helyes végkövetkeztetésre jut. Az érveket, a következtetést alátámasztó mondatok az … Olvasd tovább →