Na stronie używamy cookies. Korzystanie z witryny oznacza zgodę na ich wykorzystywanie. Szczegóły znajdziesz w Regulaminie.
ZAMKNIJ X

Implikacja

Ostatnio komentowane
Witam Dla mnie jednym z największych paradoksów współczesnego świata jest fakt,że p...
pawlo0 • 2017-08-16 17:57:59
WIEM,ŻE MISJE POKOJOWE ŚĄ BARDZO NIEBEZPIECZNE.Podziwiam ludzi,którzy są na misji,ż...
tereska1 • 2017-08-15 08:19:23
Dobre zestawienie. Polecam także ten artykuł http://edueduonline.pl/blog/e-mail-angielsk...
Sara • 2017-08-09 10:30:02
Umiem w matme wiem ile to jest pienc pluz czy
Kujon • 2017-08-08 17:08:22
ale ktoś trafił jak kulą w płot z Jarosławem Mądrym
b • 2017-08-11 12:35:03
Autor:
Drukuj
Drukuj
Rozmiar
AAA

Implikacja

Implikacja jest operatorem logicznym dotyczącym dwóch zdań logicznych, z których pierwsze nazywane jest poprzednikiem, drugie - następnikiem. Utożsamiana jest z wnioskowaniem.

Oznaczana jest symbolem  \Rightarrow  czytanym jako „więc”.

Implikacja jest prawdziwa kiedy następnik jest prawdziwy oraz kiedy poprzednik jest fałszywy.

 

Tabelka wartości logicznej alternatywy

 

Intuicyjne zrozumienie tych zależności jest następujące: jeśli poprzednik jest prawdziwy i następnik jest prawdziwy to wnioskowanie jest poprawne, zatem samo jest prawdziwe - wartość logiczna implikacji 1.

Jeśli poprzednik był prawdziwy a następnik fałszywy, to znaczy, że z prawdy wynika nieprawda, a zatem wnioskowanie jest błędne - wartość logiczna implikacji 0.

Jeśli poprzednik jest fałszywy i następnik także - to znaczy, że z nieprawdy wynika nieprawda - zatem wnioskowanie jest słuszne - i implikacja ma wartość logiczną 1. 

Jeśli zaś poprzednik był fałszywy a na jego podstawie udało się wywnioskować zdanie prawdziwe - to „cieszymy się”, że udało nam się dojść do prawdziwych wniosków (choć opieraliśmy się na fałszywych przesłankach) - i implikacja ma wartość logiczną 1.

 

Przykład:

Niech dane będą dwa zdania: 

p: Wczoraj była środa. Wartość logiczna 1.

q: Wczoraj padał śnieg. Wartość logiczna 0.

 p   \Rightarrow   q: Wczoraj była środa więc wczoraj padał śnieg. Wartość logiczna implikacji 0.

Ale jeśli spojrzymy na implikację w drugą stronę sytuacja ulegnie zmianie.

q   \Rightarrow   p: Wczoraj padał śnieg więc wczoraj była środa. Wartość logiczna implikacji 1.

Choć co prawda opieraliśmy się na fałszywych przesłankach (zdanie q było fałszywe), to jednak doszliśmy do poprawnych wniosków (zdanie p jest prawdziwe) - zatem całe rozumowanie jest poprawne.

Polecamy również:

  • Negacja

    Negacja jest podstawowym operatorem logicznym. Przekształca ona każde zdanie na zdanie o przeciwnej wartości logicznej. Inaczej nazywana jest zaprzeczeniem. Więcej »

  • Koniunkcja

    Koniunkcja jest jednym z podstawowych operatorów logicznych. Operuje ona na dwóch zdaniach logicznych. Więcej »

  • Alternatywa

    Alternatywa jest jednym z podstawowych operatorów logicznych. Podobnie jak koniunkcja, operuje ona na dwóch zdaniach logicznych.  Więcej »

  • Równoważność

    Równoważność jest operatorem logicznym powiązanym z implikacją. Łączy ona dwa zdania logiczne i jest prawdziwa tylko wtedy, kiedy oba te zdania mają taką samą wartość logiczną (a zatem, w sensie logiki, są sobie równoważne). Więcej »

Komentarze (0)
1 + 3 =