Implikacja

Implikacją nazywamy dwuargumentowe działanie logiczne które zdaniom $p,q$ przypisuje zdanie $p\Rightarrow q$ . Implikacja dwóch zdań jest fałszywa wtedy i tylko wtedy, gdy zdanie $p$ jest prawdziwe, a zdanie $q$ jest fałszywe. Implikację oznaczamy symbolem $p\Rightarrow q$ i czytamy “jeżeli $p$ to $q$ ”.

p\Rightarrow q

(0)

Zdanie $p$ nazywamy poprzednikiem implikacji, a $q$ jej następnikiem.

$p$	$q$	$p\Rightarrow q$
$1$	$1$	$1$
$1$	$0$	$0$
$0$	$1$	$1$
$0$	$0$	$1$

Informacje

Typ:

Definicja

Autor:

J

@adminJarosław Piszczek

Implikacja

Informacje

Historia