Logic mint tudomány - a bemutatását 26616
Logic - az egyik legrégebbi tudomány. Mint független tudományos logika alakult ki a IV. BC Úgy véljük, az alapító a ókori görög filozófus Arisztotelész. Logikus gondolkodásra - hogy szerintem pontosan és következetesen, hogy elkerüljék ellentmondások érveiket, hogy meg tudja nyitni a logikai hibák. A téma a kutatás logikája tudomány az emberi elme.
gondolkozásformákat
A koncepció - egyfajta gondolkodásmód, amely tükrözi a megkülönböztető alapvető jellemzői tárgyakat.
Jelentős azok jeleit, amelyek mindegyike külön-külön van szükség, de minden együtt ahhoz, hogy használni őket megkülönböztetni a tárgy vagy jelenség az összes többitől.
A nyelvi véleménynyilvánítással egy kijelentő mondattal
A nyelvi véleménynyilvánítással egy kijelentő mondat. Ítéletek egyszerű és komplex (amely egy vagy több poliéter-(vagy komplex) logikai kifejezések társított logikai műveletek).
Az ítélet (mondat, kimutatás) - egyfajta gondolkodásmód, amelyben valami elfogadták vagy elutasították tárgyakról, azok tulajdonságait és a közöttük lévő kapcsolatok.
Következtetés - egyfajta gondolkodásmód
Következtetés - egyfajta gondolkodásmód, amelyben egy vagy több javaslatokat, az úgynevezett helyiségek, biztosak vagyunk benne következtetési szabályok megkapjuk a bírói következtetést (megkötését következtetés). Küldés következtetéseket csak akkor lehet igaz, értékelések
Ősi logika által létrehozott Arisztotelész, az úgynevezett formális logika
Ez a név származik az alapelv a logikát, mint a tudomány, amely kimondja, hogy a helyességét érvelés (következtetés) esetben csak forma vagy szerkezet, és nem függ a konkrét tartalom az ő ítélete.
matematikai logika (propozicionális algebra) - szakasz a matematikai logika
tanulmányozza a szerkezete (alak, szerkezet) a bonyolult logikai állítások és azok megállapításának módszerei az igazság algebrai módszerekkel.
Amikor azt mondjuk, (ítélet) értetődő kijelentő mondattal, amiről azt mondhatjuk, hogy igaz-e vagy hamis.
Megnyilatkozások jelöljük nagybetűkkel (A), ha egy igaz állítás, akkor jelölje A = 1 és A mondják - igaz. Ha az állítás hamis, akkor írunk a = 0, és azt mondják, A - hamis.
A Boole-algebra fenti állítások lehet műveleteket végezni.
logikai műveletek
Logikai művelet - megépítésére szolgáló eljárásra komplex kifejezések ezek az állítások, ahol a megnyilatkozás bonyolult igazság értéket teljesen határozza meg a kezdeti igazság értékeket megnyilatkozásokat.
Logikai tagadás (inverzió) a logikai szorzás (együtt) a logikai összeadás (szétválasztás) a logikus következménye (közvetve) logikai egyenlőség (ekvivalencia)