Informatyka propositional-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

11

Dlaczego

Chciałbym wiedzieć, czy istnieje zasada, aby to udowodnić. Na przykład, jeśli użyję prawa dystrybucyjnego, dostanę tylko (A∨A)∧(A∨¬B)(ZA∨ZA)∧(ZA∨¬b)(A \lor A) \land (A \lor \neg B) .

22 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

Pytania otagowane jako propositional-logic