Teoria dowodu

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
hutsalo
Użytkownik
Użytkownik
Posty: 142
Rejestracja: 14 sty 2022, o 19:44
Płeć: Mężczyzna
Podziękował: 59 razy

Teoria dowodu

Post autor: hutsalo »

Uczę się podstaw logiki matematycznej i mam tutaj definicje teorii dowodu:
Teoria dowodu bada reguły dowodzenia i systemy dowodzenia, pozwalające na wyprowadzanie wniosków z przyjętych założeń w podej́sciu syntaktycznym.
Jak można to potocznie zinterpretować. Nie chce tutaj żadnych definicji do zewnętrznych odnośników.
Ostatnio zmieniony 26 maja 2022, o 17:16 przez Jan Kraszewski, łącznie zmieniany 2 razy.
Powód: Postaraj się pisać porządnie. Zły dział.
janusz47
Użytkownik
Użytkownik
Posty: 7917
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 30 razy
Pomógł: 1671 razy

Re: Teoria dowodu

Post autor: janusz47 »

\(\displaystyle{ ZAŁOŻENIE \ \ (ZAŁOŻENIA) \ \ \Rightarrow \ \ TEZA \ \ (TEZY) }\)
ODPOWIEDZ