twierdzenia logiki, zdania prawdziwe w każdym modelu (to jest przy każdej interpetacji występujących w nich stałych pozalogicznych); na podstawie p.l. orzeka się wynikanie jednych zdań z drugich, stanowią one schematy operacji dokonywanych w logice (dowodzenia, wnioskowania, uzasadniania); np. redukcja do absurdu, podwójne przeczenie, prawo sprzeczności, tautologii, tożsamości, reguła wyłączonego środka, prawa De Morgana, symetrii, transpozycji i inne.
WYŁĄCZNEGO ŚRODKA ZASADA LOGICZNA, PARALOGIZM
- PRAWA NAUKI, należycie uzasadnione...
- prawa sklejania, ( glue laws )
- prawa de Morgana, ( de Morgan's laws )