Treść zadania

Rozwiązania

• 

  1 1

  antekL1 30.10.2013 (00:54)

  (p -->q) ≡ (~q --->~p)
  Jest tautologią, ostatnie dwie kolumny poniżej są identyczne
  
  \begin{array}{cccccc}p & q & \sim p & \sim q & p\rightarrow q & \sim q \rightarrow \sim p\\0 & 0 & 1 & 1 & 1 & 1\\0 & 1 & 1 & 0 & 1 & 1\\1 & 0 & 0 & 1 & 0 & 0\\1 & 1 & 0 & 0 & 1 & 1\end{array}
  
  ===============
  
  (p-->q) ∧ q) ---> (p≡q)
  NIE jest tautologią, ostatnia kolumna (całe wynikanie, zaznaczone pogrubieniem powyżej) powinna zawierać jedynki
  
  \begin{array}{cccccc}p & q & p\rightarrow q & (p \rightarrow q) \wedge q & p \equiv q & ALL\\0 & 0 & 1 & 0 & 1 & 1 \\0 & 1 & 1 & 1 & 0 & 0 \\1 & 0 & 0 & 0 & 0 & 1 \\1 & 1 & 1 & 1 & 1 & 1 \end{array}
  
  ===============
  
  (~p--->q) ≡ (p--->q)
  NIE jest tautologią, dwie ostatnie kolumny się różnią,
  
  \begin{array}{cccccc}p & q & \sim p & \sim q & p\rightarrow q & \sim p \rightarrow q\\0 & 0 & 1 & 1 & 1 & 0\\0 & 1 & 1 & 0 & 1 & 1\\1 & 0 & 0 & 1 & 0 & 1\\1 & 1 & 0 & 0 & 1 & 1\end{array}
  
  ===============

  Dodawanie komentarzy zablokowane - Zgłoś nadużycie