Logika dodód Lorelai: Cześć, powiedziałby mi ktoś, czy dobrze robię te dowody z logiki (miałam nie używać tabelki). Starałam się robić metodą niewprost. α∨α⇔α 1.α∨α⇔1 2. α⇔0 3. α⇔1 (punkt 1) 4. 1⇔0 sprzeczność (punkt 2 i 3) α∨¬α⇔1 1. α⇔0 2. ¬α⇔0 3. α⇔1 (z punktu 2) 4. sprzeczność (punkt 1 i 2) 0⇔1

wredulus_pospolitus: zapewne kopiujesz coś co było na wykładzie ... ale ja kompletnie nie rozumiem co to jest za 'dowód' i czy udowodniłeś coś czy obaliłeś ... cholera wie

Lorelai: Robiłam to na postawie: α∨0⇔α 1. α⋁0⇔1 2. α⇔0 3. α⇔1 (z punktu 1) 4. 0⇔1 sprzeczność (2 i 3) Jest to pomocne?

ite: Jeśli masz przeprowadzić dowód założeniowy formuły α∨α⇔α metodą nie wprost, to przeprowadź go poprzez dowody dwóch implikacji α⇒α∨α α∨α⇒α Możesz wstawić na jakimś zapodaju zdjęcie tego na czym się opierasz? 23:45 to jest dowód nie wprost ? Z jakiego zestawu reguł dowodzenia korzystacie?

ite: już widzę, 23:45 to dowód założeniowy nie wprost ja zapisałabym go tak α∨0⇒α 1. α⋁0 założenie 2. ¬α założenie dowodu nie wprost 3. α modus tollendo ponens (z punktu 1) sprzeczność (2 i 3)