Forum Debian Users Gang

Przykład ten ma tę wadę, że zawiera spójnik „może”, który jest spójnikiem intensjonalnym, więc nie jesteś w stanie określić, czy jest to tautologia KRZ.

Przeformułujmy to zdanie tak, aby nam było łatwiej, i żeby jednocześnie prawdopodobnie odpowiadało temu, co chciał przekazać autor:
„Jeżeli liczba jest naturalna, to jest całkowita. Wobec tego jest nieprawdą, że istnieje taka liczba naturalna, która jednocześnie nie jest całkowita”.

Zapiszemy to w ten sposób:
(p → q) → ~(p ∧ ~q)

Jest to tautologia KRZ, zresztą wręcz podręcznikowa (jej weryfikacja za pomocą skróconej metody zero-jedynkowej nie wymaga wiele wysiłku).

sqrtek napisał(-a):

~(p ^ ~q) wtedy przez te wyciągniętą negację spod nawiasu "q" w nawiasie staje się prawdą, a nie ma być czasem tak: (~q ^ ~q) ?

Negacja wyciągnięta przed nawias nie neguje negacji q (czyli nie czyni q prawdą), tylko neguje koniunkcję p i negacji q.

Zdanie ~p ∧ ~q brzmiałoby jakoś tak:
„Wobec tego liczba nie może być naturalna i nie może być całkowita”.

Ale ostateczną wersję prawdy poznasz na przyszłym wykładzie ;) .

Polecenie jest bardzo nieprecyzyjne, ale z kontekstu można wnioskować, że chodziło o to, aby sprawdzić, czy podane zdanie jest twierdzeniem, czyli prawem nauki. Jak wiadomo, prawa nauki są ściśle ogólne, czyli są zawsze prawdziwe. Ponieważ nasze zdanie jest tautologią KRZ (co pokazałeś tabelką), to odpowiedź brzmi: tak, podane zdanie jest twierdzeniem.
Po zapisaniu takiej odpowiedzi zadanie będzie można nazwać skończonym.

Przy okazji: tautologia jest zawsze prawdziwa, więc Twoja odpowiedź „tautologia prawdziwa” jest… tautologią ;) .

Minio a czy przypadkiem nie ma tu sprzecznosci
"prawa nauki są ściśle ogólne, czyli są zawsze prawdziwe. Ponieważ nasze zdanie jest tautologią KRZ (co pokazałeś tabelką), to odpowiedź brzmi: tak "
  tautologia z samej definicji nie moze byc ani prawdziwa ani falszywa poniewaz wynika sama z siebie

Ostatnio edytowany przez boshh (2012-10-06 08:46:17)

no wlasnie nie . anie jest taka opcja jezeli p i q ma wartosc jeden to spelniona jest zaleznosc  "`i"` i wtedy calosc jest prawdziwa.
    w logice nie ma dowolnie przyjmowanych wartosci , albo jeden albo zero
          '"  chyba ze w lyndolsie opcja cancel" ale to takpoza tematem

Ostatnio edytowany przez boshh (2012-10-06 10:56:58)

nie , nie kolego tu mylisz wartosci . ze tak powiem mylisz poziomy dyskusji. wkraczasz na metapoziom

no tak ,mnie kiedys uczyli ze tautologia , to jest  zdaniem prawdziwym ,tak jak zdaniem falszywym
nie da sie okreslic . klania sie twierdzenie Godla.
  o wyjatkowosci . to moze przyjmyjmy jako prawde. cytuje z pamieci .
     teorie prawdy .zdanie prawdziwe "snieg jest bialy" jest wtedy prawdziwe jezeli snieg jest bialy

Ostatnio edytowany przez boshh (2012-10-06 11:52:40)

a tu sie nie zgadzam z kolego.  dokladnie z tym
"schematami zdań zawsze prawdziwych na mocy swojej struktury'
    no wlasnie nie mozna w czyms byc i o tym mowic

    "edytka"
        "zdanie jest prawdziwe w znaczeniu"
                     zdanie jest prawdziwe niezaleznie od znaczenienia .nawet od twojej woli.
                          i tu wlasnie wkracza logika .i tlumaczy i objasnia

Ostatnio edytowany przez boshh (2012-10-06 14:02:53)

moglbys cos polecic

tylko w wersji elektronicznej,. nie lubie za duzo liter

Ostatnio edytowany przez boshh (2012-10-06 14:34:57)

a tak BTW. nie wiem czy kolega zna logiga Spinoze .trojwartosciowa logika. to jezcze lepsza jazda

boshh: ale my tutaj poruszamy się w obrębie klasycznego rachunku zdań. Działy logiki zakładające więcej niż dwie wartości, działy skłaniające się ku empirii i wszelkie inne zagadnienia pozostają bez znaczenia.

Po ostatnich ćwiczeniach z maty dyskretnej, nie wiem w ogóle jak się zabrać za zadanie typu poniżej..
Mam takie zadanie: "Znajdź wyrażenie równoważne (~p V q ) , w którym jest tylko operator dysjunkcji."

Tak wygląda rozwiązanie tego:

~p V q
~(p ^ ~q)
p | (~q)
p | (q | q)

Nie rozumiem jak się za to zabrać, jak to jest zrobione.. Można prosić o jakieś wskazówki? Gdzie to jest jakoś ładnie wytłumaczone? Z góry dzięki za pomoc.

Jakbyście mieli jakiś kurs na necie , ew. jakąś książkę gdzie to jest wytłumaczone jak takie coś wykonywać pokolei, to byłbym bardzo wdzięczny.

Ostatnio edytowany przez sqrtek (2012-10-12 14:15:22)