Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

- zdjęcie

Trex

Rejestracja: 12 Oct 2018
Offline Ostatnio: wczoraj, 22:58
-----

Moje tematy

Tautologie, formuły

10.11.2018 - 03:33

Załóżmy, że wyrażenie  \Phi  zawiera spójniki tylko koniunkcji i alternatywy.  Niech \Phi_d oznacza wyrażenie powstające z \Phi przez zastąpienie każdego symbolu koniunkcji z alternatywą i na odwrót. 

Z kolei niech \Phi_e oznacza formułę w której każdą zmienną zastępujemy przez jej negację. 

Wiem, że jeśli koniunkcję zastąpimy alternatywą i na odwrót to przy zmiennych jendakowych czyli 0 i 1 nic to nie zmieni. W drugim przypadku otrzymamy coś przeciwnego np (p \wedge q ) \leftrightarrow \neg(p \wedge q ) czyli rozpisując  (p \wedge q ) \leftrightarrow \neg(\neg p \vee \neg q) 

W formule \Phi_e neguję każdą zmienną czyli np  jeśli    p \wedge q to otrzymuje    \neg p \wedge \neg q co jest równe    p \vee q czyli tak naprawdę zamianie jak w formule \Phi_d Czy ten dowód powinien tak wyglądać?

 


Granica ciągu z sześciennego pierwiastka

01.11.2018 - 17:40

Mam obliczyć granice ciągu \sqrt[3]{n^3+4n^2} - n


Granica ciągu

01.11.2018 - 15:54

Jeśli mam taki ciąg an = (1+ \frac{1}{n}) ^ n  to dlaczego nie mogę wnioskować że \frac {1}{n} dąży do zera a 1 ^ n = 1?


Argument liczby zespolonej

01.11.2018 - 14:54

Dlaczego kiedy mamy taką postać Arg (z +5*i) musimy to przekształcać to postaci Arg (z -(-5*i)) ?


Ciąg i tautologia

17.10.2018 - 18:06

Definiujemy . Rozważmy wyrażenie postaci : p^{0}=p, p^{1}= \neg p<br>\\(...(p ^{i_{0} } \Rightarrow p ^{i_{1} }) \Rightarrow ...) \Rightarrow p^{i_{n-1} }.

Dla jakich ciągów wyrażenie jest tautologią ?