Wpis z mikrobloga

Skopiuj link

gp8871

10.01.2018, 21:12:46 via Android

Jak należy przeprowadzić dowód nie wprost dla takiej funkcji logicznej? #logika #studia #matematyka

gp8871 - Jak należy przeprowadzić dowód nie wprost dla takiej funkcji logicznej? #log... — **źródło:** comment_h8ZAaAYXOkx88gVgguzf5485z8lufpIE.jpg
Pobierz

h.....a

konto usunięte 11.01.2018, 00:26:28 via Android

Układ równań :)

kkornel99

11.01.2018, 18:46:28

@gp8871: ogólnie chodzi o to aby wartość całego wyrażenia przyrównać do zera a implikacja jest fałszywa gdy pierwsza część jest prawdziwa a druga fałszywa i tak dalej zdejmujemy najbardziej zewnętrzne (działania) (polecam tabelki wartości logicznych) aż dojdziemy do wartości a,b,c. jeśli to będzie tautologia dojdziesz do sprzeczności

https://www.youtube.com/watch?v=KOvNnkF1J3w

ps kreska sheffera jest fałszywa gdy oba są prawdziwe