Prawa logiczne
![]() | Część zawartości tej strony może naruszać prawa autorskie. Tekst źródłowy prawdopodobnie pochodzi z:
|
![]() | Ten artykuł od 2024-04 zawiera treści, przy których brakuje odnośników do źródeł. Należy dodać przypisy do treści niemających odnośników do źródeł. Dodanie listy źródeł bibliograficznych jest problematyczne, ponieważ nie wiadomo, które treści one uźródławiają. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Prawa logiczne – twierdzenia logiki, zdania prawdziwe w każdym modelu, tj. przy każdej interpretacji występujących w nich stałych pozalogicznych; szczególnie ważną funkcją praw logicznych jest to, że na ich podstawie orzeka się wynikanie logiczne jednych zdań z drugich; prawa logiczne są podstawą (lub schematami) operacji dokonywanych w logice (dowodzenia, wnioskowania, uzasadniania). Praw logiki klasycznej jest nieskończenie wiele. Wybiera się często dla przykładu jedynie nieliczne spośród praw, które z różnych względów historycznych i naukotwórczych są najczęściej wyróżniane w opracowaniach podręcznikowych[1]:
- prawo tożsamości:
- prawa (nie)sprzeczności:
- prawa wyłączonego środka:
- prawo podwójnego przeczenia:
- prawo symplifikacji:
- prawo sylogizmu hipotetycznego:
- prawo eksportacji:
- prawo importacji:
- prawo komutacji:
- prawa dylematu:
- prawa pochłaniania:
- prawa rozdzielności:
a) alternatywy względem koniunkcji:
b) koniunkcji względem alternatywy:
c) kwantyfikatora ogólnego względem implikacji:
d) kwantyfikatora szczegółowego względem implikacji: - prawo Dunsa Szkota:
- prawa De Morgana:
Prawa logiczne. Wielowartościowy rachunek zdań | |
---|---|
Notacja prawa | Objaśnienie |
„jeżeli p, to możliwe jest, że p” | |
„jeżeli konieczne jest, że p, to możliwe jest, że p” | |
„jeżeli niemożliwe jest, że p, to nieprawda, że p” | |
„możliwe jest, że p, wtedy i tylko wtedy, gdy jeżeli nie p, to p” (Twierdzenie Tarskiego) | |
„konieczne jest, że p, wtedy i tylko wtedy, gdy nieprawda, że jeżeli p, to nie p” |
Przypisy
- ↑ prawa logiczne, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-10-12] .
Bibliografia
- Encyklopedia G.W. EU: Mediasat Poland Sp. z o.o., s. 10. ISBN 83-89651-90-4.