next up previous contents
Next: 5.9 Malplena maldekstra parto. Up: 5 Klarigitaj ekzercoj Previous: 5.7 Iu kun provo   Contents

5.8 Iu por pensi. $L\wedge M\Rightarrow\neg P,\ I\Rightarrow P,\ M,\ I\vdash\neg L$

Provu pripensi $L\wedge M\Rightarrow\neg P,\ I\Rightarrow P,\ M,\ I\vdash\neg L$; poste skribu ĝin en papero. Ĝi restas:


\begin{displaymath}\begin{fitch}
\par
L \wedge M \Rightarrow \neg P \\
\par
I \...
...tarrow$\ 2,4 \\
\par
\neg L & I$\neg$\ 5,7,8
\par
\end{fitch} \end{displaymath}

Pervorte: ``se vi uzas Linukson (Linux) kaj Mozilon (Mozilla) kiel foliumilo, vi evitas problemojn. Tamen, se vi uzas 'Internet Explorer' vi havos problemojn. Nun vi uzas Mozilon, sed iam ankaŭ 'Internet Explorer'. Do, mi scias ke vi ne uzas Linukson''.

Eble tio ŝajnas al vi evidenta: ``kompreneble, ĉar IE ne estas ĉe Linukso'', sed notu ke mi neniam diris tion. La $I\Rightarrow\neg L$ estas nenie.

La rimedon kiun vi devos sekvi dum vi pripensas la ekzercon estas:

  1. Mi bezonas pruvi $\neg L$, kio estas nego de io. Estas videbla nenia regulo kiel io entenas $\neg L$, kiu ebligas min atingi ĝin direkte. Oni devos uzi alian metodon, ekzemple kunnegigo (redukto al absurdo): supozu ke mi ja uzas Linukson.
  2. Ĉe la okazo kiam mi uzas Linukson, mi uzus ambaŭ Linukson kaj Mozilon, ĉar mi jam uzis Mozilon antaŭe (tiu estas la tria veraĵo skribita en la problema esprimo).
  3. Uzante Linukson kaj Mozilon, mi ne havos komputikajn problemojn, ĉar $L\wedge M\Rightarrow\neg P$.
  4. Sed mi ankaŭ uzis Internet Explorer (kvara veraĵo), kaj, ĉar IE kunportas problemojn, mi havos problemojn. $P$.
  5. Mi atingis memkontraŭdiron: $\neg P$ kaj $P$. Do, kio vere okazas estas ke mia supozo pri uzado de Linukso estas malkorekta: prave $\neg L$.
Nun vi nur devas sekvi la saman procedon, sed skribante ĝin paŝon post paŝo, kaj uzante la regulojn. Kion vi ricevos estos kiel la supran figuron, kiu havas precipe 5 procedajn liniojn (ĉar la unuaj 4 estas por kopii la veraĵojn). Ĉiu linio rilatas al ĉiu paŝo kiun mi klarigis tie.


next up previous contents
Next: 5.9 Malplena maldekstra parto. Up: 5 Klarigitaj ekzercoj Previous: 5.7 Iu kun provo   Contents
Daniel Clemente Laboreo 2005-05-17