szukanie zaawansowane
 [ Posty: 4 ] 
Autor Wiadomość
Kobieta Offline
PostNapisane: 29 paź 2011, o 18:43 
Użytkownik

Posty: 33
zad.1
Udowodnić, że za pomocą alternatywy i koniunkcji nie można zdefiniować implikacji, ani dysjunkcji
zad.2
Udowodnić, że za pomocą negacji i implikacji można zdefiniować wszystkie spójniki dwuargumentowe
zad.3
Udowodnić, że jeżeli prawdziwe są: a) p_{1}\Rightarrow q_{1},...,p_{n}\Rightarrow q_{n}
b)p_{1} \vee ... p_{n}
c) \neg (q_{i}  \wedge  q_{j}) , 1 \le i,j \le n , i \neq j
to prawdziwe jest także:
q_{1}\Rightarrow p_{1},...,q_{n}\Rightarrow p_{n}
zad.4
Udowodnić, że jeżeli B jest tautologią, to wyrażenie:
A_{1} \Rightarrow (A _{2}  \Rightarrow ...(A _{n}  \Rightarrow B))...) także jest tautologią
gdzie: A_{n}  \Rightarrow  (A _{n-1} ...( A_{1}  \Rightarrow B))...)
Góra
Instytut Matematyczny, Uniwersytet Wrocławski
Mężczyzna Offline
PostNapisane: 2 lis 2011, o 00:42 
Użytkownik

Posty: 451
Lokalizacja: Wrocław
1. Zauważ, że w formule zdaniowej złożonej tylko z alternatyw i koniunkcji, podstawiając zdania fałszywe za zmienne zdaniowe nie jesteśmy w stanie otrzymać zdania prawdziwego. Tymczasem (0 \Rightarrow 0)=1.
Góra
Mężczyzna Offline
PostNapisane: 2 lis 2011, o 01:05 
Moderator

Posty: 16235
Lokalizacja: Wrocław
4. Coś nie tak w sformułowaniu (dokładnie: po co jest ostatnia linijka?).

JK
Góra
Kobieta Offline
PostNapisane: 5 lis 2011, o 16:22 
Użytkownik

Posty: 33
nie wiem.. być może to ja pomyliłam się jak spisywałam zadnie..
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 4 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Logika! jak to zapisać inaczej ??  Anonymous  9
 Logika  Anonymous  0
 Logika zadaniowa  yogo  1
 Logika-dowod twierdzenia.  Anonymous  1
 Logika - teoria - test  no_lan  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) ParaRent.com