forma zapisu

[Wrangler]

Określić wartość logiczną zdania:
\(\displaystyle{ 1<2 \wedge 5>4}\) mam pytanie odnośnie zapisu - czy taki zapis jest prawidłowy:

\(\displaystyle{ 1 \wedge 1=1 \ \ - \ \ zdanie \ prawdziwe}\)

[Lider Artur]

znak równości chyba nie powinien się tu pojawić

[Jan Kraszewski]

A nie wystarczy napisać po prostu, że jest to zdanie prawdziwe? Po co sztucznie formalizować...

JK

[Wrangler]

Mnie właśnie chodzi o to "sformalizowanie", czy jedynym prawidłowym rozwiązaniem tutaj jest zapis: "zdanie prawdziwe"?

[miki999]

Jeżeli się z kimś umówisz na taką notację, którą zaproponowałeś, to ok. W przeciwnym wypadku wygląda to kuriozalnie.

[frej]

Lepiej chyba zapisać tak, jeśli chcesz, żeby to było bardzo formalne.
\(\displaystyle{ p - \; \; 1<2}\)
\(\displaystyle{ q - \; \; 5>4}\)
\(\displaystyle{ w(p)=1}\)
\(\displaystyle{ w(q)=1}\)
\(\displaystyle{ w(p \wedge q ) =1}\)

[tatteredspire]

W pewnej znanej książce (nie wiem czy mogę w tym miejscu podać jej tytuł i autora) będącej niejako wykładem ze wstępu do matematyki, napisano, że zbiór \(\displaystyle{ \left\{ 0,1}\right\}}\) z działaniami \(\displaystyle{ \wedge , \vee , \neg , \Rightarrow , \Leftrightarrow}\) stanowi tzw. dwuelementową algebrę Boole'a.

Sam zapis \(\displaystyle{ 1 \wedge 1 =1}\) oraz analogicznie z symbolami \(\displaystyle{ \Rightarrow , \vee \Rightarrow, \Leftrightarrow}\) też się pojawia (z komentarzem, że te symbole oznaczają odpowiednie działanie w tym zbiorze, które jest oznaczane dla prostoty tak samo jak odpowiedni funktor).

[Wrangler]

podaj książkę

[Jan Kraszewski]

W pewnej znanej książce (nie wiem czy mogę w tym miejscu podać jej tytuł i autora) będącej niejako wykładem ze wstępu do matematyki, napisano, że zbiór \(\displaystyle{ \left\{ 0,1}\right\}}\) z działaniami \(\displaystyle{ \wedge , \vee , \neg , \Rightarrow , \Leftrightarrow}\) stanowi tzw. dwuelementową algebrę Boole'a.

Sam zapis \(\displaystyle{ 1 \wedge 1 =1}\) oraz analogicznie z symbolami \(\displaystyle{ \Rightarrow , \vee \Rightarrow, \Leftrightarrow}\) też się pojawia (z komentarzem, że te symbole oznaczają odpowiednie działanie w tym zbiorze, które jest oznaczane dla prostoty tak samo jak odpowiedni funktor).

OK, ale tu rozmawiamy o zadaniu na poziomie szkoły średniej i taki formalizm na tym poziomie jest dla mnie bardzo sztuczny.

JK

[Wrangler]

Zapis sztuczny czy niesztuczny, ale poprawny i tylko o to mi chodziło.
Mnie się wydaje, że lepiej napisać nawet tak "sztucznie", niż po prostu samo "zdanie prawdziwe/prawda" skoro to nie jest błąd.
Pewnie nie mam racji.
Dzięki za knigę na PW.

[Jan Kraszewski]

Mnie się wydaje, że lepiej napisać nawet tak "sztucznie", niż po prostu samo "zdanie prawdziwe/prawda" skoro to nie jest błąd.

I tu się nie zgadzamy, bo ja nie jestem zwolennikiem sztucznego formalizowania.

Ale tak naprawdę cała ta kwestia jest niezbyt istotna.

JK

[Wrangler]

..a ja nie jestem zwolennikiem minimalnego zapisu, chyba że jak wspomniałem - odpowiedź "prawda", to tutaj jest jedyna opcja.
Lubię zapis, gdzie wszystko widać z czego wynika. A samo zdanie prawdziwe dla mnie oznacza tabelkę w pamięci.

[tatteredspire]

Zapis sztuczny czy niesztuczny, ale poprawny i tylko o to mi chodziło.
Mnie się wydaje, że lepiej napisać nawet tak "sztucznie", niż po prostu samo "zdanie prawdziwe/prawda" skoro to nie jest błąd.
Pewnie nie mam racji.
Dzięki za knigę na PW.

Zapis formalny jest zazwyczaj krótszy i precyzyjniejszy, więc pewnie łatwiej się to czyta i przyswaja. Z drugiej strony jak się nie jest pewnym takiego zapisu, to lepiej zapisać to słowami. No ale to są oczywiste rzeczy.