Treść zadania

Najlepsze rozwiązanie

• 

  1 0

  antekL1 11.11.2015 (10:54)

  Zadanie 42.
  
  Oznaczmy zdania następująco:
  
  A - "Fenicjanie wynaleźli pismo alfabetyczne"
  B - "W III tysiącleciu znano pismo alfabetyczne"
  
  Wtedy punkty (a,...,f) możemy zapisać jak niżej.
  [ znaczek ~ to zaprzeczenie, u - to suma logiczna, n to iloczyn logiczny ]
  Pod każdym zdaniem piszę kiedy jest ono prawdziwe lub nie [ 1 = prawda; 0 = fałsz ]
  A jeszcze niżej "sygnaturę" zdania dla par AB równych kolejno: [ 00 01 10 11 ]
  aby łatwiej było szukać zdań podobnych.
  
  a) A --> ~B
  [ Prawda zawsze z wyjątkiem A = B = 1. Wynikanie p --> q można zastąpić przez zdanie: ~p u q, więc podane wyrażenie to ~A u ~B) ]
  [ 1 1 1 0 ]
  
  b) A n B
  [ Prawda dla A = B = 1; poza tym fałsz ]
  [ 0 0 0 1 ]
  
  c) ~ ( ~A u ~B )
  [ Prawda dla A = B = 1; poza tym fałsz ; to wynika z praw de Morgana, bo całe wyrażenie jest równe po prostu A n B ]
  [ 0 0 0 1 ]
  
  
  d) ~ (A --> B)
  [ Prawda gdy A = 1, B = 0; poza tym fałsz, gdyż jest to zaprzeczenie wynikania, czyli można zapisać to zdanie jako: ~(~A u B) i z praw de Morgana jako A n ~B ]
  [ 0 0 1 0 ]
  
  e) ~A u ~B
  [ Prawda zawsze z wyjątkiem A = B = 1 ]
  [ 1 1 1 0 ]
  
  f) A n ~B
  [ Prawda gdy A = 1, B = 0; poza tym fałsz ]
  [ 0 0 1 0 ]
  
  Jak już mamy wartości logiczne wszystkich zdań to przypasowujemy je do siebie.
  
  Sygnatury [ 1 1 1 0 ] mają zdania: a, e
  Sygnatury [ 0 0 0 1 ] mają zdania: b, c
  Sygnatury [ 0 0 1 0 ] mają zdania: d, f
  
  Masz swoje przyporządkowanie - jeśli się nie pomyliłem :)
  
  Proszę zamieść pozostałe zadania oddzielnie po jednym, bo całość na raz to za dużo! W razie pytań pisz proszę na priv.

  Dodawanie komentarzy zablokowane - Zgłoś nadużycie