Rachunek zdań, rachunek kwantyfikatorów
Rachunek zdań, rachunek kwantyfikatorów
Pamiętaj o tym tworząc nowy temat!
Jedno zadanie = jeden temat.
Zakaz umieszczania zeskanowanych zadań.
Umieszczaj tematy w odpowiednich działach, do których najbardziej pasują.
Pamiętaj o przejrzystym zapisie. O ile to możliwe, staraj się używać MimeTeX.
STUDIA
Dowód twierdzenia z pogranicza nauki/ekonomiiNapisany przez wyrobnik systemu, 29 Mar 2022 ![]() |
|
![]() |
||
STUDIA
Rownowaznosc relacjiNapisany przez get_ready, 19 Apr 2020 ![]() |
|
![]() |
||
STUDIA
Badanie własnosci relacjiNapisany przez 93tilinfinity97, 18 Apr 2020 ![]() |
|
![]() |
||
STUDIA
Sprawdz czy następująca formuła jest tautologiąNapisany przez Franek123, 24 Nov 2019 ![]() |
|
![]() |
||
STUDIA
Podaj definicje formuł równoważnychNapisany przez Franek123, 24 Nov 2019 ![]() |
|
![]() |
||
STUDIA
Zbadaj czy rozumowanie jest dedukcyjneNapisany przez Franek123, 24 Nov 2019 ![]() |
|
![]() |
||
STUDIA
Określenie tautologiiNapisany przez Franek123, 24 Nov 2019 ![]() |
|
![]() |
||
STUDIA
Logika zadanieNapisany przez Franek123, 24 Nov 2019 ![]() |
|
![]() |
||
STUDIA
Wniosek z przesłanekNapisany przez m1505, 25 Oct 2019 ![]() |
|
![]() |
||
równoważność zdańNapisany przez szewciu, 20 Sep 2009 |
|
![]() |
||
STUDIA
Zapisz poniższe rozumowania za pomocą symboliki logicznej i udowodnij stosując reguły wnioskowania (wprost lub nie wprost), ze...Napisany przez karo1212, 14 Jan 2019 ![]() |
|
![]() |
||
logikaNapisany przez jolka1, 06 May 2009 |
|
![]() |
||
Logika - oceń wartość logiczną twierdzenia odwrotnegoNapisany przez pamella, 30 Jan 2009 |
|
![]() |
||
STUDIA
Wynikanie logiczne, tautologieNapisany przez Science100, 16 Jun 2019 ![]() |
|
![]() |
||
STUDIA
Zapisz w języku rachunku predykatów następujące rozumowania i dowolna metoda (wprost lub nie wprost) sprawdź czy są one poprawne.Napisany przez karo1212, 14 Jan 2019 ![]() |
|
![]() |
||
STUDIA
Zbadaj, które z podanych niżej schematów są tautologiamiNapisany przez Tom_SL, 30 Nov 2018 ![]() |
|
![]() |
||
STUDIA
Określ wartość logiczną zdania i sformułuj jego negacjęNapisany przez Bezmózg, 22 Nov 2018 ![]() |
|
![]() |
||
STUDIA
Wyznać wartość logiczną zadania oraz podaj jego negacjęNapisany przez Bezmózg, 22 Nov 2018 ![]() |
|
![]() |
||
STUDIA
Tautologie, formułyNapisany przez Trex, 10 Nov 2018 ![]() |
|
![]() |
||
STUDIA
Ciąg i tautologiaNapisany przez Trex, 17 Oct 2018 ![]() |
|
![]() |
||
STUDIA
Zdanie, forma zdaniowaNapisany przez Trex, 15 Oct 2018 ![]() |
|
![]() |
||
STUDIA
Metoda rezolucjiNapisany przez Gość_Karis126_* , 13 Jan 2018 ![]() |
|
![]()
|
||
STUDIA
UnifikacjaNapisany przez Gość_Karis126_* , 13 Jan 2018 ![]() |
|
![]()
|
||
STUDIA
Czy zbiór formuł jest niespełnialnyNapisany przez Gość_Karis126_* , 13 Jan 2018 ![]() |
|
![]()
|
||
STUDIA
Tautologia rachunku zdańNapisany przez Gość_Karis126_* , 13 Jan 2018 ![]() |
|
![]()
|
||
STUDIA
Ciekawy dowód ( problem )Napisany przez QUANTUMAR, 14 Jan 2017 ![]() |
|
![]() |
||
STUDIA
Problem relatywności zmiennychNapisany przez QUANTUMAR, 14 Jan 2017 ![]() |
|
![]() |
||
STUDIA
Rekurencja i kwantyfikatoryNapisany przez Tomek65536, 22 Dec 2016 ![]() |
|
![]() |
||
STUDIA
Wykazać, że:Napisany przez Damian Klimek, 08 May 2016 ![]() |
|
![]() |
||
STUDIA
Na ile sposobów:Napisany przez Damian Klimek, 16 May 2016 ![]() |
|
![]() |