Логика. Краткий конспект - Юрий Юрьевич Черноскутов

Скачать книгу

моделью. С помощью этих понятий мы можем дать более точное определение отношению следования:

      Высказывание А является логическим следствием из множества высказываний {X}, сокращенно {X} |= А, если и только если каждая интерпретация, делающая истинной все высказывания, входящие в {X}, делает истинным и высказывание А.

      Или короче:

      Высказывание А является логическим следствием из множества высказываний {X}, сокращенно {X} |= А, если и только если каждая модель {X} является моделью А.

      Тема 2

      ЛОГИКА ВЫСКАЗЫВАНИЙ

      Первый, наиболее простой раздел современной логики – это логика высказываний. Простейшим элементом в этом разделе выступает высказывание. Сначала установим некоторые терминологические различения.

      2.1. ВЫСКАЗЫВАНИЕ, СУЖДЕНИЕ, ПРЕДЛОЖЕНИЕ

      Предложение – языковое средство выражения высказывания. Одно и то же высказывание может быть выражено разными предложениями. Например, предложение русского языка «Знание – сила» выражает то же самое высказывание, что и английское предложение «Knowledge is power» или латинское «Scientia potentia est».

      Конец ознакомительного фрагмента.

      Текст предоставлен ООО «ЛитРес».

      Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

      Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

