implikaci⁽⁺⁾·/·o

implikaci⁽⁺⁾·o

          Du⭑+lok⭑·aj logik¹·a {lig⭑·il·o^4} kaj⭑ la⭑ respond⭑·a {logik¹·a operaci¹·o} ,
          simbol¹·e skrib⭑·at·a  (leg⭑·u: „se⭑ a, tiam⭑ bo“) kaj⭑ redukt⁴·ebl·a al⭑
          kombin⭑·o de⭑ neg⁽⁺⁾·o kaj⭑ aŭo:  ; ili (aprior⁽⁺⁾·aj lingv⭑·oj) hav⭑·as
          simpl⭑·an, rigid⭑·an sintaks¹·on, kaj⭑ ... de·pend⭑·as kvazaŭ⭑ parazit⭑·e de⭑
          ali⭑·aj lingv⭑·oj, konsist⭑·ant·e el⭑ logik¹·aj implikaci⁽⁺⁾·oj (rilat⭑·oj „se⭑ ‐
          tiam⭑“) ; rimark⭑·u la⭑ plej⭑ grav⭑·an ŝanĝ⭑·on ĉe⭑ la⭑ trans·form⭑·o de⭑ 
          al⭑  : ... regul⭑·o kiu·n oni bezon⭑·as est⭑·as nom⭑·at·a for·ig⭑·o de⭑
          implikaci⁽⁺⁾·o, aŭ⭑ el·implikaci⁽⁺⁾·ig·o ; teorem²·oj oft⭑·e hav⭑·as form⭑·on de⭑
          implikaci⁽⁺⁾·o; fizik⭑·an leĝ⭑·on est⭑·as oportun⭑·e prezent⭑·i per⭑
          implikaci⁽⁺⁾·o, preciz⭑·e indik³·ant·e la⭑ kondiĉ⭑·ojn por⭑ ĝi⭑·a valid⁴·ec·o.

implikaci⁽⁺⁾·a

          Rilat⭑·a al⭑ implikaci⁽⁺⁾·o, en·ten⭑·ant·a implikaci⁽⁺⁾·on: la⭑ pozitiv¹·a
          implikaci⁽⁺⁾·a propozici²+kalk⭑·ul·o en·ten⭑·as du⭑ aksiom¹·ojn:  kaj⭑
           , kaj⭑ unu⭑ deriv⁴+reg⭑·ul·on: la⭑
          el·implikaci⁽⁺⁾·ig·on.

ambaŭ·direkt⭑·a implikaci⁽⁺⁾·o

          Por⭑ du⭑ propozici²·oj  kaj⭑  , kaj¹·o de⭑ ili⭑·aj reciprok⭑·aj
          implikaci⁽⁺⁾·oj:  ; difin⭑·i ekvivalent⁽⁺⁾·ec·on per⭑
          ambaŭ·direkt⭑·a implikaci⁽⁺⁾·o.

el·implikaci⁽⁺⁾·ig·o

          Unu⭑ el⭑ la⭑ ĉef⭑·aj deriv⁴+reg⭑·ul·oj de⭑ la⭑ propozici²·a kalkul⭑·o: kiam⭑
          est⭑·as konstat⭑·it·aj la⭑ propozici²·oj  kaj⭑  , tiam⭑ oni rajt⭑·as
          konklud⭑·i, ke⭑ valid⁴·as  .

   [artikol⭑-versi⁹·o: 1.11 2023/11/19 10:22:12 ]
     __________________________________________________________________