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
Mężczyzna Offline
PostNapisane: 2 lis 2011, o 00:42 
Użytkownik

Posty: 436
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: 14605
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 ??
Hej! mam problem, który musze do jutra rozwiązac. MIanowicie: Jak można zapisać Pq za pomocą negacji i alternatywy?...
 Anonymous  9
 Logika
majac tabelke : p q p => q 1 T T T 2 T F F 3 F ...
 Anonymous  0
 Logika zadaniowa
Witam!Mam mały problem muszę rozwiązać parę zadań,a nie bardzo wiem jak.proszę o pomoc i rozwiązanie jednego zadania,a ja będę zadawała pytania co i skąd się to wzięlo.Bardzo proszę o pomoc!!! Jeśli ktoś pomoże to z góry dziękuję i pozdrawiam.! zad....
 yogo  1
 Logika-dowod twierdzenia.
prosze o pomoc w zadaniach, ja niestety tego nie rozumiem. 1. Udowodnij że: a) jeśli suma dwóch liczb jest dodatnia to przynajmniej jedna z tych liczb jest dodatnia. b) Jeśli liczba dodatnia x jest niewymierna to sgrtx też jest liczba niewymierną. c)...
 Anonymous  1
 Logika - teoria - test
1.Każdy układ równań jest przykładem: a)alternatywy zdań b) koniunkcji zdań c) alternatywy form zdaniowych d) koniunkcji form zdaniowych 2.Zbiór elementów spełniajacych pewne równanie jest zbiorem pustym. Wynika stąd, że równanie to jest: a) przeczn...
 no_lan  1
 Logika: negacja.
Mam problem, mianowicie czy podane wyrażenie : ~(~pvq) to to samo co: a) (pv~q) b) (p^~q) rozwiejcie moja wątpliwość.......
 Anonymous  3
 (2 zadania) Zaprzeczenie zdania z kwantyfikatorem
Napisać zaprzeczenie następujących zdań : a) \bigcap_{x\in\R}(x^2+1>0 \:\vee\: |x|=5) b) \bigcup_{x\in\R}(x^2+2>0 \:\vee\: 2^|^x^|=2^3) w przykład a) na początku jest to kw...
 Anonymous  2
 Zadania z logiki.
potrafi moze ktos rozwiazac te zadania?? Q-liczby wymierne R-liczbt rzeczywiste N-l.naturalne A-dowolny zbior,do ktorego nalezy liczba 0 /-symetryczna roznica zbiorow V-dla kazdego zad1. zbior tych liczb y dla ktorych liczba y�-3/17 jest wymierna,je...
 Anonymous  2
 Logika zaprzeczenie implikacji i równoważności
dzisaj na prace domowa dostlam strasznie dla mnie trudne zadanie :/ pomozcie mam napisac zaprzeczenie implikacji i rownowaznosci w systemie zero jedynkowym ja wogole nie wiem o co lazi wiec prosze o czytelne odpowiedzi ...
 gosiaooo4  1
 Problem ze zrozumieniem zadania
mam mały problem, nie bardzo kumam o co chodzi w tym zadaniu (nie miałam nigdy do czyneinia z logiką): sprowadzić do postaci koniunkcyjnej i normalnej postaci alternatywnej następująca formułę: (((...
 Grrrr  7
 Funkcja zadaniowa,kwantyfikatory-zadania
Witam! Mam problem ze zrozumieniem zagadnienia opisanego w temacie i mysle że najlepszym sposobem będzie pomoc w rozwiązaniu takich zadań: 1)Zapisz funkcje zd...
 Kaszim  4
 Logika arcusy
mam problem jak mam rozwiazac cos takiego arcsin od cos??...
 guardiola  4
 Funkcje - logika
Niech ∫:R->R bedzie przeksztalceniem okreslonym wzorem ∫ (φ(t))= φ�(t) a) znalezc obraz zbioru wielomianow stalych (tj. f*R_{0}). b) znalezc ∫^-1 * R4 c) znalezc ∫^-1 * ...
 dziorki  0
 Logika - zadanie 2
czy ktos moglby mi wytlumaczyc o co chodzi w tej calej logice?? a dokladnie chodzi o to ze nie moge pojac skad sie co bierze? i mialam jeszcze takie zadanko: a) (p{\wedge}p){\Leftrightarrow}p b) &#40...
 anioleczek.16  6
 Logika- odowodnij rachunek zdań
No właśnie mam udowodnićrachunek poszczególnych zdań: pomożecie?? oto one: p=>p p=>(q=>p) p=>(q=>p^q) p lub ~p Pomożecie??? Będę z góry wdzięczna...
 anonimx  7
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com