#katolicyzm #gimbokatolicyzm #pytanie #logika #erystyka #bledylogiczne Co czyni katolika? Jakie warunki trzeba spełnić, by nazywać się katolikiem? Ostatnio wielu moich znajomych spod znaku dwóch skrzyżowanych belek na złośliwości czynione przez katolików odpowiada, że to nie są katolicy. Ktoś był w kościele, stracił wiarę, to nie był katolikiem. Mam wrażenie, że jest to zwykły błąd prawdziwego Szkota.
  • 5
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

#matematyka #logika
Rozważyć język L=(D,p1,p2,f1,c1), gdzie p1,p2 to predykaty dwuargumentowe, c1 to stała. Niech I=((0;1],=,<,1) bedzie interpretacją języka L) jakie zdania można utworzyć z danych formuł dla podanej interpretacji I oraz które z nich są prawdziwe dla tej intepretacji
a) dla każdego x istnieje y, że p2(x,y)
b) dla każdego x, dla każdego y (p1(x,c1) and p1(c1,y))

a) można utworzyć taką formułę x<y i jest prawdziwa ponieważ istnieje takie y, że jest
  • 2
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Mirki i Mirabelki!

Szukam pomocy przy rozwiązaniu prawdziwego(!) zadania z ubiegłorocznego konkursu EBEC (dla inżynierów):

Po długiej rozłące spotkało się dwóch starych znajomych. Pierwszy z nich oznajmił, że ma trzech
synów. Iloczyn wieku tych synów jest równy 36, a suma ich wieku jest równa liczbie okien domu,
  • 11
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@Svarcik: Gdyby one zachodziły to matematyk znałby odpowiedź po policzeniu okien. Byłaby tylko jedna możliwość, że iloczyn lat równy jest 36, a ich suma jest równa x.

Matematyk jednak potrzebował jeszcze jakiejś dodatkowej informacji, która pozwoliłaby mu wyznaczyć jeden poprawny wynik.
  • Odpowiedz
#overbooking #linielotnicze #logika

Jak wiadomo linie lotnicze często stosują "overbooking" - sprzedają więcej miejsc niż jest na pokładzie.
Ostatnimi czasy wywołuje to sporo kontrowersji jeśli się okaże że żaden janusz nie zrezygnował z lotu albo się nie spóźnił.
Lada moment poradzą sobie z tym tak że zaczną rezerwować jedno, dwa miejsca na wypadek jakby się jednak januszki znalazły.

Profit
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Hej Mirki mam takie zadanie z #logika i #matematyka, może ze #studbaza ktoś też będzie pamiętał.

Zbadaj, czy podane rozumowanie jest poprawne. Jeśli tak to wskaż regułę na której jest ono oparte.
Jeśli dana wejściowa programu P spełnia warunek W, to program P ma obliczenie skończone. Zatem dana wejściowa programu P nie spełnia warunku W lub program p ma obliczenie skończone.

W odpowiedziach jest: tak, modus ponens, wprowadzenie
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@WojciechModestAmaro: Dlaczego mielibyśmy rozpatrywać popularne mądrości ludowe w kategoriach logicznych?
Może by tak po prostu uznać agnostycyzm i gnostycyzm za pojęcia z płaszczyzny wiedzy o istnieniu bogów (wiem/nie wiem) a ateizm i teizm z płaszczyzny wiary w bogów (wierzę/nie wierzę)?
  • Odpowiedz