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...
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)
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...
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...