Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Dowód wprost

STUDIA

  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
2 odpowiedzi w tym temacie

#1 Rysio

Rysio

    Nowicjusz

  • Użytkownik
  • 1 postów
0
Neutralny
  • Płeć:Mężczyzna

Napisano 18.08.2011 - 13:27

Witam, czy może ktoś przeprowadzić dla mnie dowód wprost dla:
\neg(p \wedge \neg q) \Rightarrow (p \Rightarrow ( \neg q\Rightarrow ( \neg r \leftrightarrow q )))

Z góry dziękuje.
  • 0

Afroman

    Kombinator

  • Użytkownik
3
  • Płeć:Kobieta

Napisano 25.09.2011 - 17:55

#2 Ereinion

Ereinion

    Mega Rozkminiacz z Marsa

  • $Jr Admin
  • 2104 postów
1008
Starszy Wykładowca I
  • Płeć:Mężczyzna

Napisano 20.08.2011 - 13:13

Tak żeby za dużo nie myśleć, to możesz to tzw. "tabelką" załatwić :)
  • 0

#3 Mariusz M

Mariusz M

    Wielki Analityk

  • Użytkownik
  • Redaktor
  • 901 postów
414
Instruktor II
  • Płeć:Mężczyzna

Napisano 21.08.2011 - 19:06

Prawa de Morgana (negacja iloczynu i sumy)
p \Rightarrow q \Leftrightarrow \neg p \vee q\\<br />\\p \Leftrightarrow q \Leftrightarrow (p \Rightarrow q)\wedge (q \Rightarrow p)<br />\\

Być może trzeba będzie skorzystać z

p\vee\neg p=1<br />\\p\wedge \neg p=0<br />\\p \vee p=p<br />\\p \wedge p=p<br />\\1 \vee p=1<br />\\
  • 0