Pojem logického vyplývání
What does i t mean for a gi ven sentence to be a logical consequence of another one? Some basic articulation of this notion is easily available: no matter what is the case, if the premisses are true, then the conclusion is true. Alfred Tarski proposed in 1936 his famous no-counterexample analysis of...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Czech |
| Published: |
2007
|
| Online Access: | http://www.nusl.cz/ntk/nusl-270729 |