Ang lohikal na square o pagbubukod ng ikatlong

Lohiko square - isang diagram graphically nagpapakita kung paano nakikipag-ugnayan tunay at huwad na hatol mas malawak na kapag may kasamang isang mas makitid. Kung ang mas malawak na paksa sa pagtatalo ay totoo, ito ay nangangahulugan na ang pagsasama ng isang mas makitid na paghuhukom ay ang lahat ng mas tunay na. Halimbawa, kung ang lahat ng mga Griyego ay munti, ang mga Griyego na nakatira sa Athens, masyadong payat. Kung makitid paghatol ay hindi totoo, ang malawak na panukala, na kung saan ay nagsasama ng isang mas makitid o kongkreto, ay hindi magiging mas mababa hindi totoo. Ang badya na ang lahat ng tao na timbangin hindi hihigit sa 70 kilo, nakatira sa Athens - ay hindi totoo, at pagkatapos ay isang mas malawak na ang lahat ng slim tao ay nakatira sa Greece, at ay hindi makabuluhang naiiba.

Ang batas ng mga ibinukod na gitna

Ang mga patakaran ay simple lohikal na square sa pag-alala at ay batay sa isang mahalagang lohikal na mga batas - ang batas ng mga ibinukod na gitna: kung ang proposisyong ay totoo sa isang kamay, at pagkatapos ay ang iba pang mga - ay hindi totoo at vice versa. pagsambit ay maaaring maging alinman sa totoo o hindi, at samakatuwid ay totoo o hindi ay ang kanyang pagsang-ayon. Kung hindi, ang pangatlong pagpipilian ay hindi umiiral. Na nagsasabi "Lahat ng mga sasakyan - red" - ay hindi totoo. Kaya sinasabi "Hindi lahat ng machines - red" - ay totoo. At dito nanggagaling ang magic word "some", na kung saan ay halos palaging i-on ng isang maling pahayag sa isang tunay na "Ang ilang mga machine - red".

Ang parisukat at krus

Para sa pag-aaral sa pamamagitan ng tainga lohikal na mga patakaran grid ay dapat ding tandaan na ang logic ng machine mga pahayag sa itaas ay tinatawag na ang paksa, at pamumula - ang panaguri.
Tulad ng pagpapatungkol panaguri paksa ay maaaring maging isang verb o kalidad. O iba pang mga kalidad, na kung saan ay naka-attach sa ang paksa ng paggamit ng "kakanyahan" ng pandiwang-litid. Tila lohikal parisukay square. Ito ay hindi nakakagulat. Ang mga sulok ng isang parisukat na minarkahan ng mga titik A, E, I, O. At magkasalungat E, ako bahagyang magkatugma sa O, ako ay napapailalim A, E at G. tumatagal ng higit na kahalagahan sa paglipas ng dalawang linya ay crossed squared contradictions. Gamit ang mga mekanika ng parisukat, maaari kang magtrabaho kasama ang mga kahatulan. Ang tool na ito ay mas mahalaga lyricists sa physicists, physicists at sa gayon ang lahat ng bagay mahigpit, at ang lyrics ay sa pare-pareho ang pangangailangan para sa mga mekanismo na payagan ang mga ito sa tanong at i-verify ang katotohanan ng kaniyang mga kahatulan. Of course, sa isang mundo ng mga kasinungalingan at ambiguities ng ilang mga nawalang kagandahan ng katotohanan at ang pagnanais na makamit ito sa anumang gastos, ngunit sa ilang mga kaso (sa hukuman, sa trapiko, sa pagkalkula ng ang patch) Ang katotohanang layunin ay may sariling halaga.

Ang parisukat na sa kasaysayan ng

Logic bilang isang agham itinatag sa pamamagitan ng mga sinaunang Griyego. Ibig nilang makipagtalo, at ang disputants palaging nakakainis kapag ang iyong kalaban ay mali. Ang mga batas ng logic at nilikha ng mga Griego upang malinaw na ipaliwanag sa mga kalaban na siya ay mali.

Ang lohikal na pag-square-imbento at likha ng pilosopong Griego na si Mihail Psell sa XI siglo, marami lalampas sa oras kapag Socrates imbento eskolastisismo. Ito ay malinaw na para sa ilang oras na ang mga Griyego ang paniwala ng ganap na katotohanan ay hindi kinakailangan at tanging lohikal na parisukat ay imbento sa panahon ng pangkalahatang kaliwanagan. Mga halimbawa, na kung saan ay karaniwang ibinibigay sa mga paglalarawan ng kanyang circuitry sa kalahatan ang lahat batay sa Aristotle logic, ngunit naglalaman ng kaaya-aya Byzantine generalization.