Tautolagia Songo4ssj: Proszę o pomoc Sprawdź metodą zero−jedynkową czy jest to tautologia [(p=>q) ⋀ (r=>q)] => (p=>r)

Bezimienny: [(p−>q) ⋀ (r−>q)] −> (p−>r) 1 0 1 1 0 1 1 0 nie jest, nie chce mi sie metoda zero−jedynkowa zrob tabelke p q r p−>q r−>q (p−>q)∧(r−>q) p−r i calosci

Songo4ssj: Ja nie wiem co to nawet jest bo nigdy tego się nie uczyłem więc proszę o pomoc

Bezimienny: http://pl.wikipedia.org/wiki/Metoda_zero-jedynkowa

Songo4ssj: dalej nie kumam jak z tej tabeli czytać ?

Bezimienny: z tabelki nie czytasz tylko uzupełniasz p|q|r|p−>q|r−>q| p−>r | (p−>q)⋀(r−>q) | calość | zrób dalej sam 0|0|0| 1 | 1 | 0|0|1| 1 | 0 | 0|1|0| 1 | 1 | 0|1|1| 1 | 1 | 1|0|0| 0 | 1 | 1|0|1| 0 | 0 | 1|1|0| 1 | 1 | 1|1|1| 1 | 1 |

Songo4ssj: skąd mam brać te 1 | 0

Bezimienny: 1 − prawda 0 − fałsz implikacja jest fałszywa wtedy i tylko wtedy gdy 1 −> 0 koniunkcja jest prawdziwa wtedy i tylko wtedy gdy 1 ⋀ 1

Songo4ssj: Aha już wiem tylko że co znaczy to −> bo jak mam p−>q p=0 q=0 to czemu jest 1 ?

Bezimienny: teraz masz uzupełnić p −> r więc patrzysz w danym wierszu na p i r i decydujesz czy implikacja p−>r jest prawdziwa czy nie i tak wypełniasz cała tabelkę bo implikacja czyli to −> jest fałszywe tylko gdy 1 −> 0

Bezimienny: 1071

Songo4ssj: p|q|r|p−>q|r−>q| p−>r | (p−>q)⋀(r−>q) 0|0|0| 1 | 1 | 1 | 1 0|0|1| 1 | 0 | 1 | 1 0|1|0| 1 | 1 | 1 | 1 0|1|1| 1 | 1 | 1 | 1 1|0|0| 0 | 1 | 0 | 0 1|0|1| 0 | 0 | 1 | 0 1|1|0| 1 | 1 | 0 | 1 1|1|1| 1 | 1 | 1 | 1 | Dobrze |

Bezimienny: w drugim wierszu jest źle koniunkcja, no i jeszcze musisz jedna kolumnę zrobić dla całości czyli tego co napisałeś na początku tematu

Songo4ssj: [(p=>q) ⋀ (r=>q)] => (p=>r) p|q|r| | 0|0|0| 1 | 1 | 1 0|0|1| 1 | 0 | 1 0|1|0| 1 | 1 | 1 0|1|1| 1 | 1 | 1 1|0|0| 0 | 1 | 0 1|0|1| 0 | 0 | 1 1|1|0| 1 | 1 | 0 1|1|1| 1 | 1 | 1 Z tym co zrobić ?

Songo4ssj: teraz może 1 1 prawda 1 1prawda 1 1prawda 1 1prawda 0 0 fałsz 0 1 fałsz 1 0 fałsz 1 1prawda

Bezimienny: popraw drugi wiersz no i teraz to całe [(p−>q) ∧ (r−q)] −> (p−>r) jako kolejna kolumna [(p−>q) ∧ (r−q)] juz masz (p−>r) tez juz masz (jesli zrobiles poprzednie kolumny) wiec sprawdzasz tylko implikacje

Songo4ssj: tę implikacje dla [(p=>q) ⋀ (r=>q)] => (p=>r) już zrobiłem trzeba coś jeszcze 1 | 1 | 1 1 | 0 | 1 1 | 1 | 1 1 | 1 | 1 0 | 1 | 0 0 | 0 | 1 1 | 1 | 0 1 | 1 | 1 Po tym koniunkcje 1 ⋀ 1 prawda 1 ⋀ 1prawda 1 ⋀ 1prawda 1 ⋀ 1prawda 0⋀ 0 fałsz 0 ⋀ 1 fałsz 1 ⋀ 0 fałsz 1 ⋀ 1prawda

Bezimienny: no i jak zrobiles kolumne [(p=>q) ⋀ (r=>q)] => (p=>r) to patrzysz czy w niej sa same 1 jesli tak to jest to tautologia a jesli jest chociaz jedno 0 to nie jest to tautologia i masz zadanie zrobione

Songo4ssj: Dzięki wielki może się przyda kiedyś