/9j/4AAQSkZJRgABAgEASABIAAD/4Qx/RXhpZgAATU0AKgAAAAgABwESAAMAAAABAAEAAAEaAAUAAAABAAAAYgEbAAUAAAABAAAAagEoAAMAAAABAAIAAAExAAIAAAAcAAAAcgEyAAIAAAAUAAAAjodpAAQAAAABAAAApAAAANAACvyAAAAnEAAK/IAAACcQQWRvYmUgUGhvdG9zaG9wIENTMyBXaW5kb3dzADIwMTM6MDI6MDYgMTM6MjU6NDQAAAAAA6ABAAMAAAABAAEAAKACAAQAAAABAAABlKADAAQAAAABAAAArwAAAAAAAAAGAQMAAwAAAAEABgAAARoABQAAAAEAAAEeARsABQAAAAEAAAEmASgAAwAAAAEAAgAAAgEABAAAAAEAAAEuAgIABAAAAAEAAAtJAAAAAAAAAEgAAAABAAAASAAAAAH/2P/gABBKRklGAAECAABIAEgAAP/tAAxBZG9iZV9DTQAB/+4ADkFkb2JlAGSAAAAAAf/bAIQADAgICAkIDAkJDBELCgsRFQ8MDA8VGBMTFRMTGBEMDAwMDAwRDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAENCwsNDg0QDg4QFA4ODhQUDg4ODhQRDAwMDAwREQwMDAwMDBEMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwM/8AAEQgARQCgAwEiAAIRAQMRAf/dAAQACv/EAT8AAAEFAQEBAQEBAAAAAAAAAAMAAQIEBQYHCAkKCwEAAQUBAQEBAQEAAAAAAAAAAQACAwQFBgcICQoLEAABBAEDAgQCBQcGCAUDDDMBAAIRAwQhEjEFQVFhEyJxgTIGFJGhsUIjJBVSwWIzNHKC0UMHJZJT8OHxY3M1FqKygyZEk1RkRcKjdDYX0lXiZfKzhMPTdePzRieUpIW0lcTU5PSltcXV5fVWZnaGlqa2xtbm9jdHV2d3h5ent8fX5/cRAAICAQIEBAMEBQYHBwYFNQEAAhEDITESBEFRYXEiEwUygZEUobFCI8FS0fAzJGLhcoKSQ1MVY3M08SUGFqKygwcmNcLSRJNUoxdkRVU2dGXi8rOEw9N14/NGlKSFtJXE1OT0pbXF1eX1VmZ2hpamtsbW5vYnN0dXZ3eHl6e3x//aAAwDAQACEQMRAD8A9VSSSSUpJJJJSkkkklKSSSSU531i6lf0roeb1HHrF12NS6xjCCWyPz7QyHejV/O3bf8ABMWP1DB6h9X8avq9PUszqGSy6mvLx73b6skZF1WM6unEaG1YVzPW/Uvsfpf6PI9etanX8+yjHZgYjWW9R6kTRiU2EbQI/WMq5jvp42HT+mub/hf0WL/OZNSof8z6MDp9TekWWPzsBtZwXZ11uRS19W2f1ayw4+P9pqa/Hffi0VvxfX/Vf9Gkp0uuZluJVhvru9H1czHpfo0722P9N1P6QO/nZ/M/SLMr+seRiMvdlAZY+1ZtTHMcxnpmj34uIWw322NHofabP+1Po+p/SGbN+q3Hyq97TXb6by120h4bbWTXazd/pKrGvYpCikSRW0bp3aDXd9Of6+33pd1dnMwev/a+qnpwpa2KjabRZu1a3Esc1rfTDf8AvQZ/hPV/0tNfr0b9dQbVU0gtY0FswQAI3au/zlNJSkkkklKSSSSUpJJJJT//0PVUkkklKSSSSUpJJJJSkO++nGosyL3iumlrrLbHGGta0bnvcf3WtCIsHOA671X9lQHdM6c5lvU9zSW23+2/D6e1x9jmU/o87N/9A6PoX5CSkvQqL8q63r2cx9eRmNDMTHtaA/HxAd1VLts7cjKd+t5vu/nPRxf+0Va2UkklOa+q/B6jXZhYrH4ufY53UrA8h7LBXWzHym1vPpOq2Y/2fJ2fpv6Pb+ZatJDvppyKbMe9gtpuaWWVuEtc1w2vY5p+k1zVR6Xa7Htf0Z9eRtwaqvs+XcQ8X1Fuzd67A39YpsY+q6u39L/NZHv9dJTpJJJJKUkkkkpSSSSSlJJJJKf/0fVUkkklKSSSSUpJJQuuqoqfdc9tVVTS+yx5DWta0bnve93taxrUlOf1zqduDj10YYZZ1TOf6HT6bCdpsIL33W7Jf9mxKWvycj/g6/S/nrakfpXTael4NeHS51m2XW3PMvsteTbkZFzj9K2+577Xqj0Oq7OyLPrBltfW7KZ6fT8d5H6LEkPY8sA9mT1BzWZWT/o6/smK/wDoi2klKSSSSUpVeoYd2VVWKMh2LdTay5ljZLTtPvquqa+v1qbqjZU+t/8Ax389VUrSSSmp0vqeL1TEGVil23c6uyuxpZZXZW413UX1O91dtVjdr1bWbn32dOym9Quya6ekissy22w0Msc9jcfKZY2vd7t/o5Pr2+ls9K39H6dvraSSlJJJJKUkkkkpSSSSSn//0vVUlnVdX+0W3DHodbj415x7r9zRDmjde+tjj+kqx3/obf8ACer6npVWemjM6t0yw1hmTW83NqfVtcDubeHuxXNj82/0bfT/AOLSU20lUb1Tpz7WUsyGOtsc9jGA6l1ZtZYz+s1+Nk/+w93+ieiYmbi5tbrMWwWsa7Y4js4AO2un+S5JSdcTb9Y6frF9ZrvqsWuOHiZBdk7KzYL2UCn9VyPpMx8duf6/2q2zYy+vHpwWer9ruWpV1T6ydTw3dV6MzEdhOk4eLeLBbkMa5zPW+1b6qsL7Q1vqYtbsXJ9np+tbV6n6Gv8AVTM+p3Tuk1W4Wdjsszmtycm3IuqGRZZYPUecyLPbcxz3tdV9Cl6Snqklnf8AOL6v/wDlnh/9v1/+TS/5xfV//wAs8P8A7fr/APJpKdFJZ3/OL6v/APlnh/8Ab9f/AJNL/nF9X/8Ayzw/+36//JpKdFJZ3/OL6v8A/lnh/wDb9f8A5NL/AJxfV/8A8s8P/t+v/wAmkpvXU1X0vovY22m1pZZW8BzXNcNr2Pa76TXNXKdJ+uAP1qd9VbaBQ2oWtx3em+oxW2qzGo9Kx7/oUNzP1hn6vlelRfjfznpM0s/66/Vjp5qORn1Gu0lvq0kXNa4RDLfs3qvr3/mPcz0/0f01mdfzOh9Yf02/o1uNn9cbktb026q5n6NzWvyrvtrqnOu+w/Z6rftOPs9S3f6Nfo22+vWlPXpLGx+o9Tw+p0dN6w6i37cHnCycZllQL6mtttxr8e2zK2P9L1bqbvtP6RlNv6Or2etZ6r1YdMDX2Ul9Ti1ocHtDnWPe2mvHx6XH1L73b9/p/wDoxJToJKm7rHTGh5OSyK536zEOtqdP9WzFyd3/ABFv+jTu6r09pIN7ZaXDaJJJY9uO9rWj6b/Xsrp2M/wj0lNtJUj1rpQY5/2uosY11jnBwIDG115T37m/mNx8im7/AIu1SHVenOsbWMhhe57qgAfz2O9J9e76O5t36H/jf0X00lP/0+5p+z/b839n/a/S9Y/afQ9L0PtW1vqbPV/WfV/mfX9P9Q+0f0j9J9uWa/8AYHov9P7T6P6Pj0tn851L6H2r9F6fr/bP+6/9D+wfofTXgaSHT7E9ftfoXB+x+pd+zvt/reg/1v5r1Nv2jM+y7/tvv+0faPt3ofyP+VP8GtbpXoTm+j6v9Kf6nq7fpba/5nZ/gNuzZv8A0i+ZEkep8kfxfecerPd0nLf0DJvr6KLbPQppx6X5JYLXfa/2Lk/a6aa8dz/W+yfbcWy2v/tL6lX2VanTv+Zv7Pxfsf2L7J6LPs+/Zu9PaPT3+v8Ap9+36frfpf8AS+9fOSSSn6V/7F/+6P8A4Cl/2L/90f8AwFfNSSSn6V/7F/8Auj/4Cl/2L/8AdH/wFfNSSSn6V/7F/wDuj/4Cl/2L/wDdH/wFfNSSSn3v6xf+N9vw/wBs+h6G93o7J9D1Yb/Sfsft3+nu9L7V+i/nlPPH1XPT8YdAdSzLOSB0x/SW0veMnZZuc6tj6sWyluJ9p+2Myra6/s3q/pPtHoLwFJJT9E0V2s+smOOt3jIzDTb+zHV0toxh/N/bBSx2Tm5bs709n88/Z9l9X7N/2rRev/YtuR9t+2fY/QZ9u9L+Y9H1Du3b/wA/Z632r7D+t/Zf5z/tEvnFJJT75mfsT0cv1Ptvp/pPtmz09uz1urev6/8AgvQ9X7f/ADv/AHR9H9c2IvUP2JvG71/tPpUT6Xo7/W9bH+y+vv8A0P2/1/S/nv1f0d/qexfPySQ3+v1Udvo+/wCZ+xNudP2r+YyPV9D0/wCb+x4PrfZvS/7q/ZfQ9P8A7U+r/wAErON+yv2yPT9b7Tvt9Xf6GyPXv9Ld6n6XZ9s+2fZfsn6z/wByv8EvndJLqPJXQv8A/9n/7RGyUGhvdG9zaG9wIDMuMAA4QklNBCUAAAAAABAAAAAAAAAAAAAAAAAAAAAAOEJJTQQvAAAAAABKxwQBAEgAAABIAAAAAAAAAAAAAADQAgAAQAIAAAAAAAAAAAAAGAMAAGQCAAAAAcADAACwBAAAAQAPJwEAbGx1bgAAAAAAAAAAAAA4QklNA+0AAAAAABAASAAAAAEAAgBIAAAAAQACOEJJTQQmAAAAAAAOAAAAAAAAAAAAAD+AAAA

Скачать книгу