Taller 5 - 3 Inferencia

 

Rgij`j 0 - Z`aabr 2-8; F`tbri` Bstruhtur`s Jishrbt`s

IGCB^BGHI@ RX@GJO ^BEA@X JB IGCB^BGHI@ Y BA FBZOJO JB ^BJRHHIOG @A @NXR^JO ^@@

Bg ba prbsbgtb t`aabr v`fos ` sifnoaiz`r a`s prbfis`s y hoghausiøg jb `aeugos bkbrhihios p`r` aubeo jbfostr`r a` v`aijbz b igv`aijbz jb aos `reufbgtos, us`gjo ba fétojo jb rbjuhhiøg `a `nsurjo. ^bhorjbfos qub gos jihb ba fétojo jb ^bjuhhiøg `a `nsurjo Jbfostr`hiøg Igjirbht` o por ^bjuhhiøg `a @nsurjo (^@@) i.

 @sufir hofo vbrj`jbr`, a` gbe`hiøg jb a` hoghausiøg b (^bea` a` jb ig igtr troj ojuh uhirir,, bs bst` t` ho hofo fo ug` ug` gubv gubv`` prbf prbfis is`. `.  (^be \rbfis`s)

ii.

iii.

Rtiaiz`gjo a`s rbea`s jb igcbrbghi` jbjuhir ug` hogtr`jihhiøg hu`aquibr`.  M`hibgjo uso jb a` rbea` jb rbjuhhiøg `a `nsurjo (^@@) sb gibe` a` prbfis` `ð`jij`, p`r` jb bst` f`gbr` ontbgbr a` hoghausiøg jbsb`j`. 

Bkbfpao 0; Jbfostr`r a` v`aijbz jb aos sieuibgtbs `reufbgtos utiaiz`gjo p`r` baao ba fétojo jb ^bjuhhiøg `a `nsurjo Xi ug triàgeuao triàgeuao tibgb trbs àgeuaos, àgeuaos, ug hu`jr`jo tibgb tibgb hu`jro àgeuaos àgeuaos rbhtos. Rg triàgeuao triàg euao tibgb tibgb trbs àgeuaos àgeuaos y su suf` v`ab jos àge àgeuaos uaos rbhtos. rbhtos. Xi aos rofnos rofnos tibgbg hu`tro àgeuaos rbhtos, aos hu`jr`jos go tibgbg hu`tro àgeuaos rbhtos. \or t`gto, aos rofnos go tibgbg hu`tro àgeuaos rbhtos. Ao fisfo qub bg aos `gtbriorbs t`aabrbs, jbnbfos abbr ba pàrr`co hofpabto, sifnoaiz`r a`s prbfis`s y a` hoghausiøg jba bkbrhihio

Johbgtb ; Fsh.Ige.D`fb Euérrbz (Erupos FS,[0,[2,XD)

\àe.0

 

Rgij`j 0 - Z`aabr 2-8; F`tbri` Bstruhtur`s Jishrbt`s

p6‖Rg triàgeuao tibgbg 8 àgeuaos‖ q6‖Rg hu`jr`jo tibgb : àgeuaos rbhtos‖ r6‖A` suf` v`ab > àgeuaos rbhtos‖ s6‖ Aos rofnos tibgbg : àgeuaos rbhtos‖ T (p  q) Δ (p ∥ r) V Δ ( s  ∱q )V ┑ ∱ s Jbfostr`r ∱ s \0; \0; (p  (p  q) \>; (p \>; (p ∥ r) \8; ( \8; ( s  ∱q )V ------------- @sufir hofo vbrj`jbr` a` gbe`hiøg jb a` hoghausiøg b igtrojuhir igtrojuhir bst` hofo ug` gubv` prbfis` fbji`gtb a` ^bea` jb \rbfis`s \:;  \:; ∱ (∱ s) ^bea` jb \rbfis`s ^\  @paih`gjo a`s rbea`s jb Igcbrbghi`s tbgbfos qub aabe`r ` ug` hogtr`jihhiøg hu`aquibr`4 bx`fig`fos gubv`s v`ri`nabs proposihiog`abs (p,q,r,s,t) ug` C`asbj`j o ug` hogtr`jihhiøg igcbrij` sonrb bst`s v`ri`nabs (rbhorjbfos a` Aby jb a` hofpabfbgt`hiøg, ug` proposihiøg go pubjb sbr vbrj`jbr` y c`as` ` a` vbz ) sbræ` (p ∥ ∱p 4 q ∥ ∱ q, , r ∥ ∱ r, s∥ ∱ s , t ∥ ∱t ) \2;   s JG (\8) \2; \3;  ∱  q F\\ (\8,\2) \3;  \5;  \5;  ∱  p F\\ (\0,\3) \=;  \=;  p X(\>) (t  u) Xifpaicih`hiøg X (\8) \9;  p ∥ ∱p Hogkughiøg @(\=,\5) M`hibgjo uso jb a` rbea` jb rbjuhhiøg `a `nsurjo (^@@) sb gibe` a` prbfis` `ð`jij`, p`r` jb bst` f`gbr` ontbgbr a` hoghausiøg jbsb`j` \0

 

Rgij`j 0 - Z`aabr 2-8; F`tbri` Bstruhtur`s Jishrbt`s

XON^B AOX BKB^HIHIOX PRB M@G XIFNOAI[@JO JB AOX Z@AAB^BX 0 Y > BXHOK@G 8 BKB^HIHIOX Y JBFRBXZ^BGAO \O^ BA FÉZOJO ^@@ BKB^HIHIO 0; \0) Xi a` torfbgt` hogtigu` o `gohmbhb, gos qubj`rbfos ` hbg`r o ` jorfir4 \>) si gos qubj`fos ` hbg`r o ` jorfir go irbfos f`ð`g` `a hoghibrto4 \8) pbro si irbfos f`ð`g` `a hoghibrto. \or t`gto, a` torfbgt` go hogtigû`. Zr`juhibgjo

p 6 A` torfbgt` hogtigu` s 6 `gohmbhb q 6 gos qubj`fos ` hbg`r t 6 gos qubj`fos ` jorfir  r 6 irbfos f`ð`g` `a hoghibrto Xifnoaiz`gjo

Jbfostr`r ~p 0) (p v s) ↞ (q v t) >) (q v t) ↞~r 8) r :) ~(~p) 2) p 3) ~ (q v t) 5) ~ (p v s) =) ~p ꓢ ~s 9) ~p 0,8) FZZ (0,3) AJ (5) X (=) @ (2,9) ^@@ (: - 0; \0) Xi éstb bs ug nubg ainro, bgtoghbs v`ab a` pbg` abbrao. \>) Ba @aebnr` bs càhia o bstb ainro go v`ab a` pbg` abbrao. \8) \bro ba @aebnr` go bs càhia. \or t`gto, bstb go bs ug nubg ainro. Johbgtb ; Fsh.Ige.D`fb Euérrbz (Erupos FS,[0,[2,XD)

\àe.8

 

Rgij`j 0 - Z`aabr 2-8; F`tbri` Bstruhtur`s Jishrbt`s

Zr`juhibgjo

\ 6 si bstb bs ug nubg ainro P 6 v`ab a` pbg` abbrao ^ 6 Ba @aebnr` bs càhia Xifnoaiz`gjo

Jbfostr`r ~p 0) >) 8) :) 2) 3) 5)

p ↞q rv~q ~r ~(~p) p q ~q ꓢ

=)  q~p  ~  ~qq 9)

p p p ^\ JG (:) F\\ (0,2) FZ\ (>,8) @ @(3@,5(): - =) ^

BKB^HIHIO 8 Aos bstuji`gtbs bst`ràg hogtbgtos si y soao sæ go m`y bx`fbg. Xi aos bstuji`gtbs bstàg hogtbgtos, ba procbsor sb sbgtirà cbaiz. cbaiz. Xi ba procbsor sb sibgtb cbaiz cbaiz go bstà bg hogjihiogbs jb bxpaih`r a` a` f`tbri`. Xi go bstà bg hogjihiogbs jb bxpaih`r a` f`tbri`, m`nrà bx`fbg. \or ao t`gto, aos bstuji`gtbs go bstàg hogtbgtos. BKB^HIHIO : Go bs vbrj`j qub soy f`aihioso y nubgo ` a` vbz. Xi quibrbs hogsbeuir `fieos bgtoghbs tibgbs qub sbr nubgo. \or t`gto, si brbs f`aihioso bgtoghbs go hogsbeuiràs `fieos. BKB^HIHIO 2 Xi aos igerbsos `ufbgt`g, a` hofpr` jb aos hogsufijorbs `ufbgt`. Huàgjo aos hogsufijorbs hofpr`g fàs, aos mofnrbs jb gbeohios igvibrtbg fàs.

\or t`gto, aos mofnrbs jb gbeohio igvibrtbg fàs, si aos igerbsos `ufbgt`g. BKB^HIHIO 3 Johbgtb ; Fsh.Ige.D`fb Euérrbz (Erupos FS,[0,[2,XD)

\àe.:

 

Rgij`j 0 - Z`aabr 2-8; F`tbri` Bstruhtur`s Jishrbt`s

\0) \`r` qub Ku`g sb` ug bxhbabgtb bstuji`gtb bs gbhbs`rio qub bstujib f`tbfàtih`s. \>) Xi Ku`g bstuji` f`tbfàtih`s, bgtoghbs `prubn` ba hurso. \or t`gto, si Ku`g bs ug bxhbabgtb bstuji`gtb, `prubn` ba hurso. Zr`juhibgjo

\6 ku`g bs ug bxhbabgtb bstuji`gtb P6 bs gbhbs`rio qub bstujib f`tbfàtih`s ^ 6 `prubn` ba hurso Xifnoaiz`gjo

Jbfostr`r p ↞ r 0) >) 8) :)

p ↞q q↞ r ~ (p ↞ r) ~ (~p v r)

2)  p ꓢ ~r 3) ~r 5) ~q =) ~p 9) p 0,3) FZ (0,5) X (2) @ (9,=) ^@@ (8 - 0