Matematická logika (alebo z pohladu filozofie moderná logika) je
matematická disciplína zaoberajúca sa štúdiom formálnych
systémov vo vztahu ku konceptom dôkazu a výpoctu ako cast základov
matematiky.
Matematická logika je moderná forma logiky, ktorá sa od
staršej, tradicnej logiky odlišuje
predovšetkým jej formalizáciou a kalkulizáciou, prípadne (z
praktických dôvodov) symbolizáciou.
Matematická logika je formálna logika, ktorá pri skúmaní myslenia
používa matematické metódy, špeciálny aparát symbolov a
kalkuly prípadne formalizované jazyk.
Pravidlá, ktoré matematická logika pri výskume myslenia
vytaží, sú analogické s pravidlami matematických, najmä
algebraických operácií. Úlohou matematickej logiky je vlastne to
isté, co úlohou tradicnej logiky, totiž vyvinút postupy,
pomocou ktorých by sa dala preverit správnost našich
logických uzáverov, alebo inác povedané, pomocou ktorých by sa dali
odlíšit platné uzávery od neplatných. Alebo ešte inác
povedané, úlohou matematickej logiky je vypracovat kritériá,
pomocou ktorých by sa dali rozlíšit logicky pravdivé
výpovede od iných právd.
Ku cache:
Na nájdenie cache bude treba vyriešit dva jednoduché
matematicko-logické príklady. Ak si nebude vediet s niecím poradit,
stací napísat mail a ja s radostou poradím.
1. Cacher Jano stavil v kasíne 1/10 svojich penazí. Prehral.
Stavil 1/5 pôvodnej ciastky. Prehral. Nenechal sa odradit a stavil
200€. Prehral. Stavil ešte 7€. Prehral. Uvedomil
si, že takáto forma podnikania mu nie je súdená, a
odišiel. Na ulici si porátal, co mu zostalo, a zistil,
že je to presne tolko centov, kolko mal predtým eur. Aká bola
pôvodná suma eur, s ktorou sa rozhodol hrat ?
Výsledok 1 = ABB
2. Vyšiel mlynár z brány, ked leteli nad ním divé husi.
Zavolal na ne: „Sto husí, kde letíte?“ Na co mu
odpovedal gunár: „Keby nás bolo raz tolko, pol tolko, stvrt
tolko a ty s nami, potom by nás bolo sto. Kolko bolo husí?
Výsledok 2 = CD
Ciastkové výsledky dosad sem:
N 48° 22.(D/2)(B+4*2)(C+1)
E 017° 35.(D-A-1)(D*2-9)(A*C)