cimbiportal
Men
 
Vide
 
Avril lavigne - Together
 
Cimbi knyvespolca
 
Cimbi fikja
 
Sarah Mlyowski
 
Vasrnapi iskola nem csak gyerekeknek
 
Bejelentkezs
Felhasznlnv:

Jelsz:
SgSg
Regisztrci
Elfelejtettem a jelszt
 
 
Minden ami Harry Potter
 
Vendgknyv

 
Mindenfle boszorknysgok
 
Ajnl

 

 
Vrakozs

 

 
Idzet

"Boldog akarsz lenni? Akkor hrom dolgot tegyl: lgy azokkal, akik megmosolyogtatnak, nevess annyiszor, ahnyszor csak levegt veszel, s szeress addig, amg csak lsz."

 
Kedvencek
 
Szavazs
;)
Szerinted melyik a legszebb magyar sz?

szeretet
szintesg
knny
hall
szerelem
srs
boldogsg
tisztasg
llek
egybb (a trsalgba vagy a chatra tudod megrni)
Szavazs llsa
Lezrt szavazsok
 
Matek puskk
Matek puskk : Matematikai Logika

Matematikai Logika

Dni  2008.02.05. 17:33

Ht igen ilyen is van! :D

 

Matematikai Logika
 
A kznapi letben, de legfkpp a matematikban gyakran hasznlunk logikai kvetkeztetsi eljrsokat, gy nevezve azt a gondolkodsi folyamatot amelyek sorn bizonyos lltsok (permisszk) igazsgbl kvetkeztetnk valamilyen llts kommunikci igazsgra.
 
Mikor lesz egy kvetkeztets logikailag helyes?
Helyes egy kvetkeztets, mert a konklzi hamissga sszeegyeztethetetlen a permisszk igazsgval.
 
Pl.: Ha 3/1960, akkor 6/1960
         De nem igaz, hogy 31960
     Teht az sem igaz, hogy 6/1960      
 
Helyes logikai kvetkeztetets az amely minden lehetsges hasonl esetben clravezet.
 
1,Pl.: A; (A s B )  C ; nem C
                     nem B csak igaz lehet
2,Pl.: A B nem A
           nem B        (igaz vagy hamis)
            A: Brazilia fvrosa Buenos Aires
            B: Buenos Aires Dl-Amerikhoz tartozik
            AB: Ha Brazilia fvrosa Buenos Aires, akkor Buenos Aires Bl Amerikhoz tartozik.       (igaz)
nem A : nem igaz, hogy Brazilia fvrosa Buenos Aires   (igaz)
 
Konklzi: nem B nemigaz, hogy Buenos Aires Dl Amerikban van (hamis)
Ez a kvetkeztets logikailag nem helyes
 
Def:  egy kvetkeztetst akkor tekintnk logikailag helyesnek, ha minden olyan esetben, amikor a benne szerepl egyszer tovbb mr nem bonthat kijelentsek helyre tetszleges olyan kijelentseket tesznk, amelyeknl a premisszk mind igazak lesznek, a konklzi is mindg igaz lesz.
 
Az tlet fogalma: Azok a kijelentsek amelyek egyrtelmen igazak vagy hamisak
Logikai rtkek: az 'igaz' s a 'hamis' tulajdonsgok
Matematikai logika: a gondolkods matematikai formban kifejezhet, a matematikai eszzkre vizsglhat szvegsszefggsak feltrsval foglalkozik.
 
Mveletek tletekkel
 
A logikai mveletek: Az tlet kalkulus mveletei tletekbl gymint komponensekbl olyan tleteket hoznak ltre, amelyek logikai rtkt komponenseik logikai rtkei egyrtelmen meghatrozzk.
Negci: mvelete egy tletnek a tagadsa. e mvelet eredmnye akkor s csak akkor igaz tlet, ha a mvelet komponense hamis. jele :
                       
A
A
i
h
h
i
 
Konjunkci: mvelete kt tlet az "s" ktszval kapcsol ssze e mvelet logikai rtke akkor s csak akkor igaz, ha mindkt komponensnek logikai rtke igaz jele:
                                   
A
B
AB
i
i
i
i
h
h
h
i
h
h
h
h
 
Diszjunkci: mvelete kt tlet a megenged "vagy" ktszval kapcsol ssze. Logikai rtke akkor s csak akkor hamis ha mindkt komponense diszjunkci vagyis hamis jele:
 
A
B
AB
i
i
i
i
h
i
h
i
i
h
h
h
 
Disztributivits: (AB)(AC)=A(BC)
                                    (AB) (AB=A(BC)
 
Elnyelsi szablyok: A(AB)=A
                                     A(AB)=A
 
Idempotencia (rvidtsi szably) A logikai algebrban nincs 1-nl nagyobb kitev s 1-nl nagyobb egythat sem.
                                     AA=A
                                     AA=A
 
De Morgan azonossgok:(AB)=AB ; (AB)=AB
 
Ketts negci: A=A
 
Impikci:  P s Q itletbl "ha P, akkor Q" alak itletet hoz ltre. jele PQ
                        P (eltag); Q (uttag)
            rendszerint hatrozatlan logikai rtk itletek sszekapcsolsra hasznljuk.
            Implikci akkor s csak akkor hamis ha az eltag igaz s az uttag hamis.
 
Teht a P s Q tletek, akkor a PQ implikcii ltalban a nem P vagy Q tleteket rtjk ez akkor s csak akkor hamis, ha P igaz s Q hamis. Ha P akkor Q tlat logikai rtke mindg azonos a PQ imlika logikai rtkvel.
 
Def: Formula: Az tletkalkulusban a log- rtkeket a log-i vltozkat s a rajtuk vgzett mveleteket ler jelsorozatokat az itlet kalkulus formulinak nevezzk
 
Def: Kt formult azonosnak mondunk ha e kt formula a bennk szerepl vltozk lehetsges rtke esetn ugyanazt a logikai rtket lltjuk el.
 
Ekvivalencia: a P s Q tletre " P akkor s csak akkor, ha Q" alak tletet hoz ltre jele: PQ
A PQ alak tletek logikai rtkt akkor s csak akkor tekintjk igaznak ha az egyik komponens igazsga esetn a msik is igaz, az az, ha vagy mindkt komponens igaz, vagy mindkt komponens hamis.
 
Tulajdonsgok:
            a. Az implikci nem kommutatn (rtktblzata nem szimmetrikus a ftlra)
            b. Az ekvivalencia kommutatv
                AB = B A
 
Tovbbi mveletek:
"Vagy" hrom jellemzse
            a. A B : A s B kzl legalbb az egyik igaz (megenged vagy)
            b. A B : A s B kzl pontosan az egyik igaz (kizr vagy)
            c. A B : A s B kzl legfljebb az egyik igaz (sszefrhetetlensget kifejez vagy)
Sem-sem mvelet: Jele
 
Kommutativits:
            A B = B A
            A B = B A
            A B = B A
 
Asszociativits:
            (A B) C A (B C), mert A=B = i s C= k, akkor bal oldal igaz, jobb oldal hamis.
            (A B) C A (B C), mert A=B = k s C= i, akkor bal oldal hamis, jobb oldal igaz.
 
 
 
 
 
 

 
Hello boys and girls!!!
 
Hnap tmja
 
Nvnapok

 
Twilight
 
Naptr s ra
 
Kpecske
 
Mindenfle okossgok
 
Minden htre egy ige

"Nem az a fontos, hogy meddig lnk, Hogy meddig lobog vrnk, Hogy cskot meddig krnk s adunk, Hanem az, hogy volt egy napunk, Amirt rdemes volt lni..."

 
Chat
Nv:

zenet:
:)) :) :@ :? :(( :o :D ;) 8o 8p 8) 8| :( :'( ;D :$
 
Puskk
 
 
Haszons oldalak
 
Szerinted...
;)
Melyik lennl szivesebben?

Vrfarkas ( Jacob)
Vmpir ( Edward)
Szavazs llsa
Lezrt szavazsok
 
Enyien vagyunk!
Induls: 2007-08-03
 
Hrlevl
E-mail cm:

Feliratkozs
Leiratkozs
SgSg
 
nnepek
 
effekt
 

Elkészítem születési horoszkópod és ajándék 3 éves elõrejelzésed. Utána szóban minden kérdésedet megbeszéljük! Kattints    *****    Könyves oldal - egy jó könyv, elrepít bárhová - Könyves oldal    *****    20 éve jelent meg a Nintendo DS! Emlékezzünk meg ról, hisz olyan sok szép perccel ajándékozott meg minket a játékaival!    *****    Ha érdekelnek az animék,mangák,videojátékok, japán és holland nyelv és kultúra, akkor látogass el a személyes oldalamra.    *****    Dryvit, hõszigetelés! Vállaljuk családi házak, nyaralók és egyéb épületek homlokzati szigetelését! 0630/583-3168 Hívjon!    *****    Könyves oldal - Ágica Könyvtára - ahol megnézheted milyen könyveim vannak, miket olvasok, mik a terveim...    *****    Megtörtént Bûnügyekkel foglalkozó oldal - magyar és külföldi esetek.    *****    Why do all the monsters come out at night? - Rose Harbor, a város, ahol nem a természetfeletti a legfõbb titok - FRPG    *****    A boroszkányok gyorsan megtanulják... Minden mágia megköveteli a maga árát. De vajon mekkora lehet ez az ár? - FRPG    *****    Alkosd meg a saját karaktered, és irányítsd a sorsát! Vajon képes lenne túlélni egy ilyen titkokkal teli helyen? - FRPG    *****    Mindig tudnod kell, melyik kikötõ felé tartasz. - ROSE HARBOR, a mi városunk - FRPG    *****    Akad mindannyijukban valami közös, valami ide vezette õket, a delaware-i aprócska kikötõvárosba... - FRPG    *****    boroszkány, vérfarkas, alakváltó, démon és angyal... szavak, amik mind jelentenek valamit - csatlakozz közénk - FRPG    *****    Why do all the monsters come out at night? - Rose Harbor, a város, ahol nem a természetfeletti a legfõbb titok - FRPG    *****    why do all monsters come out at night - FRPG - Csatlakozz közénk! - Írj, és éld át a kalandokat!    *****    CRIMECASESNIGHT - Igazi Bûntényekkel foglalkozó oldal    *****    Figyelem, figyelem! A második vágányra karácsonyi mese érkezett! Mesés karácsonyt kíván mindenkinek: a Mesetáros    *****    10 éves a Haikyuu!! Ennek alkalmából részletes elemzést olvashatsz az anime elsõ évadáról az Anime Odyssey blogban!    *****    Ismerd meg az F-Zero sorozatot, a Nintendo legdinamikusabb versenyjáték-szériáját! Folyamatosan bõvülõ tartalom.    *****    Advent a Mesetárban! Téli és karácsonyi mesék és színezõk várnak! Nézzetek be hozzánk!