Informatyka first-order-logic

7

Dlaczego A oznacza, że B jest prawdziwe, jeśli A jest fałszywe, a B jest fałszywe?

Wydaje mi się, że „implikacja” w języku angielskim nie oznacza tego samego, co operator logiczny „implikuje”, podobnie jak słowo „LUB” w większości przypadków oznacza „Wyłączne OR” w naszym codziennym użyciu języka. Weźmy dwa przykłady: Jeśli dzisiaj jest poniedziałek, jutro jest wtorek. To prawda . Ale jeśli powiemy: Jeśli słońce jest …

24 terminology logic first-order-logic propositional-logic

4

Czy dowód sprzeczności może działać bez prawa wykluczonego środka?

Niedawno myślałem o ważności dowodu sprzeczności. Przez kilka ostatnich dni czytałem o intuicyjnej logice i twierdzeniach Godela, aby sprawdzić, czy dostarczyłyby mi odpowiedzi na moje pytania. W tej chwili wciąż mam pytania (być może związane z nowym materiałem, który czytam) i liczyłem na kilka odpowiedzi ( OSTRZEŻENIE : masz zamiar …

19 logic first-order-logic propositional-logic incompleteness

5

Dlaczego rozsądek oznacza spójność?

Czytałem pytanie Spójność i kompletność oznaczają solidność? a pierwsze oświadczenie zawiera: Rozumiem, że solidność oznacza konsekwencję. Byłem dość zdziwiony, ponieważ uważałem, że dźwięk jest słabszym stwierdzeniem niż spójność (tj. Myślałem, że spójne systemy muszą być zdrowe, ale wydaje mi się, że to nieprawda). Używałem nieformalnej definicji, której Scott Aaronson używał …

12 terminology logic first-order-logic propositional-logic incompleteness

1

Przepisywanie terminów; Oblicz pary krytyczne

Próbowałem rozwiązać następujące ćwiczenie, ale utknąłem podczas próby znalezienia wszystkich krytycznych par . Mam następujące pytania: Skąd mam wiedzieć, która para krytyczna stworzyła nową regułę? Skąd mam wiedzieć, że znalazłem wszystkie krytyczne pary? Niech gdzie jest binarny, jest jednoargumentowy, a jest stałą. Σ = { ∘ , ja , e …

10 logic first-order-logic

Pytania otagowane jako first-order-logic