\documentclass[12pt]{jarticle}
\setlength{\textwidth}{145truemm}
\setlength{\textheight}{230truemm}
% \newcommand{\Romannumeral}[1]{\uppercase\expandafter{\romannumeral#1}}
\title{�ÓT����_���̌��������Ă̖��Ȃ�}       
\author{�ÐX�Y��(��t��w ���w��)}
\date{}
\begin{document}
\pagestyle{empty}
\maketitle
\thispagestyle{empty}
2005 �N�H�̉��R��w�̓��{���w��ɂ�����, ��o�������ɂ��Ă��̌�̌o�܂�
�񍐂���B
%
\begin{enumerate}
\item �ÓT�_���̊܈Ӓf�Ђ��Ȃ�ׂ�������(�ÓT�_���ŋɏ���)����(�^)�Ō��������邱�ƁB
	���ώ�`�_���ɂ��Ă�, B, C, I, K'(= $(\alpha\to\beta)\to\alpha\to\gamma\to\beta$),
	W'(=$(\alpha\to\alpha\to\alpha\to\beta)\to\alpha\to\beta$) �� 5 �̌����ł��܂�����
	�Ă���B����� P(=$((\alpha\to\beta)\to\alpha)\to\alpha$) ��t��������ƌÓT�_���ɂ�
	�邪 I, K', W' �����̌�������o�ė��Ă��܂�(I �ɂ��Ă� J.Slaney �ƍ���M���ɂ��)�B\\
	B,C,I,K',W' ���܂ޓƗ��ȌÓT�܈Ә_����(�ÓT�_���ŋɏ��Ȍ����ɂ��)�������͖�������
	����B
\item BCK �_��(�_���L���� $\to$ ����)�ɌÓT�_���ŋɏ��Ȋ܈ӋL��������
	�_�����������^�Ƃ��ĉ�����(���������Ă��悢)������_���͂ǂꂭ�炢���邩?
	���̂Ƃ��� BCK, BCKW(= ���ώ�`�_��), BCKWP(=BCKP �ÓT�_��)���������Ă��Ȃ��B\\
	�i�W�Ȃ��B���ώ�`�_���ȏ�ɂɂ��Ă͎������ɂ��(�����������Ƃ���)�����I�Ȑi�W
	������B
\item ���ώ�`�_���� $\{\to, \vee\}$-�f�� �� $A \vee B$ ($A, B$ �͊܈ӋL�������̘_����)�������^�Ƃ���
	�������̌n��
	�܈Ӓf�Ёiimplicational fragment�j�� ���ώ�`�_���̊܈Ӓf�ЂɌ����^
	$(A\to p)\to(B\to p)\to p$  (������, $p$ �� $A, B$ �Ɍ���Ȃ�����ϐ�)���������̌n�ɓ�������? \\
	�������ɂ��, ����Ƃ��� $\wedge$ ������ꍇ�� yes �Ƃ����`�ŉ���������, ���̖��͖������B
\end{enumerate}
\end{document}
