Artykuł zostanie usunięty, jeżeli status praw autorskich do zawartych w nim treści nie zostanie wyjaśniony.
Powielanie materiałów chronionych prawami autorskimi – bez zezwolenia właściciela tych praw – jest pogwałceniem obowiązującego prawa, jest też sprzeczne z ustaleniami Wikipedii. Osobom, które regularnie wstawiają takie materiały, może zostać odebrane uprawnienie edytowania Wikipedii.
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]:
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: