Skocz do zawartości

  •  
  • Mini kompendium
  • MimeTeX
  • Regulamin

Zdjęcie

Zadanie z logiki


  • Nie możesz napisać tematu
  • Zaloguj się aby odpowiedzieć
Brak odpowiedzi do tego tematu

#1 jesad_19

jesad_19

    Wymierny

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

Napisano 05.05.2009 - 20:09

Witam

Wiadomo że (p<=>q)<=>(p=>q ^ q=>p)

a) udowodnij prawdziwość tej równoważności.

Zrobiłem to za pomocą tabeli. Tak mam to robic?


b) Powołując się na znane Ci prawa logiczne uzasadnij, że jest tautologią następujące wyrażenie:

¬(p<=>q) <=> ¬((p=>q) ^ (q=>p))
¬(p<=>q) <=> ¬(p=>q) v ¬(q=>p)

c)Napisz zaprzeczenie zdania

„Pojadę do Francji wtedy i tylko wtedy, gdy nauczę się języka francuskiego”

Może ktoś rozpisać symbolicznie to zdanie bo rozumiem że to bedzie ~(p<=>q). Czyli mam nie zrobic zaprzeczenie według punktu B ? Znalazlem rozwiazanie : „Nie pojadę do Francji wtedy i tylko wtedy, gdy nie nauczę się języka francuskiego” a wedlug B można zrobić ¬(p=>q) v ¬(q=>p)

bez TeXa bo mi wywala mi wszystko
  • 0

Afroman

    Kombinator

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

Napisano 25.09.2011 - 17:55