pomocy. kamil: Wiadomo że p ⋀ q jest prawdziwe. Jaką wartość logiczną ma zdanie ( p ⇒ q) ⇒ (p ⋀ ∼ q) ? O co tu chodzi? Mógłby mi ktoś pomóc. Będzie z tego kolokwium a jestem kompletnie zielony z tego.

ite: Koniunkcja zdań jest prawdziwa tylko wtedy, gdy oba zdania są jednocześnie prawdziwe. Jeśli wiadomo, jakie jest wartościowanie zdań p i q, to podstawiasz to do podanej implikacji.

kamil: Tylko tyle mam podane w zadaniu i nie wiem jak to zrobić ; o?

Jerzy: p = 1 , q = 1 p ⇒ q ( prawda ) p ∧ ∼q ( fałsz ) ( p ⇒ q ) ⇒ (p ∧∼q) ( fałsz, bo z prawdy może wynkać tylko prawda )

Mariusz: Czy z implikacji wynika negacja implikacji ?

kamil: rany gdzie mogę znaleźć jakieś notatki na ten temat? przyznam ze nic z tego nie mogę zrozumieć

Jerzy: 15:50 ,a gdzie tu widzisz negację implikacji ?

ite: @kamil autor tej książki przekazuje wiedzę współczesnym językiem, w jasny sposób http://www.krzysztofwieczorek.pl/wp2/wp-content/uploads/2019/11/Logika-dla-opornych.pdf

kamil: Dziękuje bardzo

ite: @Mariusz 15:50 podana implikacja może być prawdziwa, jeśli p=1 i q=0. @Jerzy Mariuszowi chodziło o prawo negowania implikacji ∼( p ⇒ q ) ≡ (p ∧∼q) .