Characteristica universalis 3. Logikai alapfogalmak.

Slides:



Advertisements
Hasonló előadás
Extenzionális mondatfunktorok
Advertisements

Kondicionális Eddig: Boole-konnektívumok ( , ,  ) Ezek igazságkonnektívumok (truth-functional connectives) A megfelelő köznyelvi konnektívumok: nem.
A matematikai logika alapfogalmai
5. A klasszikus logika kiterjesztése
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
LOGIKA.
Matematikai logika.
Characteristica universalis 3. Logikai alapfogalmak.
É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.
Logika Miskolci Egyetem Állam- és Jogtudományi Kar
Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.
Logika 3. Logikai műveletek Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 24.
LOGIKA.
Barwise-Etchemendy: Language, Proof and Logic
Kétértékűség és kontextusfüggőség Kijelentéseink igazak vagy hamisak (mindig az egyik és csak az egyik) Kijelentés: kijelentő mondat (tartalma), amivel.
Boole- féle algebra Készítette: Halász Rita I. István Szakképző Iskola szeptember 19.
Logika Érettségi követelmények:
Logikai műveletek
Az informatika logikai alapjai
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
Logika 11. A jog számára releváns logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék április 28.
Logika 7. A klasszikus logika kiterjesztése Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 24.
Characteristica universalis
Logika 6. Logikai következtetések
Bevezetés a matematikába I
Halmazelmélet és matematikai logika
Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások.
Boole-algebra (formális logika).
A számítógép működésének alapjai
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Logika 4. Logikai összefüggések Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 3.
Logikai műveletek.
Érvelés, bizonyítás, következmény, helyesség
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. - Választanom.
Atomi mondatok FOL-ban Atomi mondat általában: amiben egy vagy több dolgot megnevezünk, és ezekről állítunk valamit. Pl: „Jóska átadta a pikk dámát Pistának”
Nem igaz, hogy a kocka vagy tetraéder. Nem igaz, hogy a kicsi és piros. a nem kocka és nem tetraéder. a nem kicsi vagy nem piros. Általában: "  (A  B)
Függvényjelek (function symbols) (névfunktorok) FOL-ban Névfunktor: olyan kifejezés, amelynek argumentumhelyeire neveket vagy in- változókat lehet írni.
A kvantifikáció igazságfeltételei
„Házasodj meg, meg fogod bánni; ne házasodj meg, azt is meg fogod bánni; házasodj vagy ne házasodj, mindkettőt meg fogod bánni; vagy megházasodsz, vagy.
A kondicionális törvényei
A logika centrális fogalmai a kijelentéslogikában Propositional logic Nulladrendű logika Általában Logikai igazság Logikai ekvivalencia Logikai következmény.
(nyelv-családhoz képest!!!
Logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék.
Predikátumlogika.
Logika.
A kvantifikáció igazságfeltételei “  xA(x)” akkor és csak akkor igaz, ha van olyan objektum, amely kielégíti az A(x) nyitott mondatot. “  xA(x)” akkor.
Logikai műveletek és áramkörök
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Az informatika logikai alapjai
MI 2003/6 - 1 Elsőrendű predikátumkalkulus (elsőrendű logika) - alapvető különbség a kijelentéslogikához képest: alaphalmaz. Objektumok, relációk, tulajdonságok,
Henkin-Hintikka-játék szabályai, kvantoros formulákra, még egyszer: Aki ‘  xA(x)’ igazságára fogad, annak kell mutatnia egy objektumot, amire az ‘A(x)’
Deduktiv adatbázisok. Normál adatbázisok: adat elemi adat SQL OLAP adatbázisok: adat statisztikai adat OLAP-SQL … GROUP BY CUBE(m1,m2,..)
BIOLÓGUS INFORMATIKA 2008 – 2009 (1. évfolyam/1.félév) 3. Előadás.
Tananyag: Barwise-Etchemendy: Language, Proof and Logic II. Quantifiers Weblap: Fogadóóra: H 15:30-17:00, i/226.
Logika.
Analitikus fa készítése Ruzsa programmal
Analitikus fák kondicionálissal
Kvantifikáló kifejezések a természetes nyelvben: ̒minden’, ̒némely’, ̒̒három’, stb. Ezek determinánsok, predikátumból (VP-ből) NP-t képeznek. Az elsőrendű.
Analitikus fák a kijelentéslogikában
Fordítás (formalizálás, interpretáció)
A házi feladatokhoz: 1.5: Azonosság Jelölések a feladatszám alatt:
Logika előadás 2017 ősz Máté András
Variációk a hazugra Szókratész: Platón hazudik.
Atomi mondatok Nevek Predikátum
Érvelések (helyességének) cáfolata
Nulladrendű formulák átalakításai
2. Logikai alapfogalmak Gregor Reisch 1503
Bevezetés a matematikába I
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
Előadás másolata:

Characteristica universalis 3. Logikai alapfogalmak

A logikai szerkezet Nyelvtani mondat  Logikai mondat (explicit és egyértelmű információk) Grammatika  Logikai grammatika (a felépítés szabályai → logikai szintaxis ) A logikai mondatok alkatrészei: – Logikai alkatrészek (logikai jelek/konstansok) – Nem-logikai alkatrészek (betűjelek) = paraméterek → formális logika

Nem-logikai alkatrészek Grammatikai → alany – állítmány Frege – Russell → argumentum – függvény – individuumnév – predikátum ( függvényként működik) lehet összetett vagy bővített is argumentuma: az individuumnév argumentumszám tárgyalási univerzuma: amire kiterjed terjedelme (extenziója): amire igaz

Például András ír. Vagy: András levelet ír. – András : individuumnév (tulajdonnév) – ír : predikátum – Levelet ír : összetett vagy bővített predikátum – egyargumentumú a predikátum András írja a levelet. – András, levél : individuumnév – írja : predikátum – kétargumentumú a predikátum Miskolchoz Debrecen közelebb van, mint a fővárosunk. – Miskolc, Debrecen : individuumnév (tulajdonnév) – fővárosunk : individuumnév (deskripció) – közelebb van, mint : predikátum – több: háromargumentumú a predikátum

„András és a barátom húga ír”

Jelölések paraméterek: – mondatparaméterek: p, q, r – névparaméterek: a, b, c – individuumváltozók: x, y, z – predikátumparaméterek: F, G, H – egy p logikai mondat felbontása: aF, vagy xG – formulák („blanketták”): A, B, C pl.: (… & …) – premisszahalmaz: P, a levont konklúzió: K segédjelek: – Indexálás pl.: p 1, p 2, p 3 – összetartozó kifejezések (…) – premisszahalmaz { … }

Például Szegedre megyek. → mondatparamétere: p Utaznom kell. → mondatparamétere: q Ha Szegedre megyek, utaznom kell. Szegedre megyek. Utaznom kell. → mondatparaméterekkel: ‘ha p, akkor q’; p; q Andrea szorgalmasan jegyzetel. – Andrea : individuumnév, meghatározott, névparamétere: a – szorgalmasan jegyzetel : összetett predikátum, predikátumparamétere: F – a teljes mondat jelölése: aF Minden élő ember lélegzik. – Minden élő ember : individuumnév, nem meghatározott, individuumparamétere: x – lélegzik : predikátum, predikátumparamétere: G – a teljes mondat jelölése: xG

További példák Egy A formula: (… & …), kitöltési lehetőségek: – Tél van és hideg. – Előadáson vagyunk és tanulunk. Kizárt harmadik törvénye formulával:  (p   p) – Andrea vagy itt van az előadáson vagy nincs itt. Ellentmondásmentesség törvénye formulával:   (p &  p) – Andrea nem lehet egyszerre itt is és máshol is. Nem igaz, hogy esik az eső és süt a nap. – Nem igaz, hogy ( (esik az eső) és (süt a nap). ) – ~ ( p & q ) Ha sztrájkolnak a vasutasok, akkor nem járnak a vonatok. Sztrájkolnak a vasutasok, ezért nem járnak a vonatok. – {Ha sztrájkolnak a vasutasok, akkor nem járnak a vonatok. Sztrájkolnak a vasutasok.} (tehát) (Nem járnak a vonatok.) – {p; q}  r

Funktorok Logikai funkcióval bíró nyelvi eszközök → igazságfüggvényként működik – Predikátum = logikai név  logikai mondat pl. ‘Péter fut’ – Névfunktor = név  név pl. ‘Péter anyja’ – Mondatfunktor = mondat  mondat pl. ‘Péter tanul, mivel jó eredményt akar elérni.’ Általános jellemzők: – argumentumhely, argumentumszám – tárgyalási univerzum, terjedelem (extenzió)

Igazságfüggvények Egy vagy több állításból (a bemeneti értékekből) képez állítást oly módon, hogy az eredmény (a kimenet) igazságértékét a bemeneti értékek igazságértékei határozzák meg – számuk elviekben végtelen – a logika nevesít néhányat: ← logikai konstansok – ezek kombinációjával bármely logikai összefüggés leképezhető – ezek képezik a logikai mondatok logikai alkatrészeit – ezek rendezik el a logikai struktúrát

Konstans-kombinációk 1. (monadikus funktorok) pK1K1 K2K2 K3K3 K4K K 1 tautológia (igaz gép) — K 4 ellentmondás (hamis gép) K 2 identitás — K 3 negáció

Negáció (  p,  p, ̅p, Np) p pp Természetes nyelvi megfelelője: ‘nem’, ‘nem igaz, hogy’ o Igazságfüggvényként az igazságértékeket fordítja meg o Egyargumentumú mondatfunktor o (negáció, + identitás, + igaz-gép, + hamis-gép) o Monadikus és szimmetrikus: p pp  (  p)

MI AZ, ami nem igaz? Bernadett jegyzetel. Nem Bernadett jegyzetel. Bernadett nem jegyzetel. Nem igaz, hogy Bernadett jegyzetel. Márton szeretne sokat tanulni, és szeretne jó eredményekkel vizsgázni : 1.(Nem igaz, hogy Márton szeretne sokat tanulni), és szeretne jó eredményekkel vizsgázni. 1.Márton szeretne sokat tanulni, és (nem igaz, hogy szeretne jó eredményekkel vizsgázni). 1.Nem igaz, hogy Márton szeretne sokat tanulni is és jó eredményekkel vizsgázni is.

Konstans-kombinációk 2. (diadikus funktorok) pqK1K1 K2K2 K3K3 K4K4 K5K5 K6K6 K7K7 K8K8 K9K9 K 10 K 11 K 12 K 13 K 14 K 15 K K 1 tautológia (igaz gép) — K 16 ellentmondás (hamis gép) K 2 alternáció — K 15 negált alternáció = sem-sem funktor K 4 kondicionális — K 13 negált kondicionális = összeférhetetlenség K 5 negált konjunkció = Sheffer-funktor — K 12 konjunkció K 8 bikondicionális — K 9 kizáró vagylagosság

Konjunkció (p&q,p  q, pq, Kpq) pqp & q & o Természetes nyelvi megfelelője: ‘és’ o Kétargumentumú mondatfunktor: diadikus logikai művelet o Kimenetének igazságértéke abban az esetben igaz, ha mindkét bemenete igaz; minden más esetben pedig hamis: o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kommutatív: p & q  q & p o Asszociatív: (p & q) & r  (p & r) & q  p & (q & r)  p & q & r

‘&’ versus ‘és’ 1.A természetes nyelvben az ‘és’-nek a konjunkciótól eltérő jelentése is lehet: pl. időbeni egymásutániság: Megebédeltünk és elmentünk kirándulni. Elmentünk kirándulni és megebédeltünk. Az időben egymásra következés nem kommutatív, nem érvényes a p & q  q & p ekvivalencia 2.A természetes nyelvben a konjunkció más nyelvi eszközökkel is kifejezhető: Ettünk is, ittunk is. Bár csodállak, ámde nem szeretlek.

Sheffer-funktor (negált konjunkció) pqp | q | o Természetes nyelvi jelentése: összeférhetetlenség o definíciója: p | q   (p & q) o Kétargumentumú mondatfunktor: diadikus logikai művelet o Kimenetének igazságértéke abban az esetben hamis, ha mindkét bemenete igaz; minden más esetben pedig igaz o pl. Katira és Péterre mondva: „Legfeljebb egyikük van otthon.”

Alternáció (p  q, p+q, Apq) pqp V q V o Természetes nyelvi megfelelője: ‘vagy’, ‘és/vagy’; ‘vel’ (latin) o Megengedő vagy, megengedő diszjunkció / adjunkció o Kétargumentumú mondatfunktor: diadikus logikai művelet o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kimenetének igazságértéke abban az esetben hamis, ha mindkét bemenete hamis; minden más esetben pedig igaz o Kommutatív, asszociatív

A konjunkció és az alternáció egymás duálisai Két igazságfüggvény akkor duálisa egymásnak, ha az egyik igazságfeltételében az igaz szavakat hamis szavakkal fölcserélve a másik igazságfeltételeit kapjuk. Konjunkció: kimenetének igazságértéke abban az esetben igaz, ha mindkét bemenete igaz; minden más esetben pedig hamis Alternáció: kimenetének igazságértéke abban az esetben hamis, ha mindkét bemenete hamis; minden más esetben pedig igaz V &

A konjunkció és az alternáció egymás duálisai  p V  q   (p & q) Nem esik az eső, vagy nem süt a Nap.  Nem igaz, hogy (esik az eső és süt a Nap). Bizonyítás : pq pp qq  p V  q p & q  (p & q)

Sem—sem-funktor (negált alternáció) pqp║qp║q ║ o Természetes nyelvi jelentése: ‘sem… sem…’ o definíciója: p ║ q   (p V q)   p &  q o Kétargumentumú mondatfunktor: diadikus logikai művelet o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kimenetének igazságértéke abban az esetben igaz, ha mindkét bemenete hamis; minden más esetben pedig hamis o pl.: Sem időm, sem energiám.

Kondicionális (p  q,p  q,Cpq)  o Természetes nyelvi megfelelője: ‘ha …, akkor …’ o kondicionális vagy implikáció: p  q   (p &  q) o Kétargumentumú mondatfunktor: diadikus logikai művelet o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kimenetének igazságértéke abban az esetben hamis, ha a feltételes állítás előtagja igaz és utótagja hamis pq p  q

Kondicionális 1. pqp  q Nem kommutatív Ha esik az eső, akkor sáros a mező. Ha sáros a mező, akkor esik az eső. 2. p  q kontraponáltja:  q   p kontrapozíció törvénye:  (p  q)   (  q   p) Ha esik az eső, akkor sáros a mező. Ha nem sáros a mező, akkor nem esik az eső. 3. Nem asszociatív p: Esik az eső.  nem igaz q : Sáros a föld.  igaz r : Esernyő van nálam.  nem igaz (p  q)  r  nem igaz p  (q  r)  igaz

Kondicionális 2. 4.Leválasztási szabály: modus ponens: ha igaz kondicionális előtagja igaz, akkor utótagjának is igaznak kell lennie modus tollens: ha igaz kondicionális utótagja hamis, akkor előtagjának is hamisnak kell lennie 5.Láncszabály (tranzitív tulajdonság):  (p  q) &  (q  r)   (p  r) 

Bikondicionális (p  q,p  q,Epq) pqp  q  o Természetes nyelvi megfelelője: ‘ha …, akkor, és csak akkor …’ o bikondicionális vagy ekvivalencia: p  q  (p  q) & (q  p) o Kétargumentumú mondatfunktor: két mondatból állít elő egy újat (= diadikus logikai művelet) o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kimenetének igazságértéke abban az esetben igaz, ha bemenetei egyező igazságértékkel rendelkeznek o kommutatív és asszociatív

Kizáró vagylagosság (negált bikondicionális) pq pqpq  o Természetes nyelvi megfelelője: ‘vagy’; latinul: ‘aut’ o p  q  (p &  q) V (  p & q) o Kétargumentumú mondatfunktor: diadikus logikai művelet o Igazságfüggvényként az igazságértékeket kapcsolja össze o Kimenetének igazságértéke abban az esetben igaz, ha bemenetei eltérő igazságértékkel rendelkeznek

Vagy-típusok 1.Sheffer-funktor (negált konjunkció) VAGY az egyik, VAGY a másik, VAGY egyik sem 2.Alternáció (megengedő diszjunkció) VAGY az egyik, VAGY a másik, VAGY mindkettő 3.Kizárólagos vagylagosság (kizáró diszjunkció) VAGY az egyik, VAGY a másik

Például Btk. 16. § Kísérlet miatt büntetendő, aki a szándékos bűn- cselekmény elkövetését megkezdi, de nem fejezi be. (Kísérlet) = (IGAZ, hogy egy szándékos bűncselekmény elkövetését megkezdi) ugyanakkor/ÉS (NEM IGAZ, hogy ezt a szándékos bűncselekményt befejezi) p  p &  q  xF &  (xG)

Például Kuruzslás : Btk § (1) Aki jogosulatlanul, ellenszolgáltatásért vagy rendszeresen az orvosi gyakorlat körébe tartozó tevékenységet fejt ki […] (Kuruzslás) = (jogosulatlanul ÉS ellenszolgáltatásért) VAGY (jogosulatlanul ÉS rendszeresen) fejt ki az orvosi gyakorlat körébe tartozó tevékenységet p  (q 1 & q 2 ) V (q 1 & q 3 )

Például Btk. 11. § (1) A bűncselekmény bűntett vagy vétség. (bűncselekmény)  VAGY (bűntett) VAGY (vétség) p  q  r Ptk. 11. § (1) Cselekvőképes mindenki, akinek cselekvőképességét a törvény nem korlátozza vagy nem zárja ki. (cselekvőképes) = akinek cselekvőképességét törvény (NEM IGAZ, hogy korlátozza) VAGY (NEM IGAZ, hogy kizárja) p   q   r   (xF)   (xG)

Például Btk § (1) Aki mást megöl, bűntettet követ el […] HA valaki mást megöl, AKKOR bűntettet követ el. p  q  xF  xG Ptk § (2) Korlátozottan cselekvőképes személy csak közvégrendeletet tehet […] Korlátozottan cselekvőképes személy (végrendelete érvényes,) AKKOR, ÉS CSAK AKKOR, (ha végrendelete közvégrendelet). p  q  xF  xG

Például Btk § (1) Aki nem nyújt tőle elvárható segítséget sérült vagy olyan személynek, akinek az élete vagy testi épsége közvetlen veszélyben van, vétséget követ el, és két évig terjedő szabadságvesztéssel büntetendő. ‘ ( ( valaki nem igaz, hogy segítséget nyújt ) & ( tőle elvárható módon ) ) & ( olyan másvalakinek, aki ( már sérült )  ( ( testi épsége V élete ) közvetlen veszélyben van ) )  ( bűnös segítségnyújtás elmulasztásában ) ’ (  p 1 & p 2 & (p 31  ( p 321 V p 322 ) ) )  q

Azonosság Olyan kétargumentumú predikátum (funktor), amely két olyan nevet kapcsol össze, amelynek jelölete azonos Jele: = (olvasata: ‘azonos’) Olyan kétváltozós függvény, amely ‘igaz’ értéket rendel az azonos jelöletű individuumpárokhoz ‘a = b’, pl. „(Magyarország fővárosa) azonos (Budapesttel).” Az ilyen állítások az azonossági állítások

Azonosság Az azonosság önazonosság:  (a = a) Azonosság a klasszikus logikában csak individuumok között állhat fenn Az azonosságot nem a nyelvi kifejezések egybeesése, hanem faktuális értékük (jelöletük) azonossága alapítja meg → használható az ‘a = b’ séma is: {a = b, F(a)}  F(b) ← Leibniz-törvény „Bécs és Budapest világváros” = „Bécs és Magyarország fővárosa világváros”

Metalogikai jelek Nem a mondatok logikai struktúrájának jelölésére szolgálnak (mint a logikai műveletek) A logikai struktúrák/formulák/sémák közötti logikai viszonyok jelölésére szolgálnak Ezek logikai törvények  nincsenek természetes nyelvi megfelelői (kötőszavak)

Logikai ekvivalencia Jele:  A  jel két oldalán lévő kifejezések igazságértékei azonosak; logikailag ugyanazt fejezik ki: ekvivalensek egymással Szimmetrikus reláció: ha A  B, akkor B  A Ha Jancsi házastársa Juliskának, akkor Juliska is házastársa Jancsinak. Tranzitív reláció: ha A  B és B  C, akkor A  C Ha Péter testvére Pálnak és Pál testvére Jánosnak, akkor Péter is testvére Jánosnak. Definíció jelölésére: pl. p  q  df  (p &  q).

Következményreláció Jele:  Az érvényes logikai következtetést jelöli A jel bal oldalán a premisszahalmaz, jobb oldalán a konklúzió van: P  K A premisszák halmaza maga után vonja, implikálja a konklúziót ← implikáció Egyirányú reláció: csak a premisszákból következik a konklúzió, fordítva azonban nem

Logikai igazság Jele:  A  jel baloldalán itt nem szerepel semmi Logikai igazság:, ha az állítás minden körülmények között igaz, = nem premisszafüggő A klasszikus logika két alaptörvénye logikai igazság : o Kizárt harmadik törvénye:  (p   p) Vagy az állítás vagy annak negáltja szükségképpen igaz. o Ellentmondásmentesség törvénye:  (p &  p) Nem lehet egyszerre igaz az állítás és annak negáltja.

Logikai törvények Logikai törvények: a metalogikai jelek felhasználásával felírható alapvetések, követelmények az érvényes következtetések számára Például: (T1)  (  p)  p (T2) p & q  q & p (T3) (p & q) & r  p & (q & r)  p & q & r

Logikai törvények (T5) p V q   (  p &  q) (T5) negáltja:  (p V q)   (  p &  q) És ennek egyszerűsítése: (T7)  (p V q)   p &  q (az egyik De Morgan-törvény) V ║

Logikai törvények (T5) p V q   (  p &  q) Rendezzük át:  (  p &  q)  p V q Éljünk a következő cserékkel: p →  p, q →  q  (  p &  q)   p V  q Tehát: (T8)  (p & q)   p V  q (a másik De Morgan-törvény) & |

Logikai törvények A kondicionális levezethetőségének törvénye: (T10) (p  q)   (p &  q) Kontrapozíció törvénye: (T11) (p  q)   q   p Leválasztási szabály (modus ponens): (T15) {p  q, p}  q Előtag indirekt cáfolása (modus tollens): (T16) {p  q,  q}   p Láncszabály (tranzitív tulajdonság): (T17) {p  q, q  r}  p  r 

Logikai törvények Láncszabály alkalmazhatósága bikondicionálisra: (T18) {p  q, q  r}  p  r 

Logikai törvények Kizáró értelmű vagylagosság levezethetősége: (T13) (p  q)  (p &  q) V (  p & q) (p  q)   p  q, (p  q)  p   q pq p  qp  qp  qp  q pp q p  qp  